languages.md

Language Suggestions

Implementation

The seven programming ur-languages by Frederick Ross

Primary Options

1. Python
2. TypeScript using Deno or NodeJS
3. Rust
4. Zig
5. Haskell
6. Racket
7. Scala or C# or Java
8. Swift
9. PureScript
10. Idris
11. OCaml
12. Agda
13. Dafny
14. Unison
15. Pharo Smalltalk

Secondary Options

1. Coq
2. Go
3. Vale

Modelling

The seven specification ur-languages by Hillel Wayne (Computer Things #244)

• Alloy
• TLA+
• Answer Set Programming (Potassco)
• P
• PRISM
• Spin
• MCRL2