我做的计算引擎里,牵涉到大量的数据映射和函数调用。很容易就会弄的很乱。
我发现Category Theory的思路似乎能够让我跳出编程的局限去考虑问题。
咱论坛上有熟悉这方面的不?请求给予些指点。
谢谢。
不熟悉,对你的问题域也不是很了解,你可以简单的介绍下先么?
1楼 @tinyfool 具体的问题和思路如下:
我目前要重新构建一个保费的计算引擎,总体而言是输入->计算->输出。但细节上较复杂,容易搞的混乱。所以需要在框架设计上用些力。
在框架设计上,需要借鉴一些Functional Programming以及Reactive Programming的思路。
而Category Theory,又是Funcational Programming的理论基础,所以打算深入研究一下。
2楼 @尼克徐 你就是在做一个DSL吧,太高大上的东西我不知道,你是不是真的需要
3楼 @tinyfool
里面会有一个DSL,不过Category Theory对如何更好的编程也有很多可借鉴处。
毕竟,从程序框架层面上,应用简洁有力的数学理论作基础,还是很有趣和很酷的。
参考书:
Computational Category Theory
Category Theory for Scientists