私の終わりのない奇妙なタイプの土地で、奇妙なアイデアが私の頭の中に入った。私はたくさんのデータベースプログラミングをしています。もし私がそれらの健全性チェックと妥当性チェックのすべてを取り除くことができればいいと思います。特に厄介なケースの1つは、Integerを受け取り、それがある特定のテーブルの有効な行IDであると考えている関数です。非常に愚かな例は次のとおりです。 function load
私はexamples using the PolyKinds extension in GHCについて私自身の質問に答えようとし、より具体的な問題を思いつきました。私は、dequeueが要素を取るヘッドリストとenqueueが置くテールリストの2つのリストから構築されたキューをモデル化しようとしています。 これを興味深くするために、私は、テールリストがヘッドリストより長くなることはできないという制