This reminds me of bear games: https://en.wikipedia.org/wiki/Bear_games Here's a tablebase analysis for a simple bear game I constructed a while back: https://emarzion.github.io/coqtbgen/
I think this article highlights a misconception that type skeptics often have, which is that type systems are some sort of enterprise solution that cargo-cultists have come to embrace as "best practices". Either that,…
Here's a write-up I did on deriving the Y combinator from Lawvere's fixed-point theorem: https://emarzion.github.io/Y-Comb/
This reminds me of bear games: https://en.wikipedia.org/wiki/Bear_games Here's a tablebase analysis for a simple bear game I constructed a while back: https://emarzion.github.io/coqtbgen/
I think this article highlights a misconception that type skeptics often have, which is that type systems are some sort of enterprise solution that cargo-cultists have come to embrace as "best practices". Either that,…
Here's a write-up I did on deriving the Y combinator from Lawvere's fixed-point theorem: https://emarzion.github.io/Y-Comb/