関数型プログラミング言語Haskell Part34

関数型プログラミング言語Haskell Part34 (677ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

307(4): デフォルトの名無しさん [] 2024/07/26(金) 08:11:21.54 ID:3P5OnSpM(1) AAS
どなたか教えてください。
数学の構成や命題の証明に使うならば、HaskellとOCamlはどちらがよいでしょうか。