Extensible のメモ (その０)

ノウハウなど

• #name のように自動生成されるレコード関数のようなのを使うには OverloadedLabels が必要
  • これを自動でやってくれるのね
  • lens で hoge ^. #name や view #name hoge
• レコードのフィールドの適用順を変えてはダメ(型エラー)
• カインドでエラーが出るときは、だいたい PolyKinds 拡張が足りない

古いノウハウ？

• (>:) で何故か怒られる
  • LTS-8.22 にある extensible のバージョンには (>:) は無いため
  • Nightry-2017.7.15 は最新(extensible-0.4.2)なので変更したらいけた
  • ちなみに (>:) は (:>) の型エイリアス(上記のリンク先では (:>) を使ってる)
  • lens の (:>) と被るから作ったのかな？？

次