您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. STLC_2Cap:这是将第二类能力形式化为简单型lambda演算的形式的仓库-源码

  2. 具有无限生命周期的二等值 一流的功能以牺牲静态保证为代价,大大提高了表达能力。 在ALGOL或PASCAL中,可以将函数作为参数传递,但永远不要逃脱其定义范围。 因此,函数自变量可以用作临时访问令牌或功能,使被调用方可以执行某些操作,但只能在调用过程中执行。 在现代语言中,此类编程模式不再可用。 这项工作的主要目的是在现代语言中与一流实体一起重新引入二等功能和其他价值。 该Scala编译器插件公开了一种编程模型,以对某些对象强制执行不转义策略。 有许多潜在用途: 效果:对象可以充当功
  3. 所属分类:其它

    • 发布日期:2021-03-10
    • 文件大小:84992
    • 提供者:weixin_42097557