4 ms·
Doesn't this post suggest you are "bullish" rather than "bearish?" Or am I misreading it?
by KirinDave 8y ago
Doesn't this post suggest you are "bullish" rather than "bearish?" Or am I misreading it?
- gunnihinn 8y agoMaybe I miswrote it. I’ve been very unimpressed with all other crowbarrings of category theory into programming than this one. Other attempts feel like language for its own sake, while Pijul really seems like a Grothendieck-style compass bearing use of category theory. The point of using it wasn’t just language, but it really informed the design of the system.