Tech News
← Home  ·  All topics

Generics

2 GoKawiil briefs on this topic

Developer releases Copper, a minimalist low-level language with OOP and generics

A developer has published Copper, a programming language positioned as an alternative to C. It adds features such as type inheritance, generics, multiple return values, out-of-order definitions, deferred statements, option types, and a Ruby-inspired syntax, while emphasizing minimalism and fast compilation. The project is released under the BSD license.

New Syl language adds modal type system for compile-time dependent types

A developer is building Syl, a programming language that encodes compile-time computation using a modal type system with two mode axes: staticity (static vs dynamic) and erasure (erased vs unerased). The project's compiler is available on GitHub, and its design draws on András Kovács' two-level type theory research and plans for OxCaml.