News for hackers. Stuff that matters.

A comment on Elixir – Why the dot (when calling anonymous functions)?. Parent comment

Re:Elixir – Why the dot (when calling anonymous functions)? by weatherlight on Monday August 14, 2023 @04:50PM (#37126635)
It's not sound :(. Type systems should be bomb proof or get out of the way.
[ Parent | on HN ]
Re:Elixir – Why the dot (when calling anonymous functions)? by mjhay on Monday August 14, 2023 @08:45PM (#37128731)
Typescript's unsoundness isn't a good thing, but it is way down the list of type-unsafe things inherent in the Boschian nightmare that is frontend development.

Compile-to-JS languages add a big impedance mismatch when you inevitably need to use JS libs. Typescript's JS + types philosophy helps with this issue (it still sucks though).

[ Parent | on HN ]