首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏零域Blog

    「SF-LC」14 ImpCEvalFun

    this approach of let-binding became so popular in ML family.

    61210编辑于 2022-03-14
  • 来自专栏零域Blog

    「SF-PLF」9 MoreStlc

    | let x=t in t let-binding Reduction: t1 --> t1'

    62420编辑于 2022-03-02
  • 来自专栏程序人生

    来来来,咱们元编程入个门

    lisp 没有提供类似于 bind_quoted 的方法,但是,我们可以使用 let-binding 对 unquoted AST 进行绑定和重复使用。

    1.2K100发布于 2018-03-28
  • 来自专栏零域Blog

    「SF-LC」12 Imp

    this approach of let-binding became so popular in ML family.

    2K20编辑于 2022-03-14
领券