Moses: a minimal functional programming language and IDE built with Scala and Xtext

Session Type: 
Standard [35 minutes]

Moses is an experimental language, compiler and IDE intended as a platform for testing refactoring techniques for statically typed functional languages. It features full type inference, pattern matching, algebraic data types and lazy semantics, making it essentially a very small subset of Haskell. It compiles to Java and the hope is to make it able to interface nicely with native Java types, although that is a somewhat secondary goal to the refactoring research aspect. The original version of Moses has been implemented using Scala to develop the type checking logic, and Xtext for the IDE. A longterm goal is naturally to rewrite the majority of the compiler logic in Moses itself.

Schedule info



Cool Stuff (Other)
Experience level: 

Copyright © 2013 The Eclipse Foundation. All Rights Reserved.