老文章

Haskell在脑海里的踪迹

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

心智模式

思考是人类特有的一种性质,逻辑性的思考更是人类难能可贵的特性。这些都可以说成是心智模式或者心智规律的一些专有名词,就好像一扇又一扇的窗口。
… 阅读全文>>

梁公-问题的专注者

为什么要想到要写关于梁公的故事和著作,因为他真的是以 一个学者的心态在思考着社会、国家、学问等事情。从14岁起, 他的脑袋就开始因为一个又一个问题链,有了问题就开始解决问题。
… 阅读全文>>

给自己写作的提醒

为什么写作? 该写什么? 还需要什么?
… 阅读全文>>

Tecplot的云图

Tecplot 是工程绘图的神器。 下面是一种格式,导入tecplot即可。 前面三列是x y z后面分别是ux ,udx,一定要写好文件头。
… 阅读全文>>

Bash智能分类文件并求值

Bash是linux底下的一种shell实现,可以方便linux用户进行系统管理。他的核心就是 调用最有效的命令组合形成更加强大完美的管理和应用程序,这也是unix的哲学,通过调用between programs的关系来get its power而不是通过自己的程序。 shell编成的目的减少unix相关系统的管理员的人物 下面介绍主要是bash语法,以及有bash语法调用awk,sed,grep等linux底下强大的工具实现一个文件智能分类,并对相应文件夹取平均。
… 阅读全文>>

gnuplot的核心是plot

gnuplot是一种科学绘图的开源软件,比origin强上不少。 而gnuplot的核心就是这个plot。
… 阅读全文>>

伟大的范畴理论

范畴理论是数学上的一种新的语言和框架结构. 对于程序员来说,它是另一种思考方式,一种极度有效的方式来提取规律(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 下面是我的建立过程:
… 阅读全文>>