Книги для начинающих по теории систем типов [закрыто]

В настоящее время этот вопрос не подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, вызовет дискуссии, аргументы, опросы или расширенное обсуждение. Если вы считаете, что этот вопрос можно улучшить и, возможно, снова открыть, посетите справочный центр , чтобы получить рекомендации.

Закрыт 8 лет назад .

Я хочу изучать теорию систем типов. У меня нет опыта в теории систем типов, поэтому я более или менее новичок (за исключением статей, которые я прочитал по этой теме и которые меня пугают из-за используемых обозначений). Какие хорошие книги могут помочь мне начать работу? Я смотрел книгу Бенджамина К. Пирса «Типы и языки программирования». Подходит ли это для новичка или это слишком сложно? Если это слишком сложно, что еще я могу использовать для начала учебы?

Спасибо,

Ура,

Закрыт 8 лет назад .

Спасибо,

Ура,

Закрыт 8 лет назад .

Спасибо,

Ура, Какие хорошие книги могут помочь мне начать работу? Я смотрел книгу Бенджамина К. Пирса «Типы и языки программирования». Подходит ли это для новичка или это слишком сложно? Если это слишком сложно, что еще я могу использовать для начала учебы?

Спасибо,

Ура, Alex

задан sepp2k 11 November 2010 в 22:55

0 ответов

Другие вопросы по тегам:

types computer-science type-theory

Книги для начинающих по теории систем типов [закрыто]

0 ответов

Похожие вопросы: