4 ms·
I think the author's recommendation has some needed context: > Recommendation: either make your language statically typed or dynamically typed (preferably stat
by munificent 3y ago
I think the author's recommendation has some needed context:
> Recommendation: either make your language statically typed or dynamically typed (preferably statically typed, but that's a different topic), as gradual typing just doesn't make sense for new languages.
The "for new languages" part is really important. Gradual typing makes a lot of sense when you are trying to retrofit some amount of static checking onto an existing enormous corpus of dynamically typed code. That's the case for TypeScript with JavaScript and Elixir with Elixir and Erlang.
- nerdponx 3y agoWhat about Julia?
- adgjlsfhk1 3y agoJulia isn't gradually typed. It's strongly but dynamically typed.
- chubot 3y agoOh yeah, as far as I know Elixir has a lot of calling back and forth with Erlang code. So that makes for a super tricky type system problem. I think the macros make it even harder. Elixir appears to be done almost all with macros -- there are lots of little "compilers" to Erlang/BEAM.
- 7thaccount 3y agoRaku (formerly known as Perl 6 and a radically different language than Perl 5) uses gradual typing on purpose. It's a cool language that has a lot of advanced ideas, but has basically been in either the design or beta stage for like two decades.
- fuzztester 3y ago>for like two decades. IOW, Raku is a gradual type of language.
- akoboldfrying 3y agoOther puns are not as good as this pun
- YorickPeterse 3y agoYou're right about this applying to new languages. I've added a note to the article to (hopefully) make this more clear.