Brendan Zabarauskas on Twitter: "@sean_of_w @chrisamaphone I also think there are some interesting questions on how to design better type systems that work more effectively on real, living programs that are still left to be explored… really want to integrate some of Rich Hickey's ideas into a type system, for example." / Twitter

This Tweet is unavailable. Learn more

Feb 22, 2018

I don't view it as a dichotomy, to be sure. Type theory has a place. I liked Ko's keynote so much because he argued that it's only *one* of *many* disciplines that belong in PL design, but it has been over-emphasized.

Replying to

and

I also think there are some interesting questions on how to design better type systems that work more effectively on real, living programs that are still left to be explored… really want to integrate some of Rich Hickey's ideas into a type system, for example.

2:54 PM · Feb 22, 2018Twitter Web Client

Conversation