学校教了 OCaml,想用 OCaml 写个 project,求建议 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
请不要在回答技术问题时复制粘贴 AI 生成的内容
marklrh
V2EX    程序员

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

  •  
  •   marklrh 2014-03-05 16:13:03 +08:00 9427 次点击
    这是一个创建于 4292 天前的主题,其中的信息可能已经有所发展或是发生改变。
    是这样的,这学期的一门课是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
    zoowii
        1
    zoowii  
       2014-03-05 16:39:08 +08:00
    要不用ocaml写个ocaml的编译器?
    lsj5031
        2
    lsj5031  
       2014-03-05 16:42:26 +08:00
    美帝top几的学校才教这个吧……围观下……
    xingxiucun
        3
    xingxiucun  
       2014-03-05 16:43:43 +08:00
    只见过思杰的xen-api 是用ocaml写的
    chenggiant
        4
    chenggiant  
       2014-03-05 16:47:41 +08:00
    一定是个好学校呀!
    marklrh
        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压力大。。
    cameo
        6
    cameo  
       2014-03-05 19:17:03 +08:00 via iPhone
    Jane street用的这个,你可以去看看他们的来源库。
    freeznet
        7
    freeznet  
       2014-03-05 20:11:40 +08:00
    本科学了prolog和haskell,但是没怎么深入过= =。。。惭愧啊
    mahone3297
        8
    mahone3297  
       2014-03-05 20:15:06 +08:00
    是国外的大学?好nb的样子。。。
    arbipher
        9
    arbipher  
       2014-03-05 20:23:47 +08:00
    @freeznet 我本科也学了prolog和haskell,难不成我们一个学校?
    freeznet
        10
    freeznet  
       2014-03-05 20:27:35 +08:00
    @arbipher 我是英国的大学= =你呢
    arbipher
        11
    arbipher  
       2014-03-05 20:41:20 +08:00
    @freeznet 跑偏了。我在魔都。不过prolog和haskell都是爱尔兰来的老师教的,可能五百年前都是一家。。。
    thai9quohs6jae1C
        12
    thai9quohs6jae1C  
       2014-03-05 21:00:07 +08:00
    …… 国内大学吗?
    yaroot
        13
    yaroot  
       2014-03-05 21:28:31 +08:00
    赞一下, 被ml睡过的haskell scala f#都是相当好的...(实际项目用过感觉相当逆天, 应该跟lz感觉类似...)

    顺便问下大家学/写prolog的时候用哪个实现的?
    tmqhliu
        14
    tmqhliu  
       2014-03-05 23:17:31 +08:00
    可以去参与 mldonkey 项目,这个是 OCaml 写的
    bigporker
        15
    bigporker  
       2014-03-06 00:06:29 +08:00 via iPad
    我本科毕业设计用这个写的
    当时第一感觉,这世上竟然有这种语言
    不过看了楼上各位的回复,竟然有点儿小骄傲
    lctgb
        16
    lctgb  
       2014-03-06 02:41:48 +08:00   1
    @arbipher 我们本科学的Haskell连Monad都没有教好么
    arbipher
        17
    arbipher  
       2014-03-06 02:53:58 +08:00
    @lctgb 你也来这个坛子玩了啊。我在文档里看到了,不过没看懂!
    lctgb
        18
    lctgb  
       2014-03-06 05:42:31 +08:00
    @arbipher 嗯 这些玩意儿本身就很难理解 一直不用 我现在全都忘了
    dcoder
        19
    dcoder  
       2014-03-06 07:08:17 +08:00
    把 F# 找来用着玩玩看,那个更适合写实用的项目吧
    fl3x
        20
    fl3x  
       2014-03-06 08:00:09 +08:00 via Android
    @arbipher 啊咧,张江技术学院?
    billwsy
        21
    billwsy  
       2014-03-06 09:34:15 +08:00 via iPhone
    @arbipher 软院爱班么…
    yuankui
        22
    yuankui  
       2014-03-06 09:38:38 +08:00
    高大上啊!
    lsj5031
        23
    lsj5031  
       2014-03-06 09:42:14 +08:00
    @yaroot
    老师让用的SWI-prolog
    arbipher
        24
    arbipher  
       2014-03-06 11:15:25 +08:00
    @fl3x
    @billwsy 是,为何你的网站看上去这么吊。。。
    marklrh
        25
    marklrh  
    OP
       2014-03-06 11:38:40 +08:00
    @bigporker 具体是写的什么样子的项目呢?
    standin000
        26
    standin000  
       2014-03-06 14:22:30 +08:00
    se77en
        27
    se77en  
       2014-03-06 14:27:19 +08:00
    教 OCaml 的一定是良心学校啊
    billwsy
        28
    billwsy  
       2014-03-06 17:09:07 +08:00 via iPhone
    @arbipher 为申请不择手段…
    arbipher
        29
    arbipher  
       2014-03-06 17:24:16 +08:00 via iPhone
    @billwsy 我很欣赏你诚实的态度。祝你成功~
    marklrh
        30
    marklrh  
    OP
       2014-03-06 20:02:44 +08:00
    @standin000 请问你是参与过这个项目么?看起来很有意思啊,求私聊
    standin000
        31
    standin000  
       2014-03-06 21:02:04 +08:00   1
    @marklrh 不是,只是一直用这个软件。
    bigporker
        32
    bigporker  
       2014-03-07 09:19:10 +08:00
    @marklrh 是导师的一个项目,主要是对c语言程序进行分析,得出设计结构等信息,属于软件自动化方向
    terry
        33
    terry  
       2014-03-07 10:06:57 +08:00
    看一下 XenServer (6.2完全开源,代码在 GitHub 上) / xapi (xen-api) 的源代码会有所帮助,看看能不能提交点补丁什么的,这是我知道的 OCaml 写的最出名的项目了。
    xcc7624
        34
    xcc7624  
       2016-08-30 10:15:39 +08:00
    一定是所好学校
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2399 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 29ms UTC 15:50 PVG 23:50 LAX 07:50 JFK 10:50
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86