Draft:Coalton (programming language): Difference between revisions

Revision as of 23:00, 16 July 2025

Revision as of 23:03, 16 July 2025

Line 20:

| website = {{URL|https://coalton-lang.github.io}}

| year = {{start date and age|2018}}

| influenced_by = [[Common Lisp (programming language)|Common Lisp]], [[Scheme (programming language)|Scheme]], [[Haskell (programming language)|Haskell]], [[OCaml (programming language)|OCaml]], [[Standard ML (programming language)|Standard ML]], [[Clojure]], [[Rust (programming language)|Rust]]

| designer = Robert Smith

| developer = Robert Smith, Coalton community

Line 43:

== Features ==

* Static typing with global type inference and optional type declarations.

* Parametric algebraic data types, pattern matching, and compile-time exhaustiveness checking.

* Multi-parameter type classes with functional dependencies.

* Eagerly evaluated with lazy iterators.

* Advanced immutable data structures including hash-array mapped tries and relaxed radix balanced trees.

* Machine code compilation (on Lisp hosts that support it).

* Compiler optimizations including heuristic inlining and user-controlled inlining with the <code>inline</code> directive.