Fuse
statically typed functional programming language
Details
- External ID
- 49143412
- Source
- HN
- Company
- —
- Product
- Fuse
- Website domain
- fuselang.org
- Launched
- Aug. 2, 2026
- Cohort
- —
- Upvotes
- 121
- Upvotes percentile
- 0.9435483870967742
- Tags
- —
- Fetched at
- Sept. 10, 2026, 5:32 a.m.
- Updated at
- Sept. 10, 2026, 5:32 a.m.
Description
Hi HN! 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.Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations.I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then extending with concepts such as Bidirectional Type Checking with Higher-Rank Polymorphism.I’ve mainly drawn inspiration from Rust, Haskell, Scala and Python (in terms of syntax). It all started because I wanted a language that has Rust-like concepts such as: ADT, Traits, Impl block syntax, etc. but have the pure functional semantics.I'd would love feedback on the language design and its general usage.
Enrichment
- Theme
- developer tools and programming utilities
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- statically typed functional programming language
- Manually corrected
- False
Could you build this?
No Designing and implementing a statically typed functional programming language with higher-kinded types, System F type checking, bidirectional inference, and compilation via GRIN to LLVM requires deep expertise in compiler theory and type systems.
What it would actually take: Building Fuse requires implementing an AST, lexer/parser, and bidirectional type checker supporting higher-kinded types and traits, then compiling to GRIN (Graph Reduction Intermediate Notation) for functional program optimization, and lowering to LLVM IR. The stack typically involves Haskell, OCaml, or Rust with LLVM bindings. Deep theoretical understanding of type theory, lambda calculus optimizations, and low-level code generation is required.
Discussion
20 comments analyzed.
Competitors mentioned: Haskell, Rust, Dart, Luau, Elm
Concerns raised: No FFI support yet, Type system limitations with Self and higher-kinded types, Functional languages notoriously slower than imperative due to lack of mutations, Supercompilation compilation resources grow superlinearly, Unclear how type system scales in practice
Feature requests: User-defined operators, Lazy evaluation instead of strict evaluation, Support for higher-kinded types without losing expressiveness, FFI support, Equivalence of terms for program verification
Competitors
Other products that read as similar to this one — 114 launches clear the similarity bar, closest 8 shown.
Attention rank: #5 of 115 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 274 days after the earliest competitor.
- Genotype: language that compiles to idiomatic TS, Rust and Python · hn · 2026-09-08 · 9 upvotes · similarity 0.52
- OtterLang · hn · 2025-11-08 · 15 upvotes · similarity 0.49
- A systems language with runtime reflection and no GC · hn · 2025-12-15 · 6 upvotes · similarity 0.48
- AttaLambda: a language where types and data are made of untyped lambdas · hn · 2026-09-14 · 44 upvotes · similarity 0.46
- Gene · hn · 2026-01-01 · 36 upvotes · similarity 0.46
- A Program · ph · 2026-09-18 · 1 upvotes · similarity 0.46
- Hsrs · hn · 2026-05-19 · 53 upvotes · similarity 0.44
- I implemented generics in my programming language · hn · 2025-12-15 · 38 upvotes · similarity 0.44
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.