Also considering implementing my compiler for BCKW -> my interaction combinator language in Lean. Would be nice to be able to prove its correctness instead of relying on hand-rolled sub-par unit tests.
The interaction comb. / net graphical paradigm of programming becomes really intuitive after a while. Allows you to think about computation very novel ways.
This feels on par with learning lambda calc and becoming proficient in FP in my growth as a programmer.
Small implementation of the BCKW combinators in the interaction combinator graphical paradigm I wrote up. Omitted decoders in some places where obvious, but this looks promising. End goal is to implement a lambda calculus compiler targeting BCKW -> my interaction comb. VM.
Small implementation of the BCKW combinators in the interaction combinator graphical paradigm I wrote up. Omitted decoders in some places where obvious, but this looks promising. End goal is to implement a lambda calculus compiler targeting BCKW -> my interaction comb. VM.
Code will be open-sourced soon, I'm currently working on compiling untyped lambda calculus to it, trying to decide on a nice representation that implements the S combinator.
Little REPL I made for interaction combinators. Fun project.
Iterations of the project so far: naive hand-parsed LC interpreter -> non-polarized nets language (interpreted, naively) -> polarized LaFont syntax bytecode VM -> symmetric interaction combinator interpeter (current)
New article just dropped. Gives a short review of the Chumsky parser combinator library. Very nice to work with, and very approachable compared to byte-by-byte and zero copy alternatives like nom!
https://t.co/UpE8isvGJ2
Started a blog with Hugo and GH pages. Very pleasant experience. First post is about my experience with distro hopping and NixOS. Wrote the deployment pipeline with Nix flakes, as well 😎 https://t.co/tfLLiEanZP
Libertarians do a grave disservice to the anti-war movement when we don't distinguish between funding the invasion of a country and funding the defense of a country.
1/2