いずれの描画法でも、平面を順方向エリアと逆方向エリアに区切っている。この区切り線を中心線と呼ぶことにする。代表的な3つの描画法を述べる。もちろん、他の選択肢もある。描画の約束によりファントム交差／ファントムカーブは生じる。相互変換には鏡映変…

参考： 多相関数と依存型をちゃんと理解しよう 次をどう解釈すべきか？ length: ∀α.list(α) → Int次の例を見ると、 first: ∀α.list(α) → maybe(α)括弧の付け方は次のようになる。 length: ∀α.(list(α) → Int) first: ∀α.(list(α) → maybe(α))意味は、 length…