История изменений
Исправление hateyoufeel, (текущая версия) :
Так и есть. Всю теорию программирования к 70ым годам уже прописали в университетах. Сейчас программирование это технология. Теоретически ничего нового.
Ты опять неправ. Как тебе это удаётся-то? Два из двух!
Зависимые типы – идея из 90х, в ход пошли только в 2000х (Agda, Idris, ATS, SPARK). Линейные типы в программирование сунуть догадались и того позже, это уже 2000е, воплотилось в Rust (и ещё Idris, Haskell и мб пара других языков).
Исходная версия hateyoufeel, :
Так и есть. Всю теорию программирования к 70ым годам уже прописали в университетах. Сейчас программирование это технология. Теоретически ничего нового.
Ты опять неправ. Как тебе это удаётся-то? Два из двух!
Зависимые типы – идея из 90х, в ход пошли только в 2000х (Agda, Idris, ATS). Линейные типы в программирование сунуть догадались и того позже, это уже 2000е, воплотилось в Rust (и ещё Idris, Haskell и мб пара других языков).