Hacker News new | ask | show | jobs
by marcosdumay 2493 days ago
There is no casting in a sound type system.

No language actually gets there, but there are some where developers mostly don't even remember there is a cast operation.