Haskell prelude関数を一連のコア関数に減らすことはできますか？

Question

Haskell Prelude関数をコア関数のセットに減らすことができます。これにより、他のすべての関数をコアセットで定義できますか？もしそうなら、コア機能は何ですか？

Answer 1

私はちょうどHackageに関するPreludeのドキュメントを歩いています。私が "未知の"ハスケルで実装すると想像できない唯一の2つの操作はerrorとseqです。 errorの場合、私は、正しい宣言的セマンティクスをもって無造作のHaskellに何かを実装することを想像することさえできますが、コンソールへの印刷の操作上のセマンティクスを共有しませんでした。

IOアクションの実行エンジンとIO操作の実装との間にはいくらかの協力が必要であることはもちろんですが、操作そのものは未完成のHaskellで合理的に実装できます。プレリュードで利用可能なアクションの無料のモナドと。

このような小さなコアが可能であることは驚くべきことではありません。結局のところ、退屈な古いラムダ計算でも、すべての面白いデータ型をエミュレートすることができます。