Purerl (erlang backend for purescript) is worth a mention in this context:

https://codesync.global/media/purescript-on-the-beam-typed-o...