3 ms·Forgot about Idris. Elm, PureScript, OCaml (Reason/ReScript) and F# did come to mind.by cies 6y agoForgot about Idris. Elm, PureScript, OCaml (Reason/ReScript) and F# did come to mind.