/mental

🚧 Yet Another ML Dialect (WIP)

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Mental

Build Status Issues Status License Contact

Yet another ML dialect

Features

  • Hindley-Milner type inference
  • Let polymorphism
  • REPL
  • Primitives
  • Evaluator
  • Declarations
  • Modules
  • User-defined infix operators
  • Algebraic data types + pattern matching
  • Records + row-polymorphism
  • Type classes
  • Do notation
  • Optimizer / inliner
  • FFI
  • JavaScript / JVM / LLVM backend
  • Integration with SMT solvers (for eg. proof checking)

Author

Romain Ruetschi

License

Mental is released under the BSD3 license.