Я недавно изучаю Хаскель и языки программирования. Может ли кто-нибудь порекомендовать несколько книг по теории типов?
28
Я недавно изучаю Хаскель и языки программирования. Может ли кто-нибудь порекомендовать несколько книг по теории типов?
Ответы:
Фонды программного обеспечения Бенджамина С. Пирса было бы хорошим началом. Это было бы хорошим предшественником его типов и языков программирования . Есть также Теория типов Саймона Томпсона и Функциональное программирование и Доказательства и Типы Жирара .
источник
Barendregts Lambda Calculi с типами более продвинут, но он охватывает некоторые важные темы в «классической» теории типов.
источник
Книга Роберта Харпера «Практические основы языков программирования» (доступна в виде черновика на сайте: http://www.cs.cmu.edu/~rwh/plbook/book.pdf ) представляет собой несколько более интенсивную альтернативу типам и языкам программирования.
источник
Это больше о математических основах и меньше о компьютерных науках, но книга « Теория гомотопических типов: однолистные основы математики» доступна бесплатно в формате pdf по лицензии CC.
источник
Еще одна интересная книга, которая связывает теорию типов с программированием на функциональном языке, - это « Использование, понимание и раскрытие языка OCaml» Дидье Реми .
источник