4 ms·
Ask HN: Which language has the clearest type syntax?
Or, what would be your ideal type syntax?
- andrei_says_ 3y agoElm has a great implementation of typing - from definition to enforcement to error messages.
- mikewarot 3y agoI think Free Pascal has the best syntax, it's clear what's what, and it has an insanely useful set of string types that just get handled for you. No malloc, free, etc.
- ttymck 3y agoI find Scala to be the most readable, but perhaps that's only because it's the one I learned typing and type level programming with. Rust, by comparison, is much less readable to me, with very confusing ordering and operators. Although I'm sure someone can explain why it is superior to Scala in one way or another.
- wscourge 3y agoThere's Idris, designed to encourage "Type-Driven Development".
- aristofun 3y agoNot sure what you mean by “clearest”, but TypeScript is the best typing system ever invented. For 1 simple reason - it is flexible enough to have just as much typing as you want in every case. Is there any other popular language that can be statically and dynamically typed at the same time?
- zwnow 3y ago"Not sure what you mean by “clearest”, but TypeScript is the best typing system ever invented." That's a very bold statement for a Javascript layer that allows unsound typing behavior. While Typescript introduces some typing functionality please do not compare it to actual languages that type check properly.
- aristofun 3y agoSorry, we, simple down to earth developers, have had enough of that "sound" bullsh*t! :)