haskell-jp / random #100 at 2022-08-14 17:49:17 +0900

ありがてぇ https://zenn.dev/mod_poppo/articles/whats-new-in-ghc-9-4

お疲れ様です。
withDictのあたりはどの辺りの資料で勉強したらいいか、なにかありますか？
https://hackage.haskell.org/package/constraints-0.13.4/docs/Data-Constraint.html
constraintsパッケージのものよりghc.extsのほうを使うべきですか？

https://github.com/ekmett/constraints/issues/114
どちらを使うのかは、こちらの対応次第かも？

constraintsパッケージのwithDictとGHC.ExtsのwithDictは性質が違うので「どちらを使うべきか」という問いは成り立たなくないですか。GHC.ExtsのwithDictの説明はGHCのNotesが詳しいと思います。 https://gitlab.haskell.org/ghc/ghc/-/blob/6b47aa1cc87426db4fe7d805af69894de05780ff/compiler/GHC/Tc/Instance/Class.hs#L497-637