Re:Elm Compiler Written in Elm
by cnasc on Tuesday July 13, 2021 @08:45AM
(#27820209)
> Now what we really need is a functional dialect which compiles to TypeScript...
Why would it be beneficial to have TS as an intermediate representation? It turns into JS anyway, and there are already statically typed functional languages that compile to JS.
Re:Elm Compiler Written in Elm
by johnday on Tuesday July 13, 2021 @03:39PM
(#27825305)
It would massively simplify the job of proving the upper language more correct. It may also be possible to proxy the type system in order to make use of existing tooling.
Why would it be beneficial to have TS as an intermediate representation? It turns into JS anyway, and there are already statically typed functional languages that compile to JS.