That's the one. Incidentally, combining QTT and type driven development is lots of fun. Very handy to have an environment tell you how many of a thing you have available...https://twitter.com/stephenjudkins/status/1039964280525750272 …
-
-
Replying to @edwinbrady
Cool. Does it do different sizes of infinities? Some types really are bigger than others...
1 reply 0 retweets 0 likes -
Replying to @jjcarett2
At this stage I'm sticking to 0, 1 and many. But the possibilities are really interesting...
2 replies 0 retweets 1 like -
Replying to @edwinbrady
Indeed. Even some really weird numbers, like 3, would be neat to have show up, once you do expand 'many'.
1 reply 0 retweets 0 likes -
Replying to @jjcarett2
The good news is that the implementation should be able to cope with this sort of extension after it has learned to count that high. But even just having 0 and Many has turned out to be remarkably valuable in my experiments so far...
1 reply 0 retweets 2 likes -
Replying to @edwinbrady
Hope you're writing that up. I'm quite interested. [I had a student instrument Maple to do static analysis based on intervals of usage counts, and yeah, it was surprisingly useful. But the language is too weird to get solid results]
1 reply 0 retweets 0 likes
I hope to have something interesting to say reasonably soon :)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.