无相

函数classType 函数 和普通函数有区别吗？变量---一个代表 固定基本类型复合类型？类型变量：----------如果函数的类型签名里包含类型变量，那么就表示这个函数的某些参数可以是任意类型，我们称这些函数是多态的。对于函数这样的参数来说，叫parameterized type,参数化类型。-----------------data Abc = Aaa   xx xx x...

haskell作为纯函数式编程语言，那什么是函数式编程？函数式编程后面的理论基础是什么图灵完备的lamada演算，我的理解就是，能够以这样方式描述世界，不管是动的还是静的。普通的程序语言大部分是过程式，也就是一些状态和过程，跟计算机结构吻合，也就是图灵机。那函数式编程呢？我的理解是描述事物和事物之间的关系为主，而此关系就是函数f，然后再大再复杂的事物，都是可以由小的关系组合出来。如果一...

Haskell函数基本语法逻辑分为以下三类：一、模式匹配模式匹配主要依赖数据的定义结构，属于一个解结构的过程，一般来看，跟随数据定义格式进行，也就是data的值构造子。二、函数的组合函数的组合，也就是分解为其它基本的小函数进行拼接，还有各个小函数之间高阶性，F1.F2.F3 x，类似数学F1(F2(F3(x))).    或者拼接  F1(x)  + F2(F3(x))，反正就是函...

网上有本书，好像是日本人写的，《函数在你身边：直觉探索函数世界》，本书最后一章节，基本解答了函数式思维来看待世界的思维方式，描述的比较通俗。然后联想到《范畴论》这一纯数学的研究方法，表达的思路和思维基本是一致的，所以本书最后一节可以作为函数式思维的一个科普读物。具体内容可以网上查找阅读，里面也确认了我之前关于类型与函数之间关系的思考与猜测。类型和函数是相互依存的，函数是作为在类型之上的函数，类...

有个人为了维护Haskell，说宇宙何来状态？像C语言等过程式编程才是错的！没有状态，也没有所谓的“过程”，奇点爆炸之后，然后最后归于奇点，整个过程就是一个函数。以通常的过程来讲，那就是说，以时间为基准的“过程”本身是不存在的。那时间也就只是这个函数的一维输入，g = f(t)。也就是相对论说的四维。然后我想了想，其实也是，人类对世界的认识，其实是一个从“过程”到“函数”的提升过程，人的直觉以...