haskell-jp / mokumoku-online #38 at 2021-10-17 18:05:15 +0900

前半は線形型のlinear-baseを眺めてました
後半はHaskellのRecord周りを見ていました。
拡張が色々あったりして、どういう歴史をたどってきているのかや、結局どれが最近のベスプラなのか、新しい拡張が入ったおかげで古い拡張で不要になったものがあるのか？などわからないことだらけで調べ中です。

全くまとまっていないノートですが記録のため貼っておきます
https://scrapbox.io/mrsekut-p/HaskellのRecordの問題点とその解決策の遍歴

僕も所用があって来週はお休みします！

gitpitch のホスティングがなくなってしまったので見にくいですが、以前レコードのラベルのついて発表した資料がこちらです
ちょっとは参考になれば
https://github.com/kakkun61/slide/tree/master/gotanda.hs-1

おー！ありがとうございます！！見てみます！
2年前ぐらいのですかね

そうですね、2年弱前ですね
変換してホスティングしておきました
http://slide.kakkun61.com/gotanda.hs-1/

資料がまとまっていて流れを追うのに助かりました。ありがとうございます。

僕もこのスライドの最後の部分に同じ疑問を持ちました(特に2つ目の方)
今も標準に入っていないのは何か理由があるんですかね..
http://slide.kakkun61.com/gotanda.hs-1/#24

base-4.15.0.0 でも instance HasField x r a => IsLabel x (r -> a) はないみたいですね後方互換性のためですかねえ