Dev tools · alternatives · 2026
24 alternatives to 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 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… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 2
Hi 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 :)
2023 · scrapscript.org · its alternatives →
- 3
An 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…
2022 · github.com · its alternatives →
- 4
I 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.
2023 · cassette-lang.com · its alternatives →
- 5
I'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…
2025 · github.com · its alternatives →
- 6
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 7
We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this??? - cofibrant/trait-eval
2020 · github.com · its alternatives →
- 8
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
- 9
I spent the past 2 weeks making this toy programming language. I basically forked the Go scanner/parser, and changed the syntax to have functions return a single value. This enable proper Result/Option type to be used as well as propagating errors with an operator. I also wanted to have short "type inferred" anonymous functions to be able to use functions like Map/Reduce/Filter, without having to use 100 characters to specify the types.
2025 · github.com · its alternatives →
- 10
TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
2023 · github.com · its alternatives →
- 11PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 12
A truly logic-less templating language for Rust servers.
2016 · gitlab.com · its alternatives →
- 13
Sage is a Rust-like programming language built on a brainfuck-inspired VM with LLVM-like properties. https://github.com/adam-mcdaniel/sage Check out the web-demo to run the compiler in the browser, along with a graphical example using JavaScript interop! https://adam-mcdaniel.net/sage Sage is designed to be portable, but also useful. To prove its usefulness, I used it to implement a user-space for a new operating system: SageOS https://github.com/adam-mcdaniel/sage-os The language also runs on embedded devices, like the flipper zero!
2024 · github.com · its alternatives →
- 14CD
2012 · scattered-thoughts.net · its alternatives →
- 15
Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 16
A lisp dialect based on pattern matching and term rewriting - abuseofnotation/termlisp
2024 · github.com · its alternatives →
- 17
An experimental language which adds functional programming features to Go. - albrow/fo
2018 · github.com · its alternatives →
- 18
Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional
2017 · github.com · its alternatives →
- 19
i made an esoteric programming language which i call spellscript. every program is a "spell" written in a "grimoire," and you have to use keywords like summon, enchant, inscribe, and conjure. it's literally read like a spellbook because the syntax consists of all natural language, and newlines are optional. your code can now be an essay, like everybody wants! for example, if you want to print something, you'd write: `begin the grimoire. inscribe whispers of "hello, world!". close the grimoire.` it has variables, dynamic typing, arrays, functions, conditionals, loops, string manipulation,…
2025 · github.com · its alternatives →
- 20
Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970
2021 · unsafeperform.io · its alternatives →
- 21
⛑ Fork of diamondback-ruby. Contribute to stereobooster/diamondback-ruby development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 22
Hello and happy new year! We're excited to introduce the Pyper package for concurrency & parallelism in Python. Pyper is a flexible framework for concurrent / parallel data processing, following the functional paradigm. Source code can be found on [github](https://github.com/pyper-dev/pyper) Key features: Intuitive API: Easy to learn, easy to think about. Implements clean abstractions to seamlessly unify threaded, multiprocessed, and asynchronous work. Functional Paradigm: Python functions are the building blocks of data pipelines. Let's you write clean, reusable…
2025 · github.com · its alternatives →
- 23
This is a hobby project of mine that I started a few years ago to learn about programming language implementation. It was created 95% without AI, although a few recent commits include code from Gemini CLI. I started out following Crafting Interpreters, but gradually branched off that until I had almost nothing left in common. Tech stack: Rust, Cranelift (JIT compilation), LALRPOP (parser). Original title: "A small programming language where everything is a value" (edited based on comments)
Jan 2026 · github.com · its alternatives →
- 24
🔬 a C++ compiler middle-end, using an LLVM backend - artagnon/rhine
2016 · github.com · its alternatives →
Also compare
- A dependently-typed programming language with static memory management alternatives
- ScrapScript – A tiny functional language for sharable software alternatives
- I'm making a dynamic language in Rust alternatives
- Cassette, a Personal Programming Language alternatives
- Bolt – A super-fast, statically-typed scripting language written in C alternatives
- Peridot – A functional language based on two-level type theory alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →