lambda演算解释器 什么: 用C ++编写的小型lambda演算解释器。 它支持α转换和β减少,以及精确跟踪替换和重命名的输出。 如何: 支持标准的lambda演算语法,例如: (λz.(((λx.(λy.x)) z) ((λx.(λy.x)) z))) 请注意,变量名称可以是多字符,因此必须用空格分隔。 支持用于多参数函数的语法糖: λx y.x == λx.λy.x 还支持Haskell风格的lambda语法,因为没有人知道如何键入λ: \x y -> x == \x -> \y -> x 还支持let绑定: let S = \x y z -> x z (y z) let K = \x y -> x let I = \x -> x S K K == I 如果使用了FLAG_VAR_REPLACEMENT标志(与:v切换),则解释器将尝试通过使用alpha等效性FLAG_
2023-01-17 17:32:04 157KB C++
1
ZigBee堆栈是在IEEE 802.15.4标准基础上建立的,定义了协议的MAC和PHY层。ZigBee设备应该包括IEEE802.15.4(该标准定义了RF射频以及与相邻设备之间的通信)的PHY和MAC层,以及ZigBee堆栈层:网络层(NWK)、应用层和安全服务提供层。
2023-01-12 10:50:55 3.03MB ZigBee协议栈
1
序列化与反序列化 序列化:把对象转换为字节序列的过程。 反序列化:把字节序列恢复为对象的过程。 举个例子,在JVM中,对象是以一定形式存在于内存中,然后被JVM识别从而可以以“对象”的方式是用它。那么序列化是什么呢,简单来说就是把内存中的对象的状态先以一种方式导出保存下来以便今后在某地方能够继续使用它。 序列化的组件 IDL(Interface description language)文件:参与通讯的各方需要对通讯的内容需要做相关的约定(Specifications)。为了建立一个与语言和平台无关的约定,这个约定需要采用与具体开发语言、平台无关的语言来进行描述。这种语言被称为接口描述语言(I
2023-01-11 15:45:31 57KB protobuf 序列化 方法
1
芯片、集成电路、系统芯片(SoC)、集成电路设计、硅片制造、EMS、流片等等……
2023-01-11 15:25:12 38KB IC 名词解释 名词
1
摘要尽管机器学习在许多领域取得了巨大的成功,但缺乏可解释性严重限制了其在现实任务尤其是安全敏感任务中的广泛应用.为了克服这一弱点,许多学者对如何提高机器学习模型
2023-01-09 11:10:44 5.41MB
1
详解详解python编译器和解释器的区别编译器和解释器的区别高级语言不能直接被机器所理解执行,所以都需要一个翻译的阶段,解释型语言用到的是解释器,编译型语言用到
2023-01-09 09:50:13 38KB python python编译器 编程语言
1
CRC校验原理解释以及范例 CRC校验原理解释以及范例 CRC校验原理解释以及范例
2023-01-05 20:16:48 157KB CRC 校验
1
成语数据库下载。包含30000多个成语,带拼音,解释,出处,示例。 已经包含创建表的sql,直接用工具导入到数据库里面就可以了。 字段name 为成语 字段 `spell` 为拼音 字段`content`为解释 字段 `derivation` 为成语出处 字段`samples` 示例 INSERT INTO `cy` VALUES (46, '插翅难飞', 'chā chì nán fēi', '插上翅膀也难飞走。比喻陷入困境,怎么也逃不了。', '唐·韩愈《寄崔二十六立之》诗:“安有巢中鷇,插翅飞天陲。”', '则不与他城子,便相如插翅也飞不出函谷关去。(元·高文秀《保成公径赴渑池会》第一折)'); INSERT INTO `cy` VALUES (47, '长安道上', 'cháng ān dào shàng', '长安:古都名,在今陕西西安西北。旧喻名利场所。', '五代·无名氏《贺圣朝》词:“长安道上行客,依旧利深名切。”', NULL); INSERT INTO `cy` VALUES (48, '长夜漫漫', 'cháng yè màn màn',
2023-01-05 17:17:18 3.62MB 成语数据库下载 3万多个成语数据
1
高等教育质量国民经济的发展起着重要的作用,是各高校工作任务的重心。当下我国高等教育已经进入到快速发展的阶段,系统分析影响高等教育质量因素十分有必要。本文采用解释结构模型(ISM)对影响我国高等教育质量的因素进行了深入分析,以便用于指导实践。
2023-01-05 09:34:25 299KB 行业研究
1
VBA程序解释器_修正版
2023-01-04 15:17:26 509KB VBA
1