《开始翻译 All About Monads》的相关内容

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

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

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

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

实验了以下内容：高阶函数，Currying，Lazy Evaluation，无穷流，Monad。都是很基本的东西。实现也是基于内部类的。没啥是了不起的。只是在给Lazy Evaluation造语法糖的时候，用了一下bytecode动态增强。给Lazy函数的lambda定义内部的所有的局部变量的读取操作前加了Lazy Evaluation过程。 private final static F&l ...

发信人: 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）的意思是，函数与外界交换数据只有一个唯一渠道——参数和返回值；函数从函数外部接受的所有输入信息都通过参数传递到该函数内部；函数输出到函数 ...

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

仍然是先用oo把轮廓划出来，我们需要建模一个接口来围绕它进行组合。 因为本文是关于co的论述，那么这个接口怎样分析出来的就暂时忽略掉了： [code:1]interface Dependency{ Object getArgument(int i, Class type); Class verifyArgument(int i, Class type& ...

Why不愧是一代Ruby大牛，连monadic combinator这个Haskell最著名的概念之一也能极简单地用Ruby复制出来：http://redhanded.hobix.com/inspect/hoppingThroughPipesAndClosures.html 突然感觉和java社团搞模式框架相比，ruby社团更津津乐道于这样的“奇巧淫技”，也许这正是文化差异和乐趣所在。 upd ...

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

首先是我们圈子 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 ...

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

引用Scala是一门现代的多范式编程语言，志在以简练、优雅及类型安全的方式来表达常用编程模式。它平滑地集成了面向对象和函数语言的特性。 Scala是面向对象的：Scala是一个纯面向对象语言，在某种意义上来讲所有数值都是对象。对象的类型和行为是由class和trait来描述的。Class的抽象可由子类化和一种灵活的基于mixin的组合机制（它可作为多重继承的简单替代方案）来扩展。 Scala是 ...

Java历来是一种以不变应万变的语言。在Java 5中，annotation的引入使得Java在某些特殊的应用场合(如企业应用)中能够进行定制。Annotations 可被看作是用Java核心技术来定义的"领域特定语言"(Domain Specific Languages,DSLs)。 Annotation本质上是一种 name-value 形式的绑定，仅限于它们所能表达的意义。它们不能定义新的 ...