有谁了解Category Theory的?

尼克徐 发布于 2016年04月13日 | 更新于 2016年04月14日
无人欣赏。

我做的计算引擎里,牵涉到大量的数据映射和函数调用。很容易就会弄的很乱。

我发现Category Theory的思路似乎能够让我跳出编程的局限去考虑问题。

咱论坛上有熟悉这方面的不?请求给予些指点。

谢谢。

共4条回复
tinyfool 回复于 2016年04月13日

不熟悉,对你的问题域也不是很了解,你可以简单的介绍下先么?

尼克徐 回复于 2016年04月14日

1楼 @tinyfool 具体的问题和思路如下:

我目前要重新构建一个保费的计算引擎,总体而言是输入->计算->输出。但细节上较复杂,容易搞的混乱。所以需要在框架设计上用些力。

在框架设计上,需要借鉴一些Functional Programming以及Reactive Programming的思路。

而Category Theory,又是Funcational Programming的理论基础,所以打算深入研究一下。

tinyfool 回复于 2016年04月14日

2楼 @尼克徐 你就是在做一个DSL吧,太高大上的东西我不知道,你是不是真的需要

尼克徐 回复于 2016年04月14日

3楼 @tinyfool

里面会有一个DSL,不过Category Theory对如何更好的编程也有很多可借鉴处。

毕竟,从程序框架层面上,应用简洁有力的数学理论作基础,还是很有趣和很酷的。

参考书:

Computational Category Theory

Category Theory for Scientists

登录 或者 注册