LM 是一种新的函数式编程语言，其名称来自倒退拼写的 ML。它支持具有可扩展类型系统的类型和非类型化 lambda 演算。语法主要是普通的 Lambda 演算，带有一些自然扩展来支持模式匹配和解构。
数据结构是任何语言编程的重要组成部分。在LM中，数据结构可以分解为列表和文字。列表使用括号语法构造，并与函数应用程序的定义重叠。如果函数应用程序的第一项不是函数，则应用程序将只是坐着，永远不会被进一步评估，从而创建一个列表数据结构。文本是可以通过比较或解构操作进行操作的字符串。
不需要显式声明新类型。带有映射函数的二叉树数据结构可以定义如下。
地图 ：= λf （树 l r）.（树（地图 f l） （地图 f r）） 地图 ：= λf （叶 x）。（叶子（f x））
此代码使用以文本为前缀的列表。此模式通常称为标记元组。对于优化传递，编译器应该能够推断出的类型并相应地进行优化。每个标签文本将转换为数字类型，以便进行有效比较。map
这个令人惊讶的简短部分结束了我们对LM中数据结构的介绍。
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。