TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Ask HN: Which language has the clearest type syntax?

6 pointsby r2b2over 1 year ago
Or, what would be your ideal type syntax?

5 comments

ttymckover 1 year ago
I find Scala to be the most readable, but perhaps that&#x27;s only because it&#x27;s the one I learned typing and type level programming with.<p>Rust, by comparison, is much less readable to me, with very confusing ordering and operators. Although I&#x27;m sure someone can explain why it is superior to Scala in one way or another.
andrei_says_over 1 year ago
Elm has a great implementation of typing - from definition to enforcement to error messages.
aristofunover 1 year ago
Not sure what you mean by “clearest”, but TypeScript is the best typing system ever invented.<p>For 1 simple reason - it is flexible enough to have just as much typing as you want in every case.<p>Is there any other popular language that can be statically and dynamically typed at the same time?
评论 #38937863 未加载
mikewarotover 1 year ago
I think Free Pascal has the best syntax, it&#x27;s clear what&#x27;s what, and it has an insanely useful set of string types that just get handled for you. No malloc, free, etc.
wscourgeover 1 year ago
There&#x27;s Idris, designed to encourage &quot;Type-Driven Development&quot;.