Show HN: Fuse – statically typed functional programming language | Hacker News

A developer introduced Fuse, a new purely functional language built over five years in Scala, and asked HN for feedback.

Fuse supports higher-kinded types, ad-hoc polymorphism, ADTs, generics, traits, pattern matching, and higher-rank polymorphism.

It uses bidirectional type checking and a modern compilation pipeline that lowers through GRIN to native LLVM code.

The design blends Rust-like syntax ideas with Haskell-style semantics, making it notable for language and compiler communities.