klvm

klvm copied to clipboard

It is a translator that transforms Shen's KLambda to KLVM code which is to be translated further into target language or compiled to bytecode. KLVM is best suitable for languages that support imperative paradigm like C, Java, Go, Javascript, Python, PHP, TCL, etc. KLVM takes care of

• TCO,
• partial application,
• lambdas,
• closures,
• exception handling.

It consists of 4 translators: denest, regkl, stage-1, stage-2.

denest

Is just simply denests expressions. Like

(f1 (f2 A B) (f3 C (f4 D E)) F)

into

(let X1 (f2 A B)
  (let X2 (f4 D E)
    (let X3 (f3 C X2)
      (f1 X1 C3 F))))

It produces fully compatible KL.

regkl

regkl is a code translator that eliminates let, lambda forms from KL. It is useful for translating KL into languages that don't have sane lambdas (Python, Java, C), closures (Java, C), have weird scope (js). Mind that it produces special regkl code that is incompatible to KL.

See doc/regkl.md for details.

KLVM

See doc/klvm.md for details.