Show HN: Fuse – statically typed functional programming language

The development

I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code.

The impact

Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations.

The show backdrop

I’ve been developing the language for 5 years, with code written in Scala

Where this fits in Signal Ledger

Related coverage from the Technology desk.

• The Seinfeld Chronicles: Digital Edition
• Twenty Years of RISC OS Open
• F*: A general-purpose proof-oriented programming language

Our show read

I’ve been developing the language for 5 years, with code written in Scala. It all started because I wanted a language that has Rust-like concepts such as: ADT, Traits, Impl block syntax, etc.