搜索资源列表
hmake
- Haskell是一种程序语言。特别的，它是多态类型，懒惰的，纯的函数式语言，与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言，基于lambda演算。 为什么使用Haskell？ 写一个能工作的大型的软件系统是很困难的而且很昂贵的。维护这个系统甚至更加困难和昂贵。函数式程序语言，例如Haskell，能够使之变得简单而且廉价。 附件为Haskell编译器源代码-Haskell is a programming langu
Interpreter and libraries
- Haskell编译器和库 Haskell是一种广谱语言，适合各种应用。他尤其适合需要高度可修改和维护的程序。大多数软件产品的生命期主要花费在规范，设计和维护而不是编程。函数式语言能很好的写能够真正执行（也可以测试和调试）的规范，该规范也就是最终程序的第一个原型。 -Haskell compiler and libraries Haskell is a broad-spectrum language, suitable for a variety of applications. In p
Introduction to Functional Programming with Haskel
- Haskell编程介绍(英文) C, Java, Pascal, Ada, 等等，都是命令式语言。他们在某种程度上是由命令序列构成的，严格的按照顺序来执行。haskell是函数式语言。函数式程序是一个单独的表达式，通过推算表达式来执行。任何使用过电子制表的人都有函数式语言的经历。在电子制表中，你可以根据其它单元的值来指定每个单元的值。焦点是什么需要计算，而不是如何计算。-Haskell program (English) C, Java, Pascal, Ada, etc., orders
wordgame
- .从C到CLIPS 虽然CLIPS是用C语言编定出来的，但是事实上，它跟C语言完全完全是两码事。因为它们在思想上是 不同的。如果你想深入学习CLIPS，我建议你先去看看有关函数式语言（如LISP）的东西。在函数式 语言中，没有顺序跟循环（在命令式语言比如C中到处都是），只有递归还有一些其他的东西。可能 我们用C语言编程时老是想着怎么定义程序的输入，怎么样通过一个算法得到程序的输出。这是标准 的冯。诺依曼体系结构的扩展，它很大程度上改进了程序的执行效率，但从另一方面来说，
clip2
- .从C到CLIPS 虽然CLIPS是用C语言编定出来的，但是事实上，它跟C语言完全完全是两码事。因为它们在思想上是 不同的。如果你想深入学习CLIPS，我建议你先去看看有关函数式语言（如LISP）的东西。在函数式 语言中，没有顺序跟循环（在命令式语言比如C中到处都是），只有递归还有一些其他的东西。可能 我们用C语言编程时老是想着怎么定义程序的输入，怎么样通过一个算法得到程序的输出。这是标准 的冯。诺依曼体系结构的扩展，它很大程度上改进了程序的执行效率，但从另一方面来说，
Purely_Functional_Data_Structures
- 很好的介绍了函数式编程中的数据结构，代码使用haskell 和ml-A good introduction to functional programming in the data structure, the code uses haskell and ml
tempo-sat-tlp-gp
- SAT-TLP规划器是由ML这一通用的函数式编程语言开发出的最优化规划器，对于了解函数式语言在大型系统中的应用以及智能规划理论提供了很好的支持。-SAT-TLP planning is developed by ML generic functional programming language optimized planning, and provides good support for understanding the functional languages ̴
OPEN1
- 该文件是间接式双级矩阵变换器的开环仿真模型。输出结果符合理论推导。采用s函数编程的方法实现空间矢量调制策略-This file is indirect two-stage matrix converter of the open loop simulation model. Output the results accord with theoretical derivation. The s function programming method of space vector modulat
MKTHNUM-
- Spoj MKTHNUM题解 可持久化函数式编程线段树解法 文件内有相对详细的解法思路和数据结构构造方法-A solution to Spoj MKTHNUM.Which used persistent functional segment tree. Detailed information is written in the file.
sac-101.6a-source.tar
- SAC(Single Assignment C)是一门严格的纯函数式编程语言，以满足数值计算领域的需求为主要目的，该文件为程序安装包。(SAC(Single Assessment C) is a strict, purely functional programming language designed to meet the needs of the numerical domain, and the file is the program installation package.)