blob: 101c3861d81df2e5ff6164d1c1da79730b5b5c38 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Totally Fun Programming Language
This language is purely academic. The following features are - while planned - almost certainly not (yet/correctly) implemented.
## Features/goals
- Total functional programming: Either
- primitive recursion over data
- coprimitive corecursion over codata
- Not Turing-complete (obviously) but PR-complete
- Machine-oriented
- Self-generating assembly
- No undefined behavior nor non-terminating functions
- Complete provability
- Strict grammar
- Unforgiving syntax
- Force clean code
|
