More context from the front page: http://urbit.org.
Previous HN discussion: 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.
Previous HN discussion: 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.
...in a submarine.
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 ;)