насчёт TAPL -- упражнения там на любителя. Или на студента, изучающего курс. Если нужно где-то прикрутить типизацию -- можно обратиться к книге, прочитать нужное, опционально порешать нужное, затем и делать. Если "для общего развития" -- можно и забить на упражнения, просто читать и вникать. Дилетантский и поверхностный взгляд, но мне нравится, тем более, в наши времена не модно заучивать то, что пригождается реже, чем несколько раз в день: всегда можно почитать манул. Если же хочется именно "понять глубиной души", это другой вопрос (подозреваю, что в посте именно он), и там уже нужно достигать требуемого уровня понимания. Как -- никто не советчик. Я бы отталкивался от реальных нужд, заставляющих смотреть на TAPL. Может и упражнения. Кстати, мне сейчас близко кое-что, находящееся рядом с TAPL -- а именно, доказательства (в моём случае -- с помощью coq). И многое в TAPL основывается на утверждениях и доказательствах, вспомним хотя бы "невыносимо непонятный контекст типизации Г". Поковырять их в coq -- забавное занятие, если область близка.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
Date: 2012-07-27 08:21 pm (UTC)Если нужно где-то прикрутить типизацию -- можно обратиться к книге, прочитать нужное, опционально порешать нужное, затем и делать.
Если "для общего развития" -- можно и забить на упражнения, просто читать и вникать. Дилетантский и поверхностный взгляд, но мне нравится, тем более, в наши времена не модно заучивать то, что пригождается реже, чем несколько раз в день: всегда можно почитать манул.
Если же хочется именно "понять глубиной души", это другой вопрос (подозреваю, что в посте именно он), и там уже нужно достигать требуемого уровня понимания. Как -- никто не советчик. Я бы отталкивался от реальных нужд, заставляющих смотреть на TAPL. Может и упражнения.
Кстати, мне сейчас близко кое-что, находящееся рядом с TAPL -- а именно, доказательства (в моём случае -- с помощью coq). И многое в TAPL основывается на утверждениях и доказательствах, вспомним хотя бы "невыносимо непонятный контекст типизации Г". Поковырять их в coq -- забавное занятие, если область близка.