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