有没有关于数学编程的网站？

闲聊灌水
12

我最近在学ocaml。什么moudle type、functor等语法知识点都已经把人搞晕了。