"When does the cognitive tax imposed by static typing pay for itself?" http://reprog.wordpress.com/2010/06/05/we-cant-afford-to-write-safe-software/ …
@jonelf @steveklabnik not that I saw… what are you looking at specifically? I’m talking about backfilling types in existing dynamic progs
-
-
@bascule@steveklabnik Is backfilling type inference, optional typing, or something else? - End of conversation
New conversation -
-
-
@bascule "There’s no obvious technical reason why Ruby "..."shouldn’t be able to talk about the types of objects when the programmer wishes" -
@jonelf I guess I missed that point. There's an entire history of attempts at solving this problem, e.g. StrongTalk and Typed Racket
End of conversation
New conversation -
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.