5 ms·
there's a near complete isomorphism between cli/tui arg parse and web url routing someone is surely doing a smalltalkish metaclass trick to turn any object int
by agumonkey 3y ago
there's a near complete isomorphism between cli/tui arg parse and web url routing
someone is surely doing a smalltalkish metaclass trick to turn any object into a local tty or http or rest or else interfaced thing
- timeagain 3y agoAnything that can be handled by a compiler can be hacked to interface with anything that can be handled by an interpreter. That’s the kind of fundamental daoist “code is data is code” that underlies the power of computing.
- bqmjjx0kac 3y agoIt also turns out that code is mathematical proofs and proofs are code, thanks to the Curry-Howard isomorphism. https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
- agumonkey 3y agoyeah but so far these are all separate microcosms with no clear common model
- munch117 3y agoWhen all you have is a web framework, everything looks like an url.