跳至内容

Lancern's Blog

Programming life

  • Home
  • Archive
  • About Me
  • RSS

tapl

TaPL Chapter 8 – Typed Arithmetic Expressions

11月 2, 20222月 20, 2022 作者 Lancern

前面提到,对于第三章引入的 untyped lambda calculus,对一个 term 进行求值可能会有 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

TaPL Chapter 6 – Nameless Representation of Terms

11月 2, 202210月 9, 2021 作者 Lancern

在第五章中引入的 untyped pure lambda-calculus 中,所有的变量都有一个符号名称,例 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

TaPL Chapter 5 – The Untyped Lambda-Calculus

11月 2, 20228月 27, 2021 作者 Lancern

本章从零开始,完整地介绍了 untyped pure lambda-calculus 的 syntax、求值规 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

TaPL Chapter 3 – Untyped Arithmetic Expressions

11月 2, 20228月 24, 2021 作者 Lancern

本章给出了一个非常简单的 mini language,其 abstract syntax 如下: 围绕这样一个 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

Latest Posts

  • 定制点对象和 tag_invoke
  • dynamic_cast 的实现方法分析以及性能优化
  • TaPL Chapter 8 – Typed Arithmetic Expressions
  • 在 2022 年使用 Notion 管理博客文章
  • TaPL Chapter 6 – Nameless Representation of Terms

Categories

  • books
  • c++
  • tools
  • Uncategorized

Link to My Friends

  • QuarticCat's Blog
  • Spencer Woo
  • Wandai Blog

Contact me if you want to join this list.

DigitalOcean Referral Badge
© 2023 Lancern's Blog • Built with GeneratePress