This book could make me like dependent typing.https://www.amazon.com/Little-Typer-MIT-Press/dp/0262536439/ …
-
-
-
Replying to @hillelogram @mfeathers
Speed the day
1 reply 0 retweets 1 like -
Replying to @carnivorous8008 @mfeathers
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 :/
4 replies 0 retweets 5 likes -
Usability is something we really need to focus on now I think. There's so much cool stuff I can imagine being able to do if only the system in my head was actually implementable :)
1 reply 0 retweets 7 likes
Replying to @edwinbrady @hillelogram and
(my phone auto corrected "implementable" to "impenetrable" and I think it must be mocking me)
2:24 PM - 22 Sep 2018
0 replies
0 retweets
6 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.