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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

Clarity: A Decidable Language for Smart Contracts

6 点作者 muneeb将近 5 年前

2 条评论

freedaemon将近 5 年前
Saw this earlier and found this post to be a useful introduction: <a href="https:&#x2F;&#x2F;continuations.com&#x2F;post&#x2F;620550894200684544&#x2F;meet-clarity" rel="nofollow">https:&#x2F;&#x2F;continuations.com&#x2F;post&#x2F;620550894200684544&#x2F;meet-clari...</a>
friedger将近 5 年前
Clarity has lots of brackets. I like that the file&#x2F;document is the contract, like back in the days for Curl Content Language.