文件名称:
STLC_2Cap:这是将第二类能力形式化为简单型lambda演算的形式的仓库-源码
开发工具:
文件大小: 83kb
下载次数: 0
上传时间: 2021-03-10
详细说明：具有无限生命周期的二等值
一流的功能以牺牲静态保证为代价，大大提高了表达能力。
在ALGOL或PASCAL中，可以将函数作为参数传递，但永远不要逃脱其定义范围。 因此，函数自变量可以用作临时访问令牌或功能，使被调用方可以执行某些操作，但只能在调用过程中执行。
在现代语言中，此类编程模式不再可用。
这项工作的主要目的是在现代语言中与一流实体一起重新引入二等功能和其他价值。
该Scala编译器插件公开了一种编程模型，以对某些对象强制执行不转义策略。
有许多潜在用途：
效果：对象可以充当功能。 但是我们必须限制保持控制的能力范围。 与Monad相比，后者表现不佳。
基于区域的内存：及时释放和/或重用内存（请注意，我们并非旨在针对所有分配，而是针对大块内存）。
资源控制：确保正确关闭诸如文件句柄之类的资源。
分期：示波器挤压。 我们必须限制绑定器的范围，以保证类型良好的生成代码。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
