Hacker News new | ask | show | jobs
by akira2501 754 days ago
"Not so great for building large systems that are hard to audit due to the level of type abstraction they have access to."

I'll give you that the lack of extensibility is sometimes a unique frustration among programming languages, but this design choice was intentional, and you've incidentally highlighted that, I think.