関数型プログラミング - mrsekut-p

関数型プログラミング

厳密な定義はない。任意の人が感覚で「関数型プログラミング」と呼んでいる

「関数型言語」という言葉を使わない

Alonzo Churchが1936年にラムダ計算を発明

Alan Turingが挑んでいた数学的問題を追求していた

Lispの基礎になっている

個人的には「functional-oriented」じゃないのか？と思ってるmrsekut.icon

代表的な言語

関数型言語のウソとホント - Qiita

一応全部読んだ

項書換えモデル

句構造文法

関数型プログラミングのレベル分け

STANDARDIZED OPEN LADDER OF FUNCTIONAL PROGRAMMING

参考

『コーディングを支える技術』

『Clean Architecture』

こわくない関数型プログラミング (1) こんな文章を書き始めた理由｜tockri｜note

https://blog.kokuyouwind.com/archives/808/

「関数型言語」に関するFAQ形式の一般的説明 - Qiita

https://www.slideshare.net/ksknac/120901fp-key/7

https://www.slideshare.net/osiire/ss-43240712

http://www.sampou.org/haskell/article/whyfp.html

http://okapies.hateblo.jp/entry/2016/12/15/021550

https://www.ibm.com/developerworks/jp/java/library/j-ft20/