はてなブックマーク - A Tour Of Some Useful Recursive Types
https://b.hatena.ne.jp/entry/s/medium.com/@jaredtobin/a-tour-of-some-useful-recursive-types-8fa8e423b5b9
One starts to see common ‘shapes’ in algebraic data types after working with them for a while. Take the natural numbers and a standard linked list, for example: data Natural = One | Succ Naturaldat...ruicc
https://b.hatena.ne.jp/ruicc/20151216#bookmark-273873268
2015-12-16T07:35:31Zlotz84
https://b.hatena.ne.jp/lotz84/20151214#bookmark-273632265
Fix/Free/Cofree2015-12-14T07:10:13Zxef
https://b.hatena.ne.jp/xef/20151210#bookmark-273242286
2015-12-10T11:01:38ZHaskellhitotakuchan
https://b.hatena.ne.jp/hitotakuchan/20151210#bookmark-273264270
2015-12-10T06:42:12Z関数型言語関数プログラミング計算機科学型理論nabinno
https://b.hatena.ne.jp/nabinno/20151210#bookmark-273242286
2015-12-10T04:02:04Zmediumu_wot_m8
https://b.hatena.ne.jp/u_wot_m8/20151210#bookmark-273242286
2015-12-10T00:41:45ZHaskell