Coco

A purely functional and statically typed programming language with HM type inference running on JVM.

Development Status

This project aims to implement a language that covers Haskell's core features (in particular, the type system) on JVM with Scala.

Up to now, I have implemented a type inferencer for the simplest version of Hindley–Milner (HM) type system (located at typer), which is the basis of Haskell's typing.

The full-fledged type system outlined in Typing in Haskell is still under development in the mid-stage (located at typer2).

I will resume development when I have enough time.