学校教了 OCaml，想用 OCaml 写个 project，求建议

[marklrh]

是这样的，这学期的一门课是modern programming language，学了不同类型的语言，教授着重于教OCaml。学完之后感觉眼见开阔了不少，functional language居然这么强大。然后我准备去阅读Real world OCaml这本书，同时想用OCaml写点小项目，但是我只有用C/C++,Python，Java写项目的经验。请问V友有什么建议么？

EDIT：
顺便问下有没有人用prolog写过项目的？

[zoowii]

要不用ocaml写个ocaml的编译器？

[lsj5031]

美帝top几的学校才教这个吧……围观下……

[xingxiucun]

只见过思杰的xen-api 是用ocaml写的

[chenggiant]

一定是个好学校呀！

[marklrh]

@zoowii 嗯。这个就是我们的一个作业，https://github.com/marklrh/MOcaml，不过lexer和parser是教授写的，lexer和parser大三的课吧。。我们的任务是写interpreter。。
（把自己的project放在高手云集的V2EX压力大。。

[cameo]

Jane street用的这个，你可以去看看他们的来源库。

[freeznet]

本科学了prolog和haskell，但是没怎么深入过= =。。。惭愧啊

[mahone3297]

是国外的大学？好nb的样子。。。

[arbipher]

@freeznet 我本科也学了prolog和haskell，难不成我们一个学校？

[freeznet]

@arbipher 我是英国的大学= =你呢

[arbipher]

@freeznet 跑偏了。我在魔都。不过prolog和haskell都是爱尔兰来的老师教的，可能五百年前都是一家。。。

[thai9quohs6jae1C]

…… 国内大学吗？

[yaroot]

赞一下, 被ml睡过的haskell scala f#都是相当好的...(实际项目用过感觉相当逆天, 应该跟lz感觉类似...)

顺便问下大家学/写prolog的时候用哪个实现的?

[tmqhliu]

可以去参与 mldonkey 项目，这个是 OCaml 写的

[bigporker]

我本科毕业设计用这个写的
当时第一感觉，这世上竟然有这种语言
不过看了楼上各位的回复，竟然有点儿小骄傲

[lctgb]

@arbipher 我们本科学的Haskell连Monad都没有教好么

[arbipher]

@lctgb 你也来这个坛子玩了啊。我在文档里看到了，不过没看懂！

[lctgb]

@arbipher 嗯 这些玩意儿本身就很难理解 一直不用 我现在全都忘了

[dcoder]

把 F# 找来用着玩玩看，那个更适合写实用的项目吧

[fl3x]

@arbipher 啊咧，张江技术学院？

[billwsy]

@arbipher 软院爱班么…

[yuankui]

高大上啊！

[lsj5031]

@yaroot
老师让用的SWI-prolog

[arbipher]

@fl3x 是
@billwsy 是，为何你的网站看上去这么吊。。。

[marklrh]

@bigporker 具体是写的什么样子的项目呢？

[standin000]

unison, http://www.cis.upenn.edu/~bcpierce/unison/index.html

[se77en]

教 OCaml 的一定是良心学校啊

[billwsy]

@arbipher 为申请不择手段…

[arbipher]

@billwsy 我很欣赏你诚实的态度。祝你成功～

[marklrh]

@standin000 请问你是参与过这个项目么？看起来很有意思啊，求私聊

[standin000]

@marklrh 不是，只是一直用这个软件。

[bigporker]

@marklrh 是导师的一个项目，主要是对c语言程序进行分析，得出设计结构等信息，属于软件自动化方向

[terry]

看一下 XenServer （6.2完全开源，代码在 GitHub 上） / xapi (xen-api) 的源代码会有所帮助，看看能不能提交点补丁什么的，这是我知道的 OCaml 写的最出名的项目了。

[xcc7624]

一定是所好学校