Roc roc-lang.org ↗
A pure functional programming language that separates side effects from pure code.
ToolLanguages & runtimesfunctional-programmingside-effectsprogramming-language
Recommended in 1 thread
Malware uses LLMs to rank victims by how much they're worthblog.talosintelligence.com ·
Pure libraries can't secretly exfiltrate data.
Similar tools
- 2 threads
- rcc ↗Languages & runtimes1 thread
A C compiler by rurban that implements perfect hashing for large sparse switch statements.
- Shakespeare ↗Languages & runtimes1 thread
An esoteric programming language whose source code reads like a Shakespeare play.
- 1 thread
- March ↗Languages & runtimes1 thread
A new programming language with Claude skills for search, debugging and language rules.
- 2 threads
- Catala Languages & runtimes1 thread
A programming language for translating legal statutes into executable code.
- Lean ↗Languages & runtimes2 threads
An interactive theorem prover and programming language used to formalize mathematical proofs.
Also in Languages & runtimes
- Elixir3 threads
A functional language on the Erlang VM.
- Fil-C ↗3 threads
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
- F#2 threads
A functional-first programming language on .NET.
- 2 threads
- 2 threads
- Lobster ↗2 threads
A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.
- Rust2 threads
A systems programming language with compile-time memory safety guarantees.
- AtomVM1 thread
A lightweight Erlang/Elixir virtual machine for microcontrollers.
- Catala1 thread
A programming language for translating legal statutes into executable code.
- 1 thread
- Coalton1 thread
A statically typed functional language embedded in Common Lisp.
- 1 thread
Link from a commenter, not checked or endorsed by us: ↗ https://www.roc-lang.org/