Haskell勉強スレッド

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

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板