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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

Declarative Computation, Syntactic Sugar, and the Abstract Machine

31 点作者 mrbbk将近 12 年前

2 条评论

mrbbk将近 12 年前
Also part of a series.<p>Chapter 01: <a href="http:&#x2F;&#x2F;michaelrbernste.in&#x2F;2013&#x2F;02&#x2F;19&#x2F;CTM-chapter-01.html" rel="nofollow">http:&#x2F;&#x2F;michaelrbernste.in&#x2F;2013&#x2F;02&#x2F;19&#x2F;CTM-chapter-01.html</a><p>On the paper that sums up the pedagogy: <a href="http:&#x2F;&#x2F;michaelrbernste.in&#x2F;2013&#x2F;02&#x2F;23&#x2F;notes-on-teaching-with-the-kernel-language-approach.html" rel="nofollow">http:&#x2F;&#x2F;michaelrbernste.in&#x2F;2013&#x2F;02&#x2F;23&#x2F;notes-on-teaching-with-...</a>
aufreak3将近 12 年前
Oz (the language presented in this article) is a language worth learning also for the unique way it formulates concurrency. Concurrent processes are coordinated through variables being realized - i.e. a process that requires a variable to be bound will block at the point it is required and when another process causes the variable to become bound, it will proceed. Its constraint programming facilities can be expressed very nicely using these constructs.
评论 #5895419 未加载