Backends other than node.js? about koka

[Pauan]

There is currently a JavaScript and C# backend.

You can use --target=js or --target=cs to choose which one you want.

There is also --host=node and --host=browser to choose the JavaScript runtime.

[sidkshatriya]

Thank you!

[CedricDumont]

seem --host is not available anymore. By searching, I found different target (src/compiler.Options.hs)

usage :koka myfile.kk --target=jsweb

targets =
[("c", \f -> f{ target=C LibC, platform=platform64 }),
("c64", \f -> f{ target=C LibC, platform=platform64 }),
("c32", \f -> f{ target=C LibC, platform=platform32 }),
("js", \f -> f{ target=JS JsNode, platform=platformJS }),
("jsnode", \f -> f{ target=JS JsNode, platform=platformJS }),
("jsweb", \f -> f{ target=JS JsWeb, platform=platformJS }),
("wasm", \f -> f{ target=C Wasm, platform=platform32 }),
("wasm32", \f -> f{ target=C Wasm, platform=platform32 }),
("wasm64", \f -> f{ target=C Wasm, platform=platform64 }),
("wasmjs", \f -> f{ target=C WasmJs, platform=platform32 }),
("wasmweb",\f -> f{ target=C WasmWeb, platform=platform32 }),
("cs", \f -> f{ target=CS, platform=platformCS })
]