This book could make me like dependent typing.
Conversation
Soon we will be everywhere
1
7
Speed the day
1
1
I think the next big step is gonna be some type system which doesn't have the full power of dependent types but has some of the power, thereby focusing on making them better UX
Sometimes I wish I got into PLT instead of FM :/
3
5
I hear you. My issue, though, is that types seem orthogonal to where PL research should go. I want languages with better affordances in the Donald Norman sense.
1
2
6
This Tweet was deleted by the Tweet author. Learn more
I like to think of types as a design language, allowing you to to describe affordances for your specific domain. Type system design is kind of like figuring out the 'meta-affordances'. Dependent types (ideally) give you the almost same affordances for terms and types.