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