文件名称：cpstransformer:类型安全 CPS 转换的实现
文件大小：4KB
文件格式：ZIP
更新时间：2024-06-21 00:50:14
Haskell
cps变压器 类型安全 CPS 转换的实现 建造 $ ghc -o cpstransformer Main.hs 例子 $ ./cpstransformer \( x::o) - > x Parsed: \( x :: o) - > x TypeCheck : OK CPS : ( \( x :: o - > (o - > o) - > o) - > end) ( \( x :: o) - > \( k :: o - > o) - > k x) \( a :: o) - > ( \( x :: o - > o) - > x a) ( \( b :: o) - > b) Parsed: \( a :: o) - > ( \( x :: o - > o) - > x a) ( \( b :: o) - > b) TypeCheck : OK CPS : ( \( x :: o - > (o
【文件预览】：
cpstransformer-master
----TypeCheck.hs(1KB)
----Syntax.hs(2KB)
----Parser.hs(1KB)
----.gitignore(134B)
----README.md(808B)
----Main.hs(764B)
----PrettyPrint.hs(757B)