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

Qiita Conference 2023 Autumun での発表資料です 発表時間の見積もりが下手で後半全然説明できませんでした、すみません！ 実際のプロダクト開発ではどうすればいいのか? というケースは以下のスライドを参照してください。 (本スライドは、こちらのプロダクト開発の経験をベースに基礎を再整理したものになります) https://speakerdeck.com/naoya/typescript-niyoru-graphql-batukuendokai-fa-75b3dab7-90a8-4169-a4dc-d1e7410b9dbd

[turanukimaru]

関数型はこのくらい…IOとは一度切り離して次の状態への転写の話をするのがバランスが良いよな。良く有る最初にモナドでIOを扱うのはやりすぎだった。

[aike]

良い資料だしサンプルプログラムレベルだと理解できるんだけど、業務システムとかコンシューマゲームレベルのものをどう設計・機能整理するのかがまだよくわからない。役割分担で分割していくとOOPになりがち。

[tekmak]

最近見かけた一番面白いメンタルモデルは、よびのりチャンネルでやってた局所実在論型プログラミング

[atsushifx]

OOP脳なので、前半の関数による状態遷移はメッセージパッシングと一緒に思えた。後半の型システムは、型の演算ができるようになったので、柔軟かつ堅牢になったよと。ただ、正しく型定義という難しさがでてきた感じ

[PrivateIntMain]

自分の状態変化に対して無頓着な型（むやみに代入を受け入れるなど）がダメなのであって、自律できているぶんにはいいんじゃないのという印象

[efcl]

関数型のメンタルモデル

[akymrk]

"TypeScript""関数型としての側面はありますが""型は集合のメンタルモデルで上手に使い、関数型のエッセンスを取り入れつつも、命令的に書けばいい場面では無理をしない···ぐらいが良いバランスではないでしょうか?"

[kat21]

型を論理和で表現できるのはとてもいいね。久しぶりにワクワクした

[tick2tack]

"（可能な操作や演算などの体系などが）共通している値の集合が型" /　ユニオンの使い方わかってないんで後半面白かった。/ ブコメ、なんでstaticおじさんなのかよくわからない

[zyzy]

一度Haskellやると感覚変わるよね／ほんまstaticおじさんに時代が追いついた

[dalmacija]

こういうのはたのしい

[sifue]

ちょうど社内でHaskell勉強会してるので、すごく良いタイミングで良い資料だった。

[razokulover]

DPとかあの辺の競プロでよく出てくるアルゴリズムの実際のコードレベルになるとよくわからなくなる

[sa-yama321]

良いものと悪いものとを区別できないのなら、何を採用すればよいのかが本当のところがわからない。それゆえに、オブジェクト指向という悪い実践がここまで広がってしまったんだろうな。

[yarumato]

“00年代は「型付けめんどう」と思っていた。Haskellを趣味で書くようになってメンタルモデルが更新された。計算機への命令→関数を適用して値を得る計算の定義。どんな集合からどんな集合に写されるかを型で表現する”

[hiromi_ayase]

よい話だった

[ardarim]

本文には関係ないけどurlが中国語とローマ字混合なのは謎

[binary343]

制約を与えたら認知負荷が下がる

[nemoba]

論理的には状態が境界なんだけど。実際の宣言型は、責務分解が進むから、不安定なままカプセル化した糞デカクラス/モジュールになりづらいって効果の方が高いと思う。

[ytn]

誰かと思えば

[yojik]

バランスとれた良いまとめ

[manimoto]

2000年代のstaticおじさんは実は型システムのメンタルモデルを獲得しており、Javaでそれを目指そうとしていた可能性。当時は「オブジェクト指向を理解できない老害」と嘲笑されていたが、20年経ち時代が追いついた。

[matarillo]

いいまとめ。DMMFの話をする時にも参照したい。

[shibainu1969]

大学で計算機科学を学んだ人は、この辺の話を知ってそうな気がする。逆に計算機科学の素養が業務アプリを書くときに邪魔になったりするのかな。

[shunkeen]

型の表現力は検索における再現率と適合率を高める（値の取りこぼしやノイズを少なくできる）印象がある。関数型のスタイルはパイプライン演算子やモナドのflatMapのような関数の合成（構成）が主役という印象がある。

[kenzy_n]

^_^