谈到范畴在计算机科学的应用,大部分人会提到“monod”这一概念。Monod是懒人式语言“Haskell language”的理论基础。之所以“懒”,是因为Haskell里的函数只有在不得已时才会被调用,因此跳过了编译从而达到节省时间的效果。也正是因为这个特性,Haskell允许无穷列表(list)的生成。 事实上Haskell的实际应用率并不高
Advanced Topics in Types and Programming Languages Basic Category Theory for Computer Scientists 个人网站 2.4. Dixin(微软) 个人网站 LINQ其全称是 Language Integrated Query,即语言集成查询,将查询功能和语言结合起来,是.NET Framework 3.5的新特性。LINQ是通过范畴论设计出来特性,应该是一个好的学习范畴论在软件...
We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as ...
Category Theory: A Programming Language Oriented Introduction This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories. Computational...
剑桥大学出版的《Basic Category Theory》书籍，为范畴论的基础理论提供了详尽的阐述，是深入学习范畴论的首选资源。最后，范畴论的学习不应期望直接解决具体问题，而应作为提升思维能力的工具。通过不断探索抽象概念，突破思维边界，学习范畴论才能实现其真正的价值。这一过程，如同郑乐隽所说，是思维的瑜伽，...
Haskell,Programming| Tags:Category Theory,Comonad,Game of Life,Haskell| [7] Comments The yearly Advent of Code is always a source of interesting coding challenges. You can often solve them the easy way, or spend days trying to solve them “the right way.” I personally prefer the latter....
Yeah, I think the whole language. Haskell is very solid because it’s based on mathematical foundations and category theory particular. So I think, well, okay. Monads probably monads are like the most successful thing in functional programming because when people sta...
Posted by Bartosz Milewski underCategory Theory,Haskell,Programming| Tags:Category Theory,Comonad,Game of Life,Haskell| [7] Comments The yearly Advent of Code is always a source of interesting coding challenges. You can often solve them the easy way, or spend days trying to solve them “the...
Category Theory books at E-Books Directory: files with free access on the Internet. These books are made freely available by their respective authors and publishers.
It might therefore come as a shock that the basic concepts of category theory can be explained in relatively simple terms to anybody with some experience in programming. That's because, just like programming, category theory is about structure. Mathematicians discover structure in mathematical ...