Tuesday, August 21, 2007

Типы: ссылки

Пожалуй, первая серия постов про типы на этом заканчивается. Продолжение будет.

В этом посте я собрал немножко разных ссылок по теме, часть из них я уже приводил — пускай будут в одном месте:

Вообще:

  • Отличные слайды к лекциям по курсу "Types and programming languages" университета Глазго (это там, где появился GHC).
  • "Types and Programming Languages The Next Generation" — лекция Бенджамина Пирса о том что вообще в теории типов сейчас происходит.
  • Лука Карделли тоже много разных интересных научно-популярных вещей написал, например вот("Type Systems") и вот("On Understanding Types, Data Abstraction, and Polymorphism").

Про подтипы:

Про наследование:

На русском языке, из интересного, рекомендую почитать в блоге Льва Курца откуда типы вообще возникли — с "более математической" точки зрения.

Еще есть глава про типы в книжке И. Дехтяренко "Декларативное программирование" — сам я, правда, ее подробно еще не смотрел.

3 comments:

Андрей Плахов said...

Очень приятная серия, спасибо.

Планируете ли рассказывать дальше?

Из практических применений интересно было бы поговорить о variant types и pattern matching; из теории - об изоморфизме Карри-Говарда и связи всего этого с конструктивной математикой.

lrrr said...

Планирую, как минимум, вторую серию, как только пару вечеров найду свободных ;)

Как раз, думаю, будет про variant/sum/recursive типы.

1 said...

agp1.nm.ru
подборка формализаций ооп- систем