Viewing profile — typetheoristic

There are stupid names and there are misleading names.

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 …

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.

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 i…

So I get downvoted for pointing out the hubris of naming your company TypeSafe when your language isn't?

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