Are overloading and a Haskelly/Rusty type system compatible?

• rust

  2,681 92,831 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

Rust method calls (not from traits) are already a form of overloading, albeit only in a single argument (self). This does have the effect of complicating rust's type inference and making it fail in more cases, see for example the discussion in this issue.

• koka

  31 3,040 9.8 Haskell

  Koka language compiler and interpreter

  

Koka has overloads as well as algebraic data types, for example show is defined with several overloads:

• 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.

  

• zig

  816 30,631 10.0 Zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  

Looks like Zig: https://github.com/ziglang/zig/issues/2828

Suggest a related project