/haskell

Haskell 俯瞰まとめ

Primary LanguageHaskell

Haskell

Haskell - An advanced purely-functional programming language

1990 – サイモン・ペイトン・ジョーンズ、ポール・フダック、フィリップ・ワドラー、デミ・ムーアの夫、ならびに動物の倫理的扱いを求める人々によって構成される委員会により、遅延評価を行う純粋な関数型言語Haskellが作られる。副作用の制御に使われるモナドの複雑さのため、Haskellには抵抗を持つ人々がいる。ワドラーは批判を和らげるために、こう語っている。「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」

出典: 不完全にしておよそ正しくないプログラミング言語小史

Index

  1. Haskell: 純粋関数型プログラミング言語
    1. 環境構築
    2. 入門／チュートリアル
    3.  基本文法
    4. 再帰
    5. データ構造とアルゴリズム
    6.  拡張可能レコード
    7. 型クラス
    8. Functor, Applicative, Monad
    9. 継続
    10. Lens
    11. Free Monad
    12. 例外処理・デバッグ・テスト
    13. 構文解析器
    14. Monad Transformer
    15. Algebraic Effects
    16. 並列・並行・分散
    17. ストリーム処理
    18. Functional Reactive Programming
    19. Generic Programming
    20. 型レベルプログラミング
    21. 線形型
    22. Template Haskell
    23. GHCと最適化
  2. 実践Haskell
    1. Haskell製のツール
    2. 社会とHaskell
    3. データベース
    4. Web
    5. セキュリティ
    6. Graphics/Game
    7. IoT/Mobile
    8. 機械学習
    9. 量子コンピュータ
    10. 仮想通貨
  3. プログラミングを支える数学
    1. ラムダ計算
    2. 領域理論
    3. 圏論
    4. 型理論

Related works