diff options
| -rw-r--r-- | readme.md | 27 |
1 files changed, 14 insertions, 13 deletions
@@ -1,17 +1,18 @@ # Totally Fun Programming Language -This language is purely academic. The following features are - while planned - almost certainly not (yet/correctly) implemented. +**This project is in a completely unusable and unimplemented state and +is only available as a public archive.** See my (possibly slightly +related) programming language [bruijn](https://bruijn.marvinborner.de) +for active work. -## Features/goals +## Public archive notes -- 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 +I believe this was originally intended to be a total functional +programming language and was designed as a merge between low-level and +very abstract languages. There's some weird history in Git, mostly +playing around with the concept of PLs in general I think. + +I know that I later discovered that Agda and Idris can do some of the +same things I wanted "Fun" to do, e.g. by using FFI and a C backend +(although I apparently imagined a ASM FFI, but that's not really +future-proof anyway). |