Haskell Backpack 覚え書き

Haskell アドベントカレンダー 2017 (その３) の12日目の記事です． GHC 8.2 より新しく追加された Backpack というモジュールシステムを知ってますか？ Backpack は個人的にすごい注目してる機能なんですけど，いかんせん日本語ドキュメントが皆無なんで，イロイロ調べたことを書いておこうと思います． ただ，英語雑魚勢なので勘違いしてる部分もあるかもしれないので，その時は指摘してください 人 基本的には matsubara0507/awesome-backpack リポジトリにまとめてます(コッチの方が新しいこと書いてあるかも)． ちなみに，今回の記事は11月の頭に作った以下スライドをベースに書きます． 注意: 実は Backpack は2つある Backpack は何年も前から学術的に研究されていた機能で，その研究過程には少なくとも2段階ありました． Back

[ilyaletre]

MLのstructureとsignature的なものかな。よく解ってないので読み直そう。

[suruji42]

Backpackなんてものがあるの全然知らなかった

[Nnwww]

strシグネチャを見ましたが、この量のシグネチャをOCamlのファンクタ無しに書くのは効率悪いですね。型クラスを使うなりして自動的に導出できるところはしたいものですが、どうなってるんでしょう。

[kakkun61]

解決したい問題は分かるがかなり書かないといけないんだなぁという感想。SML の structure と signature っぽい。

[Haaaa_N]

そんな大規模な変更があったとは 夢はあるがネストが深くなるのが気になる 後相互再帰は結局できないのか

[igrep]

知れば知るほどドラスティックな修正だなぁ。。。ちゃんと普及するだろうか。。。