Hacker News new | ask | show | jobs
by agumonkey 4202 days ago
That link http://www.logicmatters.net/resources/pdfs/Galois.pdf (syntax - semantics as Galois Connections) in the comments seems pretty interesting.
1 comments

When my kids and I play with Legos, I think back to then I was a kid, and all the things we could build with our big box of maybe 20 different kinds of block. They were very compositional.

Today, we have a million different pieces from various sets, and it is difficult to put them together in ways that conform to what we imagine, so they aren't as much fun.

Is this the same idea?