谈到范畴在计算机科学的应用,大部分人会提到“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是通过范畴论设计出来特性,应该是一个好的学习范畴论在软件...
Posted by Bartosz Milewski under 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 ...
Yeah, category theory is a branch of mathematics. It’s a very, very abstract branch of mathematics. And really surprisingly this extremely abstract branch of mathematics has applications in programming. Which is really a big surprise. I talked to some mathematicians ...
剑桥大学出版的《Basic Category Theory》书籍，为范畴论的基础理论提供了详尽的阐述，是深入学习范畴论的首选资源。最后，范畴论的学习不应期望直接解决具体问题，而应作为提升思维能力的工具。通过不断探索抽象概念，突破思维边界，学习范畴论才能实现其真正的价值。这一过程，如同郑乐隽所说，是思维的瑜伽，...
Title:Category Theory for Programmers Author(s)Bartosz Milewski Publisher:The University of Texas; eBook (Creative Commons Licensed) License(s):CC BY-SA 4.0 Hardcover/Paperback:N/A eBook:HTML and PDF Language:English ISBN-10:0464243874 ISBN-13:978-0464243878 ...
And I will argue strongly that composition is the essence of programming. (8413 views) Category Theory for the Sciences by David I. Spivak - The MIT Press , 2014This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences....
Computer Science - Logic in Computer ScienceComputer Science - Programming LanguagesMathematics - Category TheoryMathematics - Operator AlgebrasQuantum PhysicsF.3.2We describe categorical models of a circuit-based (quantum) functionalprogramming language. We show that enriched categories play a crucial role....
about ideas happening in my daily programming. As I am a learner only trying to come in terms with the deep implications Category Theory has on my work, I will need some more time to reframe this section to articulate the benefits of Category Theory in the long term on my daily practice...
Computational Category Theory Post date: 13 Dec 2006 This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language. Publication date: 01 Jul 2001 Computatio...