Haskell

Haskell在脑海里的踪迹

基于范畴理论,在每一个范畴里面都包含一个objects和fmap关系,利用functor映射到不同的category。 可以继续思考的是一个fmap:(*->*) 一个fmap是可以充当形参的,因为他正如在一个List module中 一个一个的破折号和箭头构成的map关系被放进List这个category中。
… 阅读全文>>

伟大的范畴理论

范畴理论是数学上的一种新的语言和框架结构. 对于程序员来说,它是另一种思考方式,一种极度有效的方式来提取规律(Extremely efficient for generalization) Programming is doing Math.编成的工作其实就是数学的工作。 范畴是一种表达事物(things) 和路径(ways) to go between things. 这可以参考thinking like a git,因为他也是一种基于范畴理论, 而延伸出来的实际产物,方便程序员对于development的管理。
… 阅读全文>>

HaskellWiki

一些常用的资料查询地。 130 tutorials 46 articles on mathematicas 46 FAQ topics 186 articles on other Haskell communities Stackoverflow:more than 10,000 problems
… 阅读全文>>

Haskell库文档结构

/src Folder for source-code Setup.hs Haskell build script app.cabal Cabal build script README Informative text file LICENCE Software licence statement 下面是我的建立过程:
… 阅读全文>>

Haskell common type signature(synopsis)

Haskell是一门很深的(deep)语言,需要经常去考究,下面有一些渠道可以 经常去查阅类型的推理过程。 Standard Prelude包含着基本的Preude加载的模块,类,函数等,相当具体。 现在终于发现haskell的类型类其实就是抽象类或者比抽象类更抽象的接口类,通过class来定义(在java中无论是抽象类还是实体类都使用class,现在haskell区分来class定义抽象类或者接口类,date定义实体类)
… 阅读全文>>

Haskell-one-line

Haskell have many beautiful features,such as monad(combination),so we can write very elegant code(compact code).
… 阅读全文>>

One-parameter-Or-many-parameters?

I have a question about how to call the function when we see the type declartion.我有一个关于阅读函数声明时候,如何调用函数的疑问。 比如: f :: (Double,Double,Double) -> (Double,Double) It is one parameter, but it must be a tuple with three tuple elements ::Double->Double->Double What does it mean?
… 阅读全文>>

Haskell-someImportantResource

The most important is:Hackage-haskell-Official Maintains a central repository of open source Hakell libraries called Hackage.
… 阅读全文>>

Thinking about the dot symbol in haskell

In haskell you can use () to embrace the function into an application not odd 4 -->error not (odd 4) -->right you can also use $ (called a function application),it makes functions right associative. not $ odd 4 but more pretty and elegant method is use .
… 阅读全文>>

HaskellModule

Reference Here 模块化,这样才能方便构建较大型的项目,解决更加复杂的问题。 其中MyData.hs是模块文件 注意,模块中添加类型时候使用(..); 添加函数时候直接使用函数名 TestMyData.hs是测试模块文件 ##基本语法结构: module MyData ( 类型(..) …. 函数名 …) where 类型声明 … 函数声明 … 注意 MyData.hs一定是和module后面的MyData一样的! 调用方式 import MyData
… 阅读全文>>