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

首页注册登录

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

这是一个创建于 3950 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

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

34 条回复 • 2016-08-30 10:15:39 +08:00

1

zoowii

2014-03-05 16:39:08 +08:00

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

2

lsj5031

2014-03-05 16:42:26 +08:00

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

3

xingxiucun

2014-03-05 16:43:43 +08:00

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

4

chenggiant

2014-03-05 16:47:41 +08:00

一定是个好学校呀！

5

marklrh

OP

2014-03-05 17:04:46 +08:00

1

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

6

cameo

2014-03-05 19:17:03 +08:00 via iPhone

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

7

freeznet

2014-03-05 20:11:40 +08:00

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

8

mahone3297

2014-03-05 20:15:06 +08:00

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

9

arbipher

2014-03-05 20:23:47 +08:00

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

10

freeznet

2014-03-05 20:27:35 +08:00

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

11

arbipher

2014-03-05 20:41:20 +08:00

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

12

thai9quohs6jae1C

2014-03-05 21:00:07 +08:00

…… 国内大学吗？

13

yaroot

2014-03-05 21:28:31 +08:00

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

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

14

tmqhliu

2014-03-05 23:17:31 +08:00

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

15

bigporker

2014-03-06 00:06:29 +08:00 via iPad

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

16

lctgb

2014-03-06 02:41:48 +08:00

1

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

17

arbipher

2014-03-06 02:53:58 +08:00

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

18

lctgb

2014-03-06 05:42:31 +08:00

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

19

dcoder

2014-03-06 07:08:17 +08:00

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

20

fl3x

2014-03-06 08:00:09 +08:00 via Android

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

21

billwsy

2014-03-06 09:34:15 +08:00 via iPhone

@arbipher 软院爱班么…

22

yuankui

2014-03-06 09:38:38 +08:00

高大上啊！

23

lsj5031

2014-03-06 09:42:14 +08:00

@yaroot
老师让用的SWI-prolog

24

arbipher

2014-03-06 11:15:25 +08:00

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

25

marklrh

OP

2014-03-06 11:38:40 +08:00

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

26

standin000

2014-03-06 14:22:30 +08:00

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

27

se77en

2014-03-06 14:27:19 +08:00

教 OCaml 的一定是良心学校啊

28

billwsy

2014-03-06 17:09:07 +08:00 via iPhone

@arbipher 为申请不择手段…

29

arbipher

2014-03-06 17:24:16 +08:00 via iPhone

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

30

marklrh

OP

2014-03-06 20:02:44 +08:00

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

31

standin000

2014-03-06 21:02:04 +08:00

1

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

32

bigporker

2014-03-07 09:19:10 +08:00

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

33

terry

2014-03-07 10:06:57 +08:00

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

34

xcc7624

2016-08-30 10:15:39 +08:00

一定是所好学校

关于 · 帮助文档 · 博客 · API · FAQ · 实用小工具 · 2081 人在线 最高记录 6679 ·

Select Language

创意工作者们的社区

World is powered by solitude

VERSION: 3.9.8.5 · 25ms · UTC 00:24 · PVG 08:24 · LAX 16:24 · JFK 19:24
Developed with CodeLauncher
♥ Do have faith in what you're doing.