3 ms·
More context from the front page: http://urbit.org http://urbit.org. Previous HN discussion: https://news.ycombinator.com/item?id=6438320 https://news.ycombina
by urbit 13y ago
More context from the front page: http://urbit.org http://urbit.org.
Previous HN discussion: https://news.ycombinator.com/item?id=6438320 https://news.ycombinator.com/item?id=6438320
This is a perfectly serious type system that infers perfectly serious types all day long. It is moronic, though.
- tsukikage 13y ago> This is a perfectly serious type system that infers perfectly serious types all day long ...in a submarine.
- samatman 13y agoYour desktop isn't wood, your folders aren't manila, and your windows aren't glass. Why balk at a submarine? It's made of the usual combination of bits and vivid metaphor.
- tsukikage 13y agoMy desktop is most certainly not wood, it's %gold ;) Who's balking? I'm right there under the water. I find myself craving a destroyer, without quite knowing what I'd do with one ;)