let が再帰でない理由というかメリット - camlspotter’s blog
そうすると本当に rec の存在意義を疑うしかなくなる。もし何らかの理由で付いてると嬉しいのだとしても、現代的な言語だったらプログラマが怠けられるようにそういうのは排除するべきじゃないでしょうか。納得できそうな理由があったら教えてください。 OCaml の再帰関数 - はいお教えします。再帰で書きたくない時もあるので、デフォルト再帰だと困るからです。ある identifier を、その値を使いつつ再定義する際に必要です: let _ = let verbose = ref false in Arg.parse [ "--verbose"; Arg.Unit (fun () -> verbose := true); "verbose mode"; ... ] (fun s -> ...) "command [options]"; let verbose = !verbose in ... i
Welcome! | The Coq Proof Assistant
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, the Verified Software Toolchain f
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
