The basic point is to have something akin to lambda-calculus that can equally account for both strict and lazy evaluation strategies, in a way that doesn't unduly sacrifice expressiveness for one or the other. (Compare the ML family of languages and Haskell, where strict and lazy evaluation respectively are idiomatic. You can express lazy evaluation in a ML and strict evaluation in Haskell, but only in clunky ways that don't align with the overall logic of the language. CBPV and other comparable formalisms aim to resolve this.)
>So it'll be open source and that begs the question, if you use it to learn something, did that mean I just zero-proof zero-knowledge something out of you that I didn't even need to know by making a self referential statement across both space & time?
You just did for me. I think I know why you're saying this. I'm finding people like you (people like us!) on the daily now. We have started to gather on discord, the technical/scientifical level is a bit shit though, but we definitively have several individuals that are working towards peer-reviewed publications.
I think we should connect. I have a background in linguistics and computer science, as well as a marked (and hopeless and terrified) interest for higher order mathematics such as algebraic topology. My investigations lead me to think these fields have something important to say even though they are way beyond my level of knowledge. It came from reflexions on the still ongoing parallel evolution of structuralism in maths and in the humanities. Also I'm into tropical geometry (at least as a thematic).
If you're interested in exchanging a few emails, use the following RSA/512 public key to communicate your email address if, like me, you'd prefer not to share it publicly.
-----BEGIN PUBLIC KEY-----
MFwwDQYJKoZIhvcNAQEBBQADSwAwSAJBAKtMT4CBGK0BOv9lzEcccuFSc1doUtft0lDUdh0brKz06j/JHNOyuGtmvjc558ZnL8g9u+yGAnIIfNkCYvljRfsCAwEAAQ==
-----END PUBLIC KEY-----
