typetheoristic

4 ms·

1. 1.▲
   by typetheoristic 14y ago

   There are stupid names and there are misleading names.
2. 2.▲
   by typetheoristic 14y ago

   I'm not sure what world you're living in, but Haskell and ML seem to offer some measure of type safety and are also quite practical. Sure there is unsafePerformIO. But the problem is with Scala you don't even need to use unsafe language f
3. 3.▲
   by typetheoristic 14y ago

   It isn't even about "escape hatches". There are programs that can be written without any special language features that will cause class cast exceptions. Please do your research.
4. 4.▲
   by typetheoristic 14y ago

   This has come up plenty of times on Hacker News with plenty of examples. modersky generally just writes it off as being "harmful" to the community and other nonsense to avoid the issue. Harmful to his valuation is more like it.
5. 5.▲
   by typetheoristic 14y ago

   So I get downvoted for pointing out the hubris of naming your company TypeSafe when your language isn't?
6. 6.▲
   by typetheoristic 14y ago

   Heh. Clearly the investors didn't do their due diligence, otherwise they would have known that Scala isn't type safe.