Viewing profile — hoping1

This and the other comment under this seem to be talking about the work the computer is doing at runtime. I believe the point is about the developer's work in implementing this. (F…

See cvoss's comment in another thread: " What happens in the evaluator when you have (\ a . a a) (\ x . \ y . x y) Variables are uniquely named at parse time, but after one beta st…

An accessible introduction to the infamous Par operator, with a focus on intuition. Notably, this is on the broader concept of multiplicative disjunction, which appears even outsid…

Alternative title: Par and Constructive Classical Logic. I've finally rounded out the Par trilogy, on sequent calculus, linear logic, and continuations! This post was the point of …

A new guide on linear logic! Much deeper than the usual "imagine a vending machine" guide, though I do mention the connection to that at the end lol. This is great for getting an i…

I'm glad you liked it! I have one more post planned for this series, on par and using continuations for classical logic proof terms. I have two other posts in the works but they ar…

Thanks!

A new guide on linear logic! Much deeper than the usual "imagine a vending machine" guide, though I do mention the connection to that at the end lol. This is great for getting an i…

Fair, I think of this as advanced logic, and those concepts (and that notation) as prerequisite.

Ah heck, I should have added a section on PTSs, maybe I still will or maybe that will be standalone later. It really is gorgeous stuff!!

Extensive and patiently-paced, with many examples, and therefore unfortunately pretty long lol

Oh yeah I'm well aware of the meme haha. I just wanted to show that I'm conscious of these things in my writing. My dedicated entry on monads ( https://ryanbrewer.dev/wiki/monad ) …

Only in locally-small categories. But yes, category theory often makes use of sets.

You probably mean set theory instead of graph theory, since set theory and category theory are kind of seen as two foundations for math. Both category theory and set theory use set…

Thanks for taking the time haha, let me know if I can improve my exposition!

Hey there! I'm the author, so I suppose I ought to address this :) First I'll say that I absolutely get this head-banging-on-desk feeling of no progress. Monads got me like that fo…

Author here. It's a linked list, which is a tree, so post-order here means "recurse, then operate on the result" as opposed to "operate on something and then recurse on the result.…