ocamlコードの問題点は何ですか？

Question

let rec funli li k = match li with 
| [x] -> if k==1 then Some(x) else None 
| x::ll -> funli ll k-1;; 

utopは エラーを示しています。この式は、私はそれがintを期待するために理由を見ていない「オプションを入力しているが、式はint型

に期待されました。このコードで何が起こっているのか理解してください。私はOCamlを初めて使っています。

Answer 1

コードにはいくつか問題があります。まず、k-1がパラメータであり、OCamlがその腕をどのように解釈しているのかを(funli ll k)-1に戻そうとしていないことを明示したいとします。さらに、==は、OCamlでの等価性のテストには使用されません。これはうまく動作します

let rec funli li k = match li with 
| [x] -> if k=1 then Some(x) else None 
| x::ll -> funli ll (k-1);; 

Answer 2

funli ll k-1は、(funli ll k)-1として解析されます。だからあなたはオプションから1つを減算しようとしています、あなたが持っているエラーにつながる。

ほしいものはfunli ll (k-1)です。