Haskell勉強スレッド - 1487993245

38：（-＿-）さん：2017/08/20(日) 04:31:54 ID:???0: Monadとして抽象化すると何が嬉しいの？ - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20100526/1274837088

関数合成の妙技 - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20100702/1278036842

Applicativeのススメ - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20101211/1292021817

HaskellとDSL - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20110822/1313981155
39：（-＿-）さん：2017/08/20(日) 04:32:50 ID:???0: Haskellスペースリーク Advent Calendar 2015 - Qiita
http://qiita.com/advent-calendar/2015/haskell-space-leaks

GHC でスタックトレース - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20130205/1360051153

Haskell(GHC)での軽量ユーザスレッドの実装方法 - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20110902/1314934306
40：（-＿-）さん：2017/08/20(日) 04:45:16 ID:???0: Haskellには副作用がないのか？ - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20090627/1246135829

Haskellと副作用 - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20091214/1260774669

Haskellでtry/throw/catch/finally - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20090819/1250660658

例題で比較する状態系のモナド - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20090826/1251258560

遅延評価と末尾再帰と余再帰 - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20091122/1258899591

遅延評価だけだと出力の順番が定まらない例 - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20090918/1253243061
41：（-＿-）さん：2017/10/12(木) 15:53:53 ID:???0: モナドとわたしとコモナド
WindowsでのHaskell開発環境構築(2017年秋版)
http://fumieval.hatenablog.com/entry/2017/10/11/230117
42：（-＿-）さん：2017/10/27(金) 19:02:35 ID:???0: Haskellライブラリ入門 (2011年版) - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/touch/20110525/1306298046
43：（-＿-）さん：2017/11/22(水) 21:58:36 ID:IsnBxgGc0: A Gentle Introduction to Haskell, Version 98
http://www.sampou.org/haskell/tutorial-j/index.html
「やさしい Haskell 入門 (バージョン98)」のHTMLバージョン
44：（-＿-）さん：2017/11/22(水) 21:59:25 ID:IsnBxgGc0: HaskellでLispのSchemeの簡易な実装を作るチュートリアル

Adam Wespiser Write You A Scheme, Version 2
https://wespiser.com/writings/wyas/home.html

Write Yourself a Scheme in 48 Hours - Wikibooks, open books for an open world
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
45：（-＿-）さん：2017/11/22(水) 22:08:17 ID:IsnBxgGc0: Tutorials - HaskellWiki
https://wiki.haskell.org/Tutorials

チュートリアルいっぱいある
どれがいいのだろうか
46：!id:ignore：2017/11/28(火) 17:51:27 ID:???0: HaskellでDP（動的計画法）するには（学習パス）

ラムダ抽象
↓
combinator
↓
supercombinator
↓
CAF (Constant Applicative Form)
↓
DP

ナイーブな理解:
関数と引数の組ではメモ化が発動しないそうだ
f x =～を、f = \x->～と書き直して定数風に定義する
このことをちゃんと説明するのが上記の用語（知らんけど）
47：（-＿-）さん：2017/11/28(火) 17:54:57 ID:???0: おっと、DPというより、『メモ化するには』だったな
48：（-＿-）さん：2017/12/22(金) 17:39:27 ID:???0: RULESによるコンパイル時プログラミング - www.kotha.netの裏
http://d.hatena.ne.jp/mkotha/20131206/1386330227

難しい
49：（-＿-）さん：2018/01/14(日) 19:22:33 ID:meyqB3sQ0: Real World Haskell
http://book.realworldhaskell.org/

Real World Haskell
http://book.realworldhaskell.org/read/

リアルワールド
50：（-＿-）さん：2018/01/19(金) 05:32:34 ID:AA6d4hAc0: 型推論の関連(Haskellの仕組みの理解のための情報？)

型族が単射だと嬉しい理由 - Qiita
https://qiita.com/lotz/items/6c038698c8f04f57113a

7.10. 等式制約
http://www.kotha.net/ghcguide_ja/7.6.2/equality-constraints.html

型クラスを含んだ型推論を概観する ?Typing Haskell in Haskell より? - yu-i9.tmp
http://yu-i9.hatenablog.com/entry/thih