《函数的副作用及其他》的相关内容

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

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

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

http://jrc.dev.java.net ajoo项目批准了。 想参与的去java.net上申请一个账号吧。告诉ajoo，可以把你加进去。 cvs: host: cvs.dev.java.net repository: /cvs module: /jrc 项目的缘起可以看这里。 http://forum.javaeye.com/viewtopic.php?p=132021#132021 ...

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

http://jrc.dev.java.net ajoo项目批准了。 想参与的去java.net上申请一个账号吧。告诉ajoo，可以把你加进去。 cvs: host: cvs.dev.java.net repository: /cvs module: /jrc 项目的缘起可以看这里。 http://forum.javaeye.com/viewtopic.php?p=132021#132021 ...

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

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

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

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

微软已经宣布Visual Studio将全面支持函数式程序设计语言F#，这一大胆的功能支持承诺标志着基于.NET平台的函数式编程语言能够快速进入企业级开发，对于微软来说，能够全面支持F#，也使得Visual Studio成为支持语言种类最丰富的开发平台之一。 F#是由微软研究院研究开发的一种函数式程序设计语言。其灵感来自于 OCaml。F#和Ocaml很多的子集是兼容的。F#给予开发者很多有效的 ...

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