@edwinbrady Heya, sorry to bother, I was wondering if there was a paper or publication somewhere of a list of problems people are working on in dependent types. You’re the first person who came to mind.
-
-
Replying to @rickasaurus
No paper I know of, but I can at least come up with some that interest me: e.g. how best to interact with external resources (communication protocols especially, but anything with state); how to automate the more boring proofs (the kind of thing you get with refinement types)...
1 reply 0 retweets 5 likes
Replying to @edwinbrady @rickasaurus
...how to make type checking fast enough (@andrasKovacs6 is doing some good stuff here!); what kind of interactive editing support can we come up with. I expect I'll think of some more :).
5:43 AM - 4 Jan 2019
0 replies
0 retweets
5 likes
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.