《回albertLee:关于Category Theory 和Monad》的相关内容

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

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

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

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

发信人: faint (faint), 信区: FuncProgram 标 题: 什么是Monad(1): introduction 发信站: 水木社区 (Sun Oct 8 05:06:47 2006), 站内 在函数式编程里面，Monad是一个门槛。但是要解释“什么是monad”，这世界上没几个人 能一下讲清楚，因为涉及的背景知识太复杂。 介绍Monad可以被认为是一个"industr ...

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

为了搞懂Monad，在圈子下了资料。发现需要Haskell的基础。 没办法，就Haskell,翻到本《A Gentle Introduction to Haskell 98》.翻了两天，GHC、Hugs上倒腾点。有过Scheme、Erlang的浅薄接触，也就对前面部分的没有太大惊奇或触动。按捺不住，就像上JE来找找捷径。 Ajoo是高手，他关于Monad的那片文章，实在是微言大义。篇幅之长，自己心 ...

其实，前面我还忘了提一个非常重要的基本组合子：singleton。 这里补充提一下： [code:1]class SingletonComponent implements Component{ private final Component c; private Object val; public Class getType(){ ret ...

原帖在这里 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 ...

haskell里面是不是所有的函数都是lambda实现的？不然为什么 :t 操作符所返回的都是 lambda的表示,也就是说都是用lambda解释的. 呵呵，最好讲下haskell里的type.和java或c里面的不同. 还有在scheme中 ((lambda x (+ x 1))2) 要改成((lambda x (+ (car x) 1))2)这样的 解释下原因 我知道是把2当成 ...

首先是我们圈子 cookoo 写的 什么是 Monad？ 然后基本上就只剩英文的了，先看点视频比较有好处： Monads 1: Definition of monad. Some examples. Monads 2: Examples continuation. The monad for categories Monads 3: Algebras for monads Monads 3a: A ...

我们常常用与 f(a, b, c) == f(a)(b)(c) == f(a, b)(c) 类似的例子作为吸引Currying初学者的"Cookies"，结果，不幸的是，很多人就是这样认为的（更令人无语的是，专业人士也常常把他们的扩展写成这样，比如 Functional JavaScript 和 Scalar 的语法设计）。然而事实上，所谓的克里化应当是：(f(a)(b)(c)) == (f(a) ...

如何让JSON穿梭在服务器于浏览器之间 一个新的轮子,现在网络上充斥这一大堆的轮子.我也做了一个.一半是研究,一半是想做给自己用 目前实现的功能 1 JSON转换成java对象(按一定的规则提交) 什么意思呢,就是你能够将你在浏览其中提交的JSON直接转换成一个java对象供应用程序调用 2 java对象转换成JSON 可以将servlet中的java对象转换成一个JSON对象给浏览 ...

perl 创始人和 python 创始人 听译这东西的确很累人，一次翻译太多也很疲惫。 我尽量想在一篇博客中包含尽量多的内容，结果最终搞的自己兴趣全无了，下次看来还是应该一点一点的来。 我的听力还是不好，有一些东西没听出来我就不翻译了，大体意思上应该不会差很多的，希望大家见谅。 主持人: Chris DiBona （Google 开源网站负责人） and Leo Laporte （Tw ...

 在当前软件设计中最流行的要算GoF这本书中提出的各种设计模式。很多人认为，设计模式对于程序语言(特别是c++/Java)本身的不足之处或多或少有一些弥补，不过如果语言足够强大，模式也许没有必要。下面Peter Norvig的一个例子就非常有代表性。在有些语言中，使用设计模式在使代码变得自然和简洁，但是模式本身使用方便性也很重要。不妨让我们来看看Scala(一种类似Ruby/Lisp之类 ...