Show HN: Fuse – statically typed functional programming language
4 hours ago
- Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism.
- It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code.
- Features: statically typed (based on System F with higher-order polymorphism, algebraic data types, generics, traits).
- Purely functional: every function is pure, supports pattern matching, higher-order functions, and do notation.
- Type inference: bidirectional type checking, only function type signatures required.
- Clean syntax: inspired by Rust, Python, Scala, and Haskell, using indentation-based blocks and lambda expressions.
- Compiles to GRIN: whole-program optimization and LLVM code generation for fast, small native binaries.
- Installation: use curl command on Linux (x86_64) or macOS (ARM64).