文件名称：racket-monad:球拍的单子（！）
文件大小：22KB
文件格式：ZIP
更新时间：2024-06-26 12:20:44
Racket
Racket 中的 Monad，一种动态类型语言 这个库展示了一种以动态类型语言处理 monad 的方法，包括一种实现返回类型多态的方法。 它开始是一个实验，记录在，查看动机和与其他方法的比较等。 代码使用的功能代替 Haskell 的类型类。 这里采用的方法采用两种技术：(1) monad 表示之间的强制转换，以及 (2) “未定”准 monadic 占位符值。 综合起来，这些给动态类型语言中的 monad 带来了类似于 Haskell 的感觉。 这些技术使用 Racket 进行了说明，但并非特定于 Racket。 例子 接近尾声时给出了一个挑战问题。 它使用了许多不同类型的 monad，使用了他开发的单态技术： (IO::run (IO::>> (put-line " Enter a number: " ) (IO::>>= (read-int)
【文件预览】：
racket-monad-master
----lgpl.txt(7KB)
----gpl.txt(34KB)
----monad()
--------main.rkt(7KB)
--------state.rkt(952B)
--------io.rkt(1KB)
--------examples()
----.gitignore(10B)
----Makefile(230B)
----README.md(3KB)
----info.rkt(71B)