4 ms·
Writing down the types isn't a necessary property of static type systems. In Haskell, F# or (OCa)ML, you almost never have to actually mention any types. I do
by lucian1900 10y ago
Writing down the types isn't a necessary property of static type systems. In Haskell, F# or (OCa)ML, you almost never have to actually mention any types.
I do agree that Java-style types aren't of much value. That catches few errors at significant cost.
- MrBuddyCasino 10y agoCatching logical errors is only one out of several things that static typing gives you. Incidentally, right now this is a few positions above this posting: https://news.ycombinator.com/item?id=12350063 https://news.ycombinator.com/item?id=12350063 Better IDE support, a kind of self-documentation and increased performance come to mind. I know there are counter-examples for each of these points, but the general trend cannot be denied.
- paulddraper 10y agoThe cost of non-Java-style types is compile time :)