Ответ 1
Документы от Philip Wadler и Саймон Пейтон Джонс должен начните с теории Хаскелла. Книга Реализация языков функционального программирования (доступно онлайн) Саймона Пейтона Джонса довольно старая, но все же интересная.
Ссылки для изучения теории чистых функциональных языков, таких как Haskell?
Во время обучения в Haskell у меня было ощущение, что авторы, которые не всегда говорят мне все, поэтому, чтобы по-настоящему понять это, я хотел бы знать теорию системы типов, монады и такие понятия.
Большинство из этих понятий исходит из теории категорий, которую я слышал, так что это за хорошие книги/сайты по этой теме и смежным темам?
Ответы
Ответ 2
Я бы рекомендовал посмотреть на некоторые из исследовательских работ по этой теме. Филипп Вадлер "Понимание монадов" и "Монады для функционального программирования" - это два хороших стартовых места для понимания монадов.
Вы найдете ссылки на большинство из http://www.haskell.org/haskellwiki/Research_papers.
Ответ 3
Haskell имеет систему типа Хиндли Милнера. См. Wikipedia и этот пост в блоге для получения дополнительной информации подробности.
Ответ 4
Возможно, вы найдете этот сообщение в блоге полезным.
Ответ 5
Лямбда-исчисление, безусловно, является сильным, если вы действительно хотите понять функциональные языки. Я могу порекомендовать введение Henk Barendregt, а также его book (полный текст в Интернете).