TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Ask HN: Which language has the clearest type syntax?

6 点作者 r2b2超过 1 年前
Or, what would be your ideal type syntax?

5 条评论

ttymck超过 1 年前
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_超过 1 年前
Elm has a great implementation of typing - from definition to enforcement to error messages.
aristofun超过 1 年前
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 未加载
mikewarot超过 1 年前
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.
wscourge超过 1 年前
There&#x27;s Idris, designed to encourage &quot;Type-Driven Development&quot;.