Future code generators 👀

[jmackie]

Lua

Tiny, untyped, performant language. Seems like a perfect fit for Ditto code generation.

One issue I'd anticipate is that the language is so small it's lacking some features that we rely on in richer languages like JavaScript. Record updates for example - how do we do that in Lua? In JavaScript we can use object spread, but in Lua we'll need a function. So that means we'll need a robust way of importing "builtins" everywhere.

Golang

I'd love to have a go code generator, and now that generics have dropped it's become much more feasible (otherwise I had a grand monomorphization plan...).

Bu compiling from one type-system to another is tricky. And this would be no exception. Notably, the support for higher-kindedness in Ditto would complicate transpiling types.

See https://github.com/andyarvanitis/purescript-native for some prior art.

TypeScript

It would be nice to produce .d.ts files alongside the .js files as part of JavaScript code generation. But my initial attempts at this were hampered by Ditto's support for higher-kindedness.

Should revisit. Maybe Ditto shouldn't actually support higher kinds? #88

Erlang

Untyped with a killer concurrency story. This would be great to have.

See https://github.com/purerl/purerl for some prior art.

[jmackie]

Deno

Would work very similarly to the (existing) JavaScript code generator, but imports would use remote imports in places. FFI files for the deno codegen could just be adjacent .ts files, that in some cases would just re-export the .js FFI files?

[jmackie]

HVM

Could be cool?