Mastodon Feed
Reblogged by lloydmeta ("Lloyd"):
bodil@lol.camp ("Bodil") wrote:
Attachments:
- 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 (remote)
