generated at
関数型プログラミングと型システムのメンタルモデル
#関数型プログラミング #型 #メンタルモデル

---
関数型プログラミングと型システムのメンタルモデル - Speaker Deck
---
プログラムを「計算機への命令」ではなく「関数を適用して値を得る計算」の定義と捉える
関数fは、値を写すもの
型をどう考えるか？



オブジェクトの内部状態を書き換える命令を行うことで、状態を変化させる
イベントを契機に状態が遷移する
遷移前の状態は必ず引数に現れ、遷移後の状態は戻り値に現れる
IOはコンピュータへの命令なので、命令的に記述するのは自然

どんなプログラミング言語でも関数型でガンガンやっていくべき？

---
はじめに #Haskell
---
副作用のキュー管理
副作用は最初と最後に寄せる
副作用とドメインを切り離す
---

関連
TypeScript による GraphQL バックエンド開発
プログラミングにおける命令型と宣言型の違いとは
TypeScriptでどこまで「関数型プログラミング」するか ─ 「手続き Haskell」から考察する - 一休.com Developers Blog