F*
A proof-oriented functional programming language with dependent types.
ToolLanguages & runtimesdependent-typesverificationfunctional-programming
Recommended in 1 thread
The foolishness of "natural language programming" (1978)cs.utexas.edu ·
Suggested as the kind of expressive type system that agents can use to check their own output for semantic correctness.
Similar tools
- 1 thread
- Lean ↗Languages & runtimes2 threads
An interactive theorem prover and programming language used to formalize mathematical proofs.
- Futhark ↗Languages & runtimes1 thread
A purely functional, data-parallel array language that compiles to GPU and CPU code.
- 1 thread
- 1 thread
- 2 threads
- OCaml Languages & runtimes1 thread
A statically typed functional programming language with a garbage collector.
- March ↗Languages & runtimes1 thread
A new programming language with Claude skills for search, debugging and language rules.
Also in Languages & runtimes
- 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.
- Catala1 thread
A programming language for translating legal statutes into executable code.
- Coalton1 thread
A statically typed functional language embedded in Common Lisp.
- 1 thread
- Elixir1 thread
A functional language on the Erlang VM.
- F#1 thread
A functional-first programming language on .NET.
- Fil-C1 thread
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
- 1 thread
- Go1 thread
A compiled, garbage-collected language from Google with goroutines.