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

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

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

Ответ 1

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

Ответ 2

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

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

Ответ 3

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

Ответ 4

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

Ответ 5

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