はてなブックマーク - ベクトルからリストを作る方法 〜次数付きモナドのカン拡張〜
https://b.hatena.ne.jp/entry/s/zenn.dev/lotz/articles/6cbc8bdff81372aa9fa0
ベクトルとリスト 要素を並べたデータ構造を考える時、 ベクトルは長さが予め（型レベルで）決められたもの リストは任意の長さを取れるもの と区別することがあります。 Haskellの型で表すと、
-
sanagif
https://b.hatena.ne.jp/sanagif/20201004#bookmark-4692236950806154466
2020-10-04T13:14:08Z
-
xef
https://b.hatena.ne.jp/xef/20201004#bookmark-4692236950806154466
2020-10-04T09:16:57Z
Haskell
-
Hiro_Matsuno
https://b.hatena.ne.jp/Hiro_Matsuno/20201004#bookmark-4692236950806154466
2020-10-03T23:31:48Z
-
dhesusan4649
https://b.hatena.ne.jp/dhesusan4649/20201003#bookmark-4692236950806154466
2020-10-03T04:13:23Z
haskell
モナド
-
sakito0902
https://b.hatena.ne.jp/sakito0902/20201003#bookmark-4692236950806154466
2020-10-03T00:26:29Z
Haskell
HotEntry
プログラミング
-
wass80
https://b.hatena.ne.jp/wass80/20201002#bookmark-4692236950806154466
2020-10-02T13:29:31Z
-
kakkun61
https://b.hatena.ne.jp/kakkun61/20201002#bookmark-4692236950806154466
2020-10-02T13:22:25Z
Haskell
-
igrep
https://b.hatena.ne.jp/igrep/20201002#bookmark-4692236950806154466
2020-10-02T13:10:03Z
haskell
圏論