Ссылки для изучения теории за чисто функциональные языки, такие как Haskell?

Question

Во время изучения Хаскелла у меня было ощущение, что авторы не всегда рассказывают мне все, поэтому, чтобы по-настоящему понять это, я хотел бы узнать теорию, лежащую в основе системы типов, монад и подобных понятий.

Большинство этих понятий происходят из теории категорий, которую я слышал, так что же это за хорошие книги / сайты по этой теме и смежным темам?

Answer 1

Документы Филиппа Уодлера и Саймона Пейтона Джонса должны дать вам представление о теории Хаскелла. Книга Реализация языков функционального программирования (доступна онлайн) Саймона Пейтона Джонса довольно старая, но все еще интересная.

Answer 2

Haskell имеет систему типов Хиндли Милнера. См. Википедия и этот блог для получения более подробной информации.

Answer 3

Я бы порекомендовал взглянуть на некоторые исследовательские работы по этой теме. «Понимание монад» Филипа Уодлера и «Монады для функционального программирования» - это две хорошие отправные точки для понимания монад.

Вы найдете ссылки на большинство в http://www.haskell.org/haskellwiki/Research_papers.

Answer 4

Лямбда-исчисление определенно важно, если вы действительно хотите понимать функциональные языки. Я могу порекомендовать введение Хенка Барендрегта , а также его книгу (полный текст онлайн).

Answer 5

Может быть, вы найдете это сообщение в блоге полезным.