Syntax for defining algebraic data types

• typical

  13 552 7.3 Rust

  Data interchange with algebraic data types. (by stepchowfun)

Typical uses the terms "struct" and "choice" for products and sums, respectively, although it's not a programming language.

• letlang

  12 157 7.9 Rust

  Functional language with a powerful type system.

In my language (Letlang), I use the keyword class with structural pattern matching and optionally a predicate. Types (or rather, classes) can be combined with logical operators &, |, !:

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• hummus

  1 25 10.0 Haskell

  A dialect of the Kernel programming language.

Hummus (Haskell implementation of Kernel) implements records, classes, objects, generators as libraries.

• klisp

  2 0 10.0

If you want to try running it, I recommend klisp, which is the most complete implementation. This is easy to build on linux and has few dependencies.

Suggest a related project