《haskell中的类型》的相关内容

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

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 ...

知道这里的各位老大实践经验非常丰富, 所以希望能听取一下各位的意见,看看jaskell这个新生儿应该往哪个方向发展. 这是我在abp上贴的介绍: 用jparsec作为parser, 做了一个jaskell script interpreter。 这是一个类似haskell的在java中运行的functional scripting language. （怎么样，俺起的jaskell这个名字酷吧 ...

by rufi  2003.3.21 -- 2003.4.2 一.序 1．什么是Haskell?      Haskell是一种函数编程语言. 1980年代以前对函数编程有很多研究, 但不同的研究者使用各自不同的语法记号, 一起交流时造成一些不便. 后来1987年的时候, 在FPCA'87会议上制定了统一的Ha ...

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

我设计一个数据库访问接口，目标是简单易用，STL兼容，类型安全，效率不太差，尽量非侵入。 已实现大部分功能，但我长年困在C/C++世界，视野和经验都很有限，几个地方感觉设计的不太好。 烦请各位老大有空帮看看，指点一二。 我只建立了两个类，数据库类和记录集类。下面是简单示例。 //一个POD类型，要在内存中操作并保存到数据库 struct Student { int num; ...

1. 除了const,定义常量还有几种方法？ 2. C++中的引用，在D中怎么表示?如下C++代码， int i; int &j = i; 怎么转换成D？

比如: myClass var; var=1; // 这个可以通过重载运算符=实现 var=var+3; //同上 printf("var=%d",var); // ???? 怎么实现???

最近对C可变长参数研究有点心得。C可变长参数函数在调用时是有很多讲究的，比如说声明这样一个函数 ： void func(int a, ...); 在调用时传入这样的参数： func(1,2); 后一个参数2可以被（程序员或者阅读该程序的人）认为是一个整数，但是也可以被认为是一个长整数 （long long），甚至是字符或者浮点型数。当然编译器作为一个信奉决定论的程序，只可能在编译之后 产生一 ...

SPProcPool 是一个 linux/unix 平台上的进程池服务器框架，使用 c++ 实现。 在 0.5 版中增加了一个类似 apache worker 的服务器模型。在之前 Leader/Follower 模型的基础上，在每个子进程中使用一个固定大小的线程池来为每个请求服务。这个模型的特点是能够支持较高的并发连接数。 项目主页： http://code.google.com/p/spp ...

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

上周javapolis举行了一次关于JAVA7中可能支持的语言特性的投票,该投票涉及到十中JAVA7 中可能的语法增强(这里不包括闭包,后面将单独列出).对于每种语法特性你需要回答"Do you support this language change?",答案可以是"YES","NO","Maybe"三者之一. 下面罗列出这十种语法特性以及投票结果: 1.Property declaratio ...