Complete Feature List algebraic data types pattern matching first-class functions extensible records parametric polymorphism type class

Complete Feature List algebraic data types pattern matching first-class functions extensible records parametric polymorphism type classes higher-kinded types light-weight polymorphic effects type aliases Hindley-Milner type inference CSP-style concurrency buffered & unbuffered channels first-class datalog constraints polymorphic datalog predicates constraints with lattice semantics stratified negation interoperability with Java unboxed primitives keyword-based syntax redundancy checks monadic let\* expressions expressions holes compilation to JVM bytecode full tail call elimination core standard library parallel compiler architecture human friendly errors interactive mode Visual Studio Code support Nice!