Skip to main content

次のタグが付いている新しい回答:

0
承認済み

リテラルの取り扱い方

このエラーは型エラーです。関数 c_1_1 の中身は関係なく、関数 c_1_1 の型の引数部分と与えられた引数の型が合わないために起こっています。 お気づきのように、3 という値は Natnum 型ではありません。したがって関数 c_1_1 に渡すことはできません。S Zero や S (S Zero) は Natnum 型なので関数 c_1_1 に渡せます。 なお、その後お試しの data ...
nekketsuuu's user avatar
  • 2.4万

上位 50 件の最近の回答が含まれています