doing research on usability of theorem provers is basically doing research on practical aspects of dependent types first 🙃 it’s exciting but exhausting
Conversation
Replying to
What do you mean by “practical aspects”? Like in terms of how to implement them?
Just interested as I've spent a bunch of time trying to learn about implementing dependent types in order to do what I want to do, and I am exhausted but excited too! 😅
1
Replying to
there are a set of features in functional programming that people would expect in dependently-typed functional languages and they're not (fully) available yet.
4
This Tweet was deleted by the Tweet author. Learn more
Show replies