《[fwd]什么是Monad?》的相关内容

声明:我没有学过Haskell, 甚至连GHC都是刚下下来还没弄清楚怎么用。对于Haskell一些特性的认识只是这几天通过AlbertLee的翻译稿作了一些很初步的摸索(这里要非常感谢AlbertLee让我节省了不少找资料的时间)。下面文章中涉及Haskell的相关内容很多Haskell的知识只是我从CategoryTheroy角度作出的一些猜测,如果这些地方有错误或者无法说清的地方还是要请学习过 ...

学了一年多haskell了， 对monad依然很是头疼，翻译是最好的学习，所以开始翻译这篇教程。也算为国内贡献份文裆。 刚开始，翻了头两章，以后争取两天一章的进度。 http://www.kamang.net/node/144

函数的副作用及其他 Pure Function、Impure Function、副作用、Referential Transparent 纯函数（Pure Function）是这样一种函数——输入输出数据流全是显式（Explicit）的。 显式（Explicit）的意思是，函数与外界交换数据只有一个唯一渠道——参数和返回值；函数从函数外部接受的所有输入信息都通过参数传递到该函数内部；函数输出到函数 ...

借着trustno1开坛讲学的春风, 我结合java做了一个动态类型的functional库. 目标如下: 1. reference transparent. 所有的函数本身都是immutable的. 虽然用户函数内部或许会有副作用, 但是库本身不产生任何副作用. 2. currying. 比如一个int f(int i, int j);的函数, f(1)就是一个int->int->i ...

http://www-900.ibm.com/developerWorks/cn/java/j-fp/ 这篇东西，用java大致描述了一下FP的概念，但是由于Java本身的限制很多东西说的很不清楚。翻译很差劲，不过就着代码还能看得懂。有什么问题，尽管提问吧。

原帖在这里 http://www.javaeye.com/topic/177402 经过Lichray组长指点.修改版本如下. 函数的副作用及其他 Pure Function、Impure Function、副作用、Referential Transparent 纯函数（Pure Function）是这样一种函数——输入输出数据流全是显式（Explicit）的。 显式（Explicit）的意 ...

其实应该问“一个有关 Haskell Time 的问题”，只是因为需要用 Time 来作随机数种子。Haskell 的 Time 好像都是 Monad 包装的，只能在 IO 环境下用。我现在不想使用 IO 环境就是那个 do 什么的，想用类似 random 的延续风格的 Time，有这样的调用吗？如果标准库里没有，有什么办法能使数据脱离 IO Monad，即把类似 IO Int 的类型转成 Int ...

有谁对CPS比较熟的？帮忙介绍一下吧，我看yaht看晕了。 Thank you!