Or, what would be your ideal type syntax?
Ask HN: Which language has the clearest type syntax?
1–8 of 8 posts
Re: Ask HN: Which language has the clearest type syntax?
#2There's Idris, designed to encourage "Type-Driven Development".
Re: Ask HN: Which language has the clearest type syntax?
#3Not 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?
Re: Ask HN: Which language has the clearest type syntax?
#4Not 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?
"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.
Re: Ask HN: Which language has the clearest type syntax?
#5Not 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?
"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.
Sorry, we, simple down to earth developers, have had enough of that "sound" bullsh*t! :)
Re: Ask HN: Which language has the clearest type syntax?
#6Elm has a great implementation of typing - from definition to enforcement to error messages.
Re: Ask HN: Which language has the clearest type syntax?
#7I 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.
Re: Ask HN: Which language has the clearest type syntax?
#8I 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.