関数型プログラミング言語Haskell Part33

**デフォルトの名無しさん** · 2020/02/10(月) 18:17:36.49

関数型プログラミング言語 Haskell について語るスレです。

Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part32
https://mevius.5ch.net/test/read.cgi/tech/1548720347/

**デフォルトの名無しさん** · 2020/08/16(日) 21:18:57.26

Haskellはある日突然に誕生したわけではなく、
その前身のMirandaとKRCという関数型言語から
多くの特質を受け継いでいます
これら言語に関してはW*k*p*d*aで簡潔に解説されてるので、
まずそちらを一読したのちに参考文献に当たるべきでしょう
以下ではW*k*p*d*aで欠けている日本語の文献を紹介します

Miranda
[1] 第7章 Miranda, p139-163,
　新しいプログラミング・パラダイム, 共立出版, 1989年
　ttps://www.am*z*n.c*.j*/dp/4320024931
　Mirandaに関する包括的な解説
[2] 関数プログラミング, 近代科学社, 1991年
　ttps://www.am*z*n.c*.j*/dp/4764901811
　Mirandaを用いた関数型プログラミングの入門書
　モナドを含む圏論の応用/発展が誕生する以前の時代に書かれた貴重な教科書

KRC
[3] 4. 関数型言語 KRC, p36-47,
　新世代プログラミング, 共立出版, 1986年
　ttps://www.am*z*n.c*.j*/dp/4320022599
[4] 6.2 KRC (Kent Recursive Caluculator), p132-142,
　プログラミング言語の新潮流, 共立出版, 1988年
　ttps://www.am*z*n.c*.j*/dp/4320023773
　[3], [4] ともKRCに関する包括的な解説
　KRCはすでにインデントベースの構文/純粋関数型/ パターンマッチ/リスト内包表記
　といった特質を備えた動的型付け関数型言語でした

**デフォルトの名無しさん** · 2020/08/16(日) 21:54:00.05

>>380
まず、Types and programming languages とSteve Awodey の Category Theory 読んでからや。

Haskell の話するのは。