当前位置: 首页 > news >正文

用 C 语言开发一门编程语言 — 函数库的设计与实现

目录

文章目录

  • 目录
  • 前言
  • 前文列表
  • 基础功能演示
    • 数字运算
    • 变量与代数运算
    • 列表处理
    • Lambda 函数
    • 条件分支
    • 字符串
    • 源文件加载
  • 函数库
    • 列表处理函数库
    • 条件分支函数库
    • 数学库

前言

通过开发一门类 Lisp 的编程语言来理解编程语言的设计思想,本实践来自著名的《Build Your Own Lisp》。

  • 代码实现:https://github.com/JmilkFan/Lispy

前文列表

《用 C 语言开发一门编程语言 — 交互式解析器》
《用 C 语言开发一门编程语言 — 语法解析器运行原理》
《用 C 语言开发一门编程语言 — 波兰表达式解析器》
《用 C 语言开发一门编程语言 — 表达式存储器》
《用 C 语言开发一门编程语言 — 符号表达式解析器》
《用 C 语言开发一门编程语言 — 引用表达式解析器》
《用 C 语言开发一门编程语言 — 变量的设计与实现》
《用 C 语言开发一门编程语言 — 基于 Lambda 表达式的函数设计与实现》
《用 C 语言开发一门编程语言 — 条件分支的设计与实现》
《用 C 语言开发一门编程语言 — 字符串的设计与实现》

基础功能演示

目前为止,我们开发的编程语言已经拥有了以下功能:

  1. 交互式解析器界面;
  2. MPC 语法解析器;
  3. 基于波兰表达式的数字运算;
  4. 基于符号表达式的代数运算;
  5. 基于引用表达式的变量;
  6. 基于 Lambda 表达式的函数;
  7. 条件分支逻辑控制语句;
  8. 文件加载;
  9. 等等。

在本文中,我们将完整的演示上述技术功能,并尝试通过预定义一些常用的函数库来辅助编程。

数字运算

lispy> + 4 5  // 4+5
9
lispy> - 8 3  // 8-3
5
lispy> * 6 2  // 6 * 2
12
lispy> / 10 5  // 10/5
2
lispy> / 10 0  // 10/0
Division By Zero!
lispy> - (* 10 10) (+ 1 1 1)  // (10*10) - (1+1+1)
97

变量与代数运算

lispy> def {x} 1
()
lispy> + x 1
2
lispy> def {y} 2
()
lispy> + x y
3
lispy> def {a b} 2 3
()
lispy> + a b
5
lispy> + x (* a b) y  // x + (a * b) + y
9
lispy> def {arglist} {a b c d}
()
lispy> def arglist 1 2 3 4
()
lispy> list a b c d
{1 2 3 4}

列表处理

lispy> def { l1 } {1 2 3}
()
lispy> def { l2 } {4 5 6}
()
lispy> head l1
{1}
lispy> tail l1
{2 3}
lispy> join l1 l2
{1 2 3 4 5 6}
lispy> list l1 l1
{{1 2 3} {1 2 3}}
lispy> eval {+ 1 2 3}
6

Lambda 函数

lispy>  def {add-mul} (\ {x y} {+ x (* x y)})
()
lispy> add-mul 10 20
210
lispy> add-mul 30 40
1230
lispy> def {add-mul-ten} (add-mul 10)
()
lispy> add-mul-ten 50
510

条件分支

lispy> def {x y} 100 200
()
lispy> if (== x y) {+ x y} {- x y}
-100
lispy> if (< x y) {+ x y} {- x y}
300

字符串

lispy> print "Hello World!"
"Hello World!"
()
lispy> error "This is an error!"
This is an error!

源文件加载

$ cat hello.lspy
(print "hello world.")$ main hello.lspy
"hello world."

函数库

列表处理函数库

  • list.lspylib
; 空类型
(def {nil} {}); 布尔类型
(def {true} 1)
(def {false} 0); 函数定义 Lambda 表达式
(def {fun} (\ {f b} {def (head f) (\ (tail f) b)
})); 取列表中的第一、二、三项
(fun {fst l} { eval (head l) })
(fun {snd l} { eval (head (tail l)) })
(fun {trd l} { eval (head (tail (tail l))) }); 获取列表长度
(fun {len l} {if (== l nil){0}{+ 1 (len (tail l))}
}); 取列表中的第 n 项
(fun {nth n l} {if (== n 0){fst l}{nth (- n 1) (tail l)}
}); 取列表中的最后一项
(fun {last l} {nth (- (len l) 1) l}); 取列表中的前 n 项
(fun {take n l} {if (== n 0){nil}{join (head l) (take (- n 1) (tail l))}
}); 删除列表中的前 n 项
(fun {drop n l} {if (== n 0){l}{drop (- n 1) (tail l)}
}); 从第 n 项分裂列表
(fun {split n l} {list (take n l) (drop n l)}); 取元素的 idx
(fun {elem x l} {if (== l nil){false}{if (== x (fst l)) {true} {elem x (tail l)}}
}); Map 函数:所有列表元素执行相同的操作
(fun {map f l} {if (== l nil){nil}{join (list (f (fst l))) (map f (tail l))}
}); Filter 函数:根据过滤条件进行元素过滤
(fun {filter f l} {if (== l nil){nil}{join (if (f (fst l)) {head l} {nil}) (filter f (tail l))}
}); Fold Left 函数:向左折叠逐一执行指定函数操作
(fun {foldl f z l} {if (== l nil){z}{foldl f (f z (fst l)) (tail l)}
}); 向左折叠求和
(fun {sum l} {foldl + 0 l})
; 向左折叠求积
(fun {product l} {foldl * 1 l})

应用:列表处理。

lispy> load "./samples/list.lspylib"
()
lispy> def {l1} {1 2 3 4 5 6}
()
lispy> len l1
6
lispy> nth 2 l1
3
lispy> last l1
6
lispy> take 3 l1
{1 2 3}
lispy> def {l2} (drop 4 l1)
()
lispy> l2
{5 6}
lispy> split 5 l1
{{1 2 3 4 5} {6}}
lispy> elem 1 l1
1
lispy> elem 7 l1
0
lispy> map (\ {x} {+ x 10}) {5 2 11}  // 所有元素的数值 +10
{15 12 21}
lispy> filter (\ {x} {> x 2}) {5 2 11 -7 8 1}  // 过滤出 >2 的元素
{5 11 8}
lispy> sum l1      // 求和
21
lispy> product l1  // 求积
720

条件分支函数库

  • condition.lspylib
; 空类型
(def {nil} {}); 布尔类型
(def {true} 1)
(def {false} 0); 函数定义 Lambda 表达式
(def {fun} (\ {f b} {def (head f) (\ (tail f) b)
})); 取列表中的第一、二、三项
(fun {fst l} { eval (head l) })
(fun {snd l} { eval (head (tail l)) })
(fun {trd l} { eval (head (tail (tail l))) }); Unpack List for Function
(fun {unpack f l} {eval (join (list f) l)
})
; Pack List for Function
(fun {pack f & xs} {f xs}); switch 关键字
(fun {switch & cs} {if (== cs nil){error "No Selection Found"}{if (fst (fst cs)) {snd (fst cs)} {unpack switch (tail cs)}}
}); default 关键字
(def {default} true); case 关键字
(fun {case x & cs} {if (== cs nil){error "No Case Found"}{if (== x (fst (fst cs))) {snd (fst cs)} {unpack case (join (list x) (tail cs))}}
}); 条件选择月份后缀函数
(fun {month-day-suffix i} {switch{(== i 0)  "st"}{(== i 1)  "nd"}{(== i 3)  "rd"}{default   "th"}
}); 条件选择星期几函数
(fun {day-name x} {case x{0 "Monday"}{1 "Tuesday"}{2 "Wednesday"}{3 "Thursday"}{4 "Friday"}{5 "Saturday"}{6 "Sunday"}
})
  • 应用:switch/case 语句。
lispy> load "./samples/condition.lspylib"
()
lispy> month-day-suffix 1
"nd"
lispy> month-day-suffix 2
"th"
lispy> day-name 0
"Monday"
lispy> day-name 1
"Tuesday"

数学库

  • fibonacci.lspylib
; 空类型
(def {nil} {}); 布尔类型
(def {true} 1)
(def {false} 0); 函数定义 Lambda 表达式
(def {fun} (\ {f b} {def (head f) (\ (tail f) b)
})); 取列表中的第一、二、三项
(fun {fst l} { eval (head l) })
(fun {snd l} { eval (head (tail l)) })
(fun {trd l} { eval (head (tail (tail l))) }); Unpack List for Function
(fun {unpack f l} {eval (join (list f) l)
})
; Pack List for Function
(fun {pack f & xs} {f xs}); switch 关键字
(fun {switch & cs} {if (== cs nil){error "No Selection Found"}{if (fst (fst cs)) {snd (fst cs)} {unpack switch (tail cs)}}
}); default 关键字
(def {default} true); Fibonacci
(fun {fib n} {switch{ (== n 0) 0 }{ (== n 1) 1 }{ default (+ (fib (- n 1)) (fib (- n 2))) }
})
  • 应用:
lispy> load "./samples/fibonacci.lspylib"
()
lispy>
()
lispy> fib 10
55
lispy> fib 20
6765

相关文章:

用 C 语言开发一门编程语言 — 函数库的设计与实现

目录 文章目录目录前言前文列表基础功能演示数字运算变量与代数运算列表处理Lambda 函数条件分支字符串源文件加载函数库列表处理函数库条件分支函数库数学库前言 通过开发一门类 Lisp 的编程语言来理解编程语言的设计思想&#xff0c;本实践来自著名的《Build Your Own Lisp》…...

网络层IP协议与数据链路层以太网协议

文章目录一、IP协议IP地址地址管理路由选择DNS二、以太网协议以太网帧MTU一、IP协议 IP协议是我们网络层的代表协议&#xff0c;今天我们就来一起学习一下吧&#xff0c;我们这里介绍的主要是IPv4协议。 版本&#xff1a;指定IP协议的版本&#xff0c;版本的取值只有4&#x…...

JDK动态代理详解

1.什么是动态代理 可能很多小伙伴首次接触动态代理这个名词的时候&#xff0c;或者是在面试过程中被问到动态代理的时候&#xff0c;不能很好的描述出来&#xff0c;动态代理到底是个什么高大上的技术。不方&#xff0c;其实动态代理的使用非常广泛&#xff0c;例如我们平常使用…...

实时的软件生成 —— Prompt 编程打通低代码的最后一公里?

PS&#xff1a;这也是一篇畅想&#xff0c;虽然经过了一番试验&#xff0c;依旧有一些不足&#xff0c;但是大体上站得住脚。传统的软件生成方式需要程序员编写大量的代码&#xff0c;然后进行测试、发布等一系列繁琐的流程。而实时生成技术则是借助人工智能技术&#xff0c;让…...

互联网工程师 1480 道 Java 面试题及答案整理 ( 2023 年 整理版)

最近很多粉丝朋友私信我说&#xff1a;熬过了去年的寒冬却没熬过现在的内卷&#xff1b;打开 Boss 直拒一排已读不回&#xff0c;回的基本都是外包&#xff0c;薪资还给的不高&#xff0c;对技术水平要求也远超从前&#xff1b;感觉 Java 一个初中级岗位有上千人同时竞争&#…...

Spark开发

第一步&#xff1a;创建RDD Spark提供三种创建RDD方式&#xff1a;** 集合、本地文件、HDFS文件** 使用程序中的集合创建RDD&#xff0c;主要用于进行测试&#xff0c;可以在实际部署到集群运行之前&#xff0c;自己使用集合构造一些测试数据&#xff0c;来测试后面的spark应…...

Tornado异步框架

简介&#xff1a; tornado是Python的web框架。tornado和主流的web服务器框架有明显的区别&#xff1a;它是非阻塞式服务器&#xff0c;而且速度非常快&#xff0c;得力于其非阻塞的方式和epoll的运用tornado可以每秒处理数以千计的连接&#xff08;号称&#xff09; 基本配置 …...

openpnp - error - 吸嘴没下降到板子上, 就将元件松开

文章目录openpnp - error - 吸嘴没下降到板子上, 就将元件松开概述笔记ENDopenpnp - error - 吸嘴没下降到板子上, 就将元件松开 概述 以前用过国内一家openpnp厂家出的设备, 他们家的openpnp是自己改过的. 贴片流程已经走过一遍. 这次还是按照以前记录的笔记, 按照国内那家的…...

【Java】yyyy-MM-dd HH:mm:ss 时间格式 时间戳 全面解读超详细

时间格式 时间格式(协议)描述gg时期或纪元。y不包含纪元的年份。不具有前导零。yy不包含纪元的年份。具有前导零。yyyy包含纪元的四位数的年份。M月份数字。一位数的月份没有前导零。MM月份数字。一位数的月份有一个前导零。MMM月份的缩写名称&#xff0c;在AbbreviatedMonthN…...

快鲸SCRM发布口腔企业私域运营解决方案

口腔企业普遍面临着以下几方面运营痛点问题 1、获客成本居高不下&#xff0c;恶性竞争严重 2、管理系统落后&#xff0c;人员流失严重 3、客户顾虑多、决策时间长 4、老客户易流失&#xff0c;粘性差 以上这些痛点&#xff0c;不得不倒逼口腔企业向精细化运营客户迈进。 …...

Verilog实现组合逻辑电路

在verilog 中可以实现的数字电路主要分为两类----组合逻辑电路和时序逻辑电路。组合逻辑电路比较简单&#xff0c;仅由基本逻辑门组成---如与门、或门和非门等。当电路的输入发生变化时&#xff0c;输出几乎&#xff08;信号在电路中传递时会有一小段延迟&#xff09;立即就发生…...

2023前端菜鸟笔试血泪史html5-one--找到工作前都更新

1.说说对html语义化的理解 什么的HTML语义化&#xff0c;顾名思义&#xff0c;HTML语义化就是可以不通过了解HTML的内容&#xff0c;就可以知道这个部分所代表的的意义。 HTML语义化的意义&#xff1a;在使用HTML标签构建页面时&#xff0c;避免大篇幅的使用无语义的标签。 …...

蓝牙调试工具集合汇总

BLE 该部分主要分享一下常用的蓝牙调试工具&#xff0c;方便后续蓝牙抓包及分析。 目录 1 hciconfig 2 hcitool 3 hcidump 4 hciattach 5 btmon 6 bluetoothd 7 bluetoothctl 1 hciconfig 工具介绍&#xff1a;hciconfig&#xff0c;HCI 设备配置工具 命令格式&…...

Java 获取文件后缀名【一文总结所有方法】

✅作者简介&#xff1a;2022年博客新星 第八。热爱国学的Java后端开发者&#xff0c;修心和技术同步精进。 &#x1f34e;个人主页&#xff1a;Java Fans的博客 &#x1f34a;个人信条&#xff1a;不迁怒&#xff0c;不贰过。小知识&#xff0c;大智慧。 &#x1f49e;当前专栏…...

UML常见图的总结

一、概述 UML&#xff1a;Unified Modeling Language&#xff0c;统一建模语言&#xff0c;支持从需求分析开始的软件开发的全过程。是一个支持模型化和软件系统开发的图形化语言、为软件开发的所有阶段提供模型化和可视化支持&#xff0c;包括由需求分析到规格&#xff0c;到…...

WebRTC系列-工具系列之音频相关工具

文章目录 1. audio_util数据格式转换类2. WavFile文件读写类2.1 读取wav文件2.2 写入wav文件这篇文章主要介绍WebRTC中一些音频工具这些,大部分都在 common_audio目录下,这个文件夹下提供音频的大量算法,包括sinc重采样算法,音频数据格式的转换:例如 float转int16_t格式等…...

7 线性回归及Python实现

1 统计指标 随机变量XXX的理论平均值称为期望: μE(X)\mu E(X)μE(X)但现实中通常不知道μ\muμ, 因此使用已知样本来获取均值 X‾1n∑i1nXi.\overline{X} \frac{1}{n} \sum_{i 1}^n X_i. Xn1​i1∑n​Xi​.方差variance定义为&#xff1a; σ2E(∣X−μ∣2).\sigma^2 E(|…...

适合小团队协作、任务管理、计划和进度跟踪的项目任务管理工具有哪些?

适合小团队协作、任务管理、计划和进度跟踪的项目任务管理工具有哪些? 大家可以参考这个模板&#xff1a;http://s.fanruan.com/irhj8管理项目归根结底在管理人、物&#xff0c;扩展来说便是&#xff1a; 人&#xff1a;员工能力、组织机制&#xff1b; 物&#xff1a;项目内…...

从100%进口到自主可控,从600块降到10块,中科院攻克重要芯片

前言 2月28日&#xff0c;“20多位中科院专家把芯片价格打到10块”冲上微博热搜&#xff0c;据河南省官媒大象新闻报道&#xff0c;热搜中提到的中科院专家所在企业为全球最大的PLC分路器芯片制造商仕佳光子&#xff0c;坐落于河南鹤壁。 为实现芯片技术自主可控自立自强&#…...

关于git的一些基本点总结

1.什么是git? git是一个常用的分布式版本管理工具。 2.git 的常用命令: clone&#xff08;克隆&#xff09;: 从远程仓库中克隆代码到本地仓库 checkout &#xff08;检出&#xff09;:从本地仓库中检出一个仓库分支然后进行修订 add&#xff08;添加&#xff09;: 在提交前…...

iOS 26 携众系统重磅更新,但“苹果智能”仍与国行无缘

美国西海岸的夏天&#xff0c;再次被苹果点燃。一年一度的全球开发者大会 WWDC25 如期而至&#xff0c;这不仅是开发者的盛宴&#xff0c;更是全球数亿苹果用户翘首以盼的科技春晚。今年&#xff0c;苹果依旧为我们带来了全家桶式的系统更新&#xff0c;包括 iOS 26、iPadOS 26…...

stm32G473的flash模式是单bank还是双bank?

今天突然有人stm32G473的flash模式是单bank还是双bank&#xff1f;由于时间太久&#xff0c;我真忘记了。搜搜发现&#xff0c;还真有人和我一样。见下面的链接&#xff1a;https://shequ.stmicroelectronics.cn/forum.php?modviewthread&tid644563 根据STM32G4系列参考手…...

【人工智能】神经网络的优化器optimizer(二):Adagrad自适应学习率优化器

一.自适应梯度算法Adagrad概述 Adagrad&#xff08;Adaptive Gradient Algorithm&#xff09;是一种自适应学习率的优化算法&#xff0c;由Duchi等人在2011年提出。其核心思想是针对不同参数自动调整学习率&#xff0c;适合处理稀疏数据和不同参数梯度差异较大的场景。Adagrad通…...

23-Oracle 23 ai 区块链表(Blockchain Table)

小伙伴有没有在金融强合规的领域中遇见&#xff0c;必须要保持数据不可变&#xff0c;管理员都无法修改和留痕的要求。比如医疗的电子病历中&#xff0c;影像检查检验结果不可篡改行的&#xff0c;药品追溯过程中数据只可插入无法删除的特性需求&#xff1b;登录日志、修改日志…...

PPT|230页| 制造集团企业供应链端到端的数字化解决方案:从需求到结算的全链路业务闭环构建

制造业采购供应链管理是企业运营的核心环节&#xff0c;供应链协同管理在供应链上下游企业之间建立紧密的合作关系&#xff0c;通过信息共享、资源整合、业务协同等方式&#xff0c;实现供应链的全面管理和优化&#xff0c;提高供应链的效率和透明度&#xff0c;降低供应链的成…...

高等数学(下)题型笔记(八)空间解析几何与向量代数

目录 0 前言 1 向量的点乘 1.1 基本公式 1.2 例题 2 向量的叉乘 2.1 基础知识 2.2 例题 3 空间平面方程 3.1 基础知识 3.2 例题 4 空间直线方程 4.1 基础知识 4.2 例题 5 旋转曲面及其方程 5.1 基础知识 5.2 例题 6 空间曲面的法线与切平面 6.1 基础知识 6.2…...

linux 下常用变更-8

1、删除普通用户 查询用户初始UID和GIDls -l /home/ ###家目录中查看UID cat /etc/group ###此文件查看GID删除用户1.编辑文件 /etc/passwd 找到对应的行&#xff0c;YW343:x:0:0::/home/YW343:/bin/bash 2.将标红的位置修改为用户对应初始UID和GID&#xff1a; YW3…...

令牌桶 滑动窗口->限流 分布式信号量->限并发的原理 lua脚本分析介绍

文章目录 前言限流限制并发的实际理解限流令牌桶代码实现结果分析令牌桶lua的模拟实现原理总结&#xff1a; 滑动窗口代码实现结果分析lua脚本原理解析 限并发分布式信号量代码实现结果分析lua脚本实现原理 双注解去实现限流 并发结果分析&#xff1a; 实际业务去理解体会统一注…...

【HTML-16】深入理解HTML中的块元素与行内元素

HTML元素根据其显示特性可以分为两大类&#xff1a;块元素(Block-level Elements)和行内元素(Inline Elements)。理解这两者的区别对于构建良好的网页布局至关重要。本文将全面解析这两种元素的特性、区别以及实际应用场景。 1. 块元素(Block-level Elements) 1.1 基本特性 …...

Ascend NPU上适配Step-Audio模型

1 概述 1.1 简述 Step-Audio 是业界首个集语音理解与生成控制一体化的产品级开源实时语音对话系统&#xff0c;支持多语言对话&#xff08;如 中文&#xff0c;英文&#xff0c;日语&#xff09;&#xff0c;语音情感&#xff08;如 开心&#xff0c;悲伤&#xff09;&#x…...