Is there a language with structural type constraints for variants and records?

• star

  24 116 5.1 Haxe

  An experimental programming language that's made to be powerful, productive, and predictable (by ALANVF)

My language Star has this (excluding full type inference, as method signatures require type annotations for stuff), both for structural types and variants (which I don't cover in my docs, but there's an example here. Extensible variants are also supported via nominal subtyping, and they also combine the properties of sum types with product types as they can have instance fields (along with other class behaviors)

• cubiml-demo

  6 134 0.0 Rust

  A simple ML-like programming language with subtyping and full type inference.

Cubiml might be worth looking at as well.

• InfluxDB

  www.influxdata.com sponsored

  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.

  

Suggest a related project