User:Shadow Kestrel
I am Kestrel (it/they) I like lambda calculus and really abstract data types. My special interests / hyperfixations often change, so it's not unthinkable that I might take a long (as in a few years) break from esolangs. It's also not unthinkable that I might have a multi-year obsession with this site. I am a strange and unpredictable sort of person, in the worst way possible. Don't trust this page to be up-to-date whatsoever.
My Esolangs
Delambda
Unlambda, but without the kinda procedural i/o and with extra peripherals. For now I'm leaving it how the now-lost TS/JS implementation treated it, although I plan to review and reimplement 'soon'.
UDL: Ultra-dynamically Dimensional Language
Ah yes, the classic 1-dimensional array of data and code, used by languages such as brainfuck and similar. Nice, simple, predictable, and *boring*. UDL technically stores all data (and, indistinguishably, code) as dictionaries, but treats them in such a manner that they behave like a non-integer generalisation of multi-dimensional arrays. Sort of abandoned because it turns out that's hard to do.
What I'm Working On
Impish
A formal proof language (akin to Coq, Lean, or similar) with highly polymorphic type system (ideally some strong extension of Hindley-Milner? Syntax still undefined at time of writing, very proof-of-concept)
Hypergrape
Reject int, string, bool, and other such data types; embrace hypergraphs (graphs where edges can connect any natural number of nodes)
Granny
Code? More like Cringe. Transformation rules for graphs (nodes + connections with no internal data) that might be Turing complete? Including dynamic binding to I/O and filesys.
Coding Projects
- Foist, an OS with extremely strong structure in both interprocess communication and file access. As well as 2 ABI-compatible kernels, one for distributed cases and one for local cases. If you think this sounds too ambitious for a solo dev, you're probably right. I don't care.
- Using rational functions (ratios of polynomials) to approximate vector fields in fluid mechanics and other simulations