3 ms·
This is exciting - ever since reading Jeremy Siek's post on Gradual Typing [1], I've been missing this in my python and ruby. This could be the killer feature t
by macobo 12y ago
This is exciting - ever since reading Jeremy Siek's post on Gradual Typing [1], I've been missing this in my python and ruby. This could be the killer feature that would both move larger corporations towards python 3!
Two things in the pragmatic side seem hairy though - type declarations in types and `Undefined`.
[1]: https://news.ycombinator.com/item?id=8594079 https://news.ycombinator.com/item?id=8594079
- klibertp 12y agoSee also here for a slightly different but related approach: http://user.it.uu.se/~kostis/Papers/succ_types.pdf http://user.it.uu.se/~kostis/Papers/succ_types.pdf
- vosper 12y agoYes, this is the first feature I've seen that makes me think about what it would take to move my team over from 2.x. We have a moderate codebase (around 70k lines, last I checked) and are getting to the point where we'd probably get some benefit from types and a type-checking IDE or tool.