對不起，我不知道如何給一個適當的標題爲這個問題： 如果我做的： 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