Ucząc się Haskella miałem poczucie, że autorzy nie zawsze mówią mi wszystko, więc aby to naprawdę zrozumieć, chciałbym poznać teorię systemu typu, monad i takich pojęć.Odniesienia do nauki teorii stojącej za czystymi językami funkcjonalnymi, takimi jak Haskell?
Większość tych pojęć pochodzi z teorii kategorii, którą słyszałem, więc jakie są dobre książki/strony internetowe na ten temat i pokrewne tematy?
Dokumenty autorstwa Philip Wadler i Simon Peyton Jones powinny zacząć od teorii za Haskellem. Książka The Implementation of Functional Programming Languages (dostępna online) autorstwa Simona Peytona Jonesa jest dość stara, ale nadal interesująca.
Artykuł "Dlaczego funkcjonalne programowanie jest Ważne "to bardzo dobra lektura. Dzięki za wskazanie mi tego. +1 –
Te wyglądają obiecująco, zajrzę do nich. Dzięki! – Rubendv
Polecam, patrząc na niektóre prace naukowe na ten temat. "Monety wcielające" Philipa Wadlera i "Monady do programowania funkcjonalnego" to dwa dobre miejsca początkowe do zrozumienia monad.
Znajdziesz linki do większości na http://www.haskell.org/haskellwiki/Research_papers.
Haskell ma system typu Hindley Milner. Aby uzyskać więcej informacji, zobacz Wikipedia i this blog post.
Może okaże się przydatny ten blog post.
Rachunek lambda jest zdecydowanie istotny, jeśli naprawdę zależy wam na zrozumieniu funkcjonalnych języków. Mogę polecić Henk Barendregt's introduction, a także jego book (pełny tekst online).
Relacja między PR, semantyką denotacyjną i teorią kategorii jest bardzo subtelna. Co więcej, teoria kategorii jest dość trudna do uchwycenia bez solidnej znajomości wielu dziedzin matematyki: ponieważ jest tak abstrakcyjna, nie można jej zrozumieć bez wielu przykładów z bardzo różnych dziedzin. Przełomowym punktem odniesienia jest książka Saundersa MacLane'a "Teoria kategorii dla Matematyka roboczego". To, co zadziwia mnie tą książką, to fakt, że jest ona w równym stopniu używana przez ludzi, którzy robią * bardzo * różne rzeczy i którzy się nie rozumieją: algebraiczni geometrzy, logicy, programiści, fizycy, topologowie, itp. –