文件名称:hs-lisp:一种简单的函数式语言,具有用Haskell编写的类似Lisp的语法
文件大小:12KB
文件格式:ZIP
更新时间:2024-05-25 23:24:08
Haskell
hs-lisp 一种简单的功能性玩具语言,具有用Haskell编写的类似Lisp的语法(受Haskell的启发) 什么有效: 类型推断 λ演算 用户定义的数据类型(目前仅具有类型变量) 模式匹配 去做: 类型文字 解析器错误(ExeptT转换器) 宏观系统 依赖类型 类型类 语法可能会更改 懒惰 例子: 数据类型定义: (data (Maybe a) [Just a] [Nothing]) 具有模式匹配的Lambda: (def fromJust (\(Just x).x)) (def fmap (\f (Just x). (Just (f x)))) 具有多种模式的功能 (data (Bool) [True] [False]) (def or ( [True x] True [False x] x )) (def and ( [True x] x
【文件预览】:
hs-lisp-master
----src()
--------Parser.hs(2KB)
--------Main.hs(399B)
--------Language.hs(6KB)
--------Evaluator.hs(6KB)
--------Types.hs(7KB)
--------corelib.code(1KB)
--------Interpreter.hs(2KB)
----examples()
--------tuple.code(215B)
--------either.code(138B)
--------recursion.code(117B)
--------lists.code(400B)
--------corelib.code(320B)
----README.md(1KB)