または のような関数を呼び出す既存のプログラムを簡単に移行できる、注釈付きのバリアントまたは Haskell Prelude はありますhead
かlength
?
質問する
220 次
1 に答える
2
LHドキュメンテーション.spec
で説明されているように、既存のコードの仕様のみを提供するファイルで既存のファイルを拡張できます。LH 自体には、 、 、 の関数など、多くの一般的なものの仕様が含まれる大きなプレリュード (インクルードフォルダーを参照) が付属しています。head
length
Data.Set
于 2016-03-20T03:39:53.343 に答える