Динамичная отрасль.
Вообще я конечно хренею тихо от мифа о "динамично развивающейся отрасли IT":
Ну вот то что я по dafny и saw пишу - это вообще-то говоря логика Хоара доведенная наконец до практически юзабельного вида.
Хоар ее придумал в 1969 году. Дейкстра "Дисциплину программирования", где оно популярно презентуется "с человеческим лицом" написал в 1976 (на русском кстати 1978 публикация в серии "со стрелочками" - любимая книжка деццтва - в 9 классе внимательно читал.
Ну в общем - "не прошло и полвека", как этим заинтересовались.
Функциональные языки чуть побыстрее - придумано все в начале 80-х - в индустрию пошло лет через 25.
Объектное программирование - 1967 год - жужжать начало в конце 80-х (если не считать неудавшийся реально взбрык со Смоллтолком).
Ну там про unix, который "не прошло и 40 как наконец перестал быть "системой будущего" (это старая шутка была)
Динамичная очень отрасль. Ага.
Почему кстати историю программирования особенно 60-70-х гг знать полезно - там лежит куча всякого разного, которое только надо поднять с полу, стереть пыль и выгодно продать.
Ну вот то что я по dafny и saw пишу - это вообще-то говоря логика Хоара доведенная наконец до практически юзабельного вида.
Хоар ее придумал в 1969 году. Дейкстра "Дисциплину программирования", где оно популярно презентуется "с человеческим лицом" написал в 1976 (на русском кстати 1978 публикация в серии "со стрелочками" - любимая книжка деццтва - в 9 классе внимательно читал.
Ну в общем - "не прошло и полвека", как этим заинтересовались.
Функциональные языки чуть побыстрее - придумано все в начале 80-х - в индустрию пошло лет через 25.
Объектное программирование - 1967 год - жужжать начало в конце 80-х (если не считать неудавшийся реально взбрык со Смоллтолком).
Ну там про unix, который "не прошло и 40 как наконец перестал быть "системой будущего" (это старая шутка была)
Динамичная очень отрасль. Ага.
Почему кстати историю программирования особенно 60-70-х гг знать полезно - там лежит куча всякого разного, которое только надо поднять с полу, стереть пыль и выгодно продать.