Fuse is a statically typed, functional language with higher‑kinded types and ad‑hoc polymorphism. It compiles to the GRIN whole‑program optimizer, producing LLVM‑generated native code.

It supports algebraic data types, generics, traits, pattern matching and other functional constructs without mutation. Functions are pure, and the type system is based on System F with higher‑order polymorphism, offering strong inference and bidirectional checking.

The project has been under development for 5 years, with the codebase originally written in Scala and rooted in System F concepts from the book Types and Programming Languages. Inspiration comes from Rust, Haskell, Scala and Python, giving a readable syntax that uses indentation‑based blocks and ML‑like expressions.

The author welcomes feedback on design and usage, and provides a simple installer for Linux (x86_64) or macOS (ARM64) via a curl command. See the discussion at the provided Hacker News link. Compiled binaries are fast, small and offer zero‑cost abstractions.

The language enforces referential transparency, making reasoning about code straightforward. Bidirectional type checking supports higher‑rank types while keeping the syntax minimal, requiring only function signatures for readability. The compiler’s whole‑program optimization via GRIN and LLVM yields fast native binaries with zero‑cost abstractions. Community feedback is welcome via the linked discussion, helping shape the language’s future evolution.