There are, in various stages of experimentation. Haskerl, a subset of Haskell for the BEAM VM. Alpaca, a version of ML. A Purescript BEAM back end. An Idris

There are, in various stages of experimentation. Haskerl, a subset of Haskell for the BEAM VM. Alpaca, a version of ML. A Purescript BEAM back end. An Idris BEAM backend. See https://github.com/llaisdy/beam_languages/blob/master/README.org https://github.com/llaisdy/beam_languages/blob/master/README...