对不起，我不知道如何给一个适当的标题为这个问题： 如果我做的： let f1= function 1 -> failwith "a" | s ->s;;(*you can just use f1 x=x, just want to let f1 to have an exception case*)
let f2 =
let f1=
try(print_string "s
如何创建OCaml/F＃DU类型，其案例是其他案例的子集？ 例如，我想创建一个包含不同符号声明类型的符号表，例如程序类型，变量和函数。乍一看，我可以看到一个变量包含它的类型，函数也包含一个类型和许多参数变量。所以我想用1 DU，而不是向分隔条件多条记录或别名： type Symbol =
| TypeSymbol of id:string
| VariableSymbol of
我想cohttp open Core
open Async
open Cohttp
open Cohttp_async
let cli_hdr url =
let uri = Uri.of_string url in
let%bind resp_head = Cohttp_async.Client.head uri in
resp_head |> Respo
我从this question得知可以使用模式匹配与记录。但是，我注意到我在尝试匹配不同类型的记录时遇到了问题。 我在这个例子中的目标是能够区分不同的记录。我得到了一个记录，我不完全确定它是哪种类型，我试图用模式匹配来解决它。 这里有一个简单的例子： module IceCream = struct
type t = {
temperature: float;
top
我在OCaml中为一个学校项目实现了我自己的版本。它被定义为这样的： type 'a my_list =
| Item of ('a * 'a my_list)
| Empty
;;
我的目标是实现从列表模块20层的功能，并且第n是给了我很多的辛勤工作。它是一个递归函数，它也称为hd和长度函数。下面是代码： let rec length my_list =
ma
我正在学习ocaml，所以它可能是微不足道的。 当我尝试建立这个代码的可执行文件： open Core.Std
let build_counts() =
In_channel.fold_lines stdin ~init:[] ~f:(fun counts line ->
let count =
match List.Assoc.find counts line