在窃听OCaml邮件列表上的人之前,我想我应该在这里发布我的问题。我刚刚发现了这个 (到Concoqtion网站的链接)。Concoqtion是MetaOCaml的一个扩展,它允许索引类型(可能还有更多)。有了它,可以很容易地创建包含列表长度的列表: | Nil : ('(0),'a) listl
| Cons of let 'm:'(nat) in
我经常被告知,使用OCaml中的Lazy模块,可以在诸如Haskell这样的惰性语言中做任何你能做的事情。为了测试这个声明,我正在尝试编写一个函数,将常规列表转换为ocaml中的静态双向链表。type 'a dlist = Dnil | Dnode of 'a dlist * 'a * 'a dlistlet rec l1 = Dnode (Dnil,1,l2)
and l
假设您正在用OCaml/F#/SML/Haskell编写一个应用程序,并希望将数据持久化到关系数据库中。将产品类型(记录和元组)映射到关系很容易,但是如何将变量类型映射到关系呢?具体来说,如何在关系数据库中持久化如下所示的类型?(* OCaml *) | Foo | Baz of int * int * int