fumieval/extensible
https://gyazo.com/1ef0a2e39775463cd9ada73fcc4301d7
Haskellのextensibleなものを統一的な仕組みで提供するpackage
型レベルリストによって特徴づけられる積和
開発者は@fumieval
github
/haskell-shoen/extensible/初心者向け攻略情報
Haskellの拡張的なものを統一的な仕組みで提供するpackage
Extensible record
Recordの拡張
同じfieldを持つrecordを定義できるとか、
tsで言う、R1 & R2のようなrecordの合成による拡張などができるらしい
https://matsubara0507.github.io/posts/2017-11-28-fun-of-extensible-1.html
https://qiita.com/wataru86/items/0fb38648a2b1babdf9cd
GHC拡張として提供されるRecord系の拡張との関係性がわからない #??
全く独立したものなのか、一部使っているのか、どちらが良いのか
たぶんTemplate HaskellやLensも使ってる
https://fumieval.hatenablog.com/entry/2015/01/21/175227
https://fumieval.hatenablog.com/entry/2016/10/10/000011
https://fumieval.hatenablog.com/entry/2016/12/18/181540
https://www.schoolofhaskell.com/user/fumieval/extensible
/haskell-shoen/extensible/レコード
variants
多相バリアント
purescript-variantと関係ありそうmrsekut.icon
/haskell-shoen/extensible/バリアント
variant
structs
#??
effects
Effect System
/haskell-shoen/extensible/Effect
tangles
#??
https://fumieval.hatenablog.com/entry/2016/12/18/181540
/haskell-shoen/extensible
リンクに色々ある
元もextensibleのwikiがあったがほぼこのスクボに移行した
もとのwikiは閉鎖した
#??
ここで提供される色々なものは何故一つのpackageに入っているのか？
recordはrecordで、effectsはeffectsで分けたほうがわかりやすくない？と思うんだけど
そんな独立した概念でもなかったりするのか？
個別の概念を知らないのでわからない