[論文/ライブラリ紹介] Algebraic graphs with class (functional pearl) - Qiita

本記事は Haskell (その2) Advent Calendar 2018 16日目の記事です。 本記事では、Haskell Symposium 2017 で発表された Algebraic graphs with class (functional pearl)1 という論文および、その実装である algebraic-graphs パッケージを紹介していきます。 提案されている Algebraic graphs （本記事では代数グラフと呼ぶことにします）は、これまでのグラフ表現に代わり、グラフの接続関係を加法や乗法（に似た表現）で表すことで、不正な形式のグラフの構築を型レベルで抑止し、グラフに対する様々な操作をエレガントに表現しています。 これまでのグラフ表現 ここで言うグラフとは、棒グラフや曲線グラフのようなものでなく2、有向グラフのような点とか矢印からなるものを指します。 グラフ理

[ruicc]

ちょっと気になっていたやつだ。これで任意のグラフ表現できるの…

[lotz84]

グラフは人間には身近な定義だったけど、algebraic graphはより代数的な形のシンプルな定義になってプログラムでも扱いやすそう。これからの発展が楽しみだし、今あるグラフの諸概念の翻訳を読むのもすごく勉強になりそう