[Presentation] Benjamin C. Pierce: Types Considered Harmfull
От: deniok Россия  
Дата: 31.05.08 09:13
Оценка: 88 (7) +1
Очень интересно и с юмором. Выводы:

Mechanical checks of simple properties enormously improve software quality:


Needed: Better ways of integrating these different sorts of checks


ЗЫ: Benjamin C. Pierce, кто не знает, автор Types and Programming Languages — одного из лучших учебников по теории типов.
типы презентация
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.