Fuse – statically typed functional programming language
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…
Fuse – statically typed functional programming language launched on August 2, 2026 with 121 votes, #273 of 23,274 launches that month and more than 95% of that year's launches.
In plain words
Fuse is a statically typed purely functional programming language that eliminates mutations while supporting algebraic data types, generics, traits, and pattern matching. It compiles to LLVM-generated native code through the GRIN whole-program optimizer. Designed for developers seeking functional programming paradigms combined with practical features inspired by Rust, Haskell, and Scala, Fuse offers higher-kinded types and bidirectional type checking with higher-rank polymorphism.
written from the facts on this page · September 2026
From the sources
A statically-typed functional language that compiles to native code through GRIN and LLVM.
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. trait Functor [ A ] : fun map [ B ] ( self , f : A -> B ) -> Self [ B ] ; impl List [ A ] : fun fold [ A , B ] ( l : List [ A ] , z : B , f : ( B , A ) -> B ) -> B match l: Cons ( h , t ) => List :: fold ( t , f ( z , h ) , f ) Nil => z fun sum ( l : List [ i32 ] ) -> i32 List :: fold ( l , 0 , ( a , b ) => a + b ) impl Functor [ A ] for List [ A ] : fun map [ B ] ( self , f : A -> B ) -> List [ B ] List :: fold ( self , Nil [ B ] , ( t , h ) => Cons ( f ( h ) , t ) ) fun fmap [ A , B , F : Functor ] (…from fuselang.org
In the maker’s words, at launch
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…
Does a similar job
all alternatives →
A dependently-typed programming language with static memory management2020 · github.com · ▲456A functional programming language with static memory management - vekatze/neut
ScrapScript – A tiny functional language for sharable software2023 · scrapscript.org · ▲503Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)
I'm making a dynamic language in Rust2022 · github.com · ▲184An implementation of a dynamic programming language in Rust. Includes: Parser/Compiler, REPL, Virtual Machine, Bytecode Disassembler This started out as a learning project to teach myself Rust. It has grown into a decently substantial piece of software and I've learned quite a bit in the process! Some neat things: + A garbage collector that can store dynamically sized types without any double-indirection (i.e. I have my own Box implementation with manual alloc/dealloc) + The smart pointer used to reference GCed data is a thin pointer. The ptr metadata needed for DSTs is stored in…
Cassette, a Personal Programming Language2023 · cassette-lang.com · ▲231I made this simple language over the past year, and it's time for me to say it's "done" (for now) and focus on other projects. I've struggled to answer the question "what is this language for?" other than "it's just for me" — and that's probably good enough. But I also wanted to make something "complete" that others could use if they wanted to. Writing my own language was an incredibly rewarding experience, and I'd recommend everyone trying it. Let me know if you have any questions or feedback, and please share your own experience if you've also made a language.
Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
Peridot – A functional language based on two-level type theory2022 · github.com · ▲151A fast functional language based on two level type theory - ehatti/peridot
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲340Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 27d ago · corespeed.io
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, August 2026
the whole month →- TL
Life & fun · Aug 2026 · louisabraham.github.io
Clipto MCP▲655Hey HN, We recently built Clipto. It’s a tool that lets you search over terabytes of video, audio, and images on your computer, without relying on the cloud. Motivation: we probably all had this similar experience, we know a moment exists in a video or audio, but finding it takes hours scrubbing the timeline. You can send all the media to process in the cloud, but it’s slow, expensive and raises privacy concerns. So we decided to build our own on-device media search engine. How it works (high level): 1. We ingest video, audio, image; normalize formats via ffmpeg; run content analysis to…
Work · Aug 2026 · clipto.com
Hello HN! I found that picking out plausible but diverse skin tones for my digital art and game development projects was kind of difficult, and I got curious about if there was a way to define a color space that made it easy. I've built a color picker and procedural generation algorithm based on the space as well as a bunch of other fun js features and demos throughout the page that use the equations. If you find it interesting, I have lots of explanations of how I built it and what properties the space has. The methodology might be a bit shaky, but hopefully the result is as helpful for…
Life & fun · Aug 2026 · toneyalexander.github.io
Astute▲606Automate your B2B brand going viral, with new media creators
AI · Aug 2026 · company-app.joinastute.com