13
Mentre apprendevo Haskell ho avuto la sensazione che gli autori non mi dicessero sempre tutto, quindi per capirlo veramente mi piacerebbe conoscere la teoria dietro il sistema dei tipi, le monadi e concetti come quello.Riferimenti per apprendere la teoria alla base di linguaggi funzionali puri come Haskell?
La maggior parte di questi concetti deriva dalla teoria della categoria che ho sentito, quindi quali sono alcuni buoni libri/siti Web su questo argomento e argomenti correlati?
La relazione tra FP, semantica denotativa e teoria delle categorie è molto sottile. Inoltre, la teoria delle categorie è abbastanza difficile da comprendere senza una solida conoscenza di molte aree della matematica: poiché è così astratta, non è possibile coglierla senza molti esempi da aree molto diverse. Un punto di riferimento è il libro di Saunders MacLane "Teoria delle categorie per il matematico del lavoro". Ciò che mi stupisce di questo libro è che è usato ugualmente da persone che fanno * cose * molto diverse e che non si capiscono: geometri algebrici, logici, programmatori, fisici, topologi, ecc. –