История изменений
Исправление
hateyoufeel,
(текущая версия)
:
Ждём когда в язычках появятся штуки из HoTT (Гомотопическая Теория Типов).
А что там за штуки, чем интересны, полезны?
Пока никто не знает. Узнаем лет через 10-15. Я пока только библиотечку для Агды видел, но я в HoTT не особо шарю.
Навскидку, это может вылиться в более удобную систему типов с лучшим поиском ошибок, либо в более простой поиск доказательств корректности всякими статическими анализаторами.
Исправление
hateyoufeel,
:
Ждём когда в язычках появятся штуки из HoTT (Гомотопическая Теория Типов).
А что там за штуки, чем интересны, полезны?
Пока никто не знает. Узнаем лет через 10-15. Я пока только библиотечку для Агды видел, но я в HoTT не особо шарю.
Навскидку, это может вылиться в более удобную систему типов с лучшим поиском ошибок, либо в более простое доказательств корректности всякими статическими анализаторами.
Исправление
hateyoufeel,
:
Ждём когда в язычках появятся штуки из HoTT (Гомотопическая Теория Типов).
А что там за штуки, чем интересны, полезны?
Пока никто не знает. Узнаем лет через 10-15. Я пока только библиотечку для Агды видел, но я в HoTT не особо шарю.
Навскидку, это может вылиться в более удобную систему типов с лучшим поиском ошибок.
Исходная версия
hateyoufeel,
:
Ждём когда в язычках появятся штуки из HoTT (Гомотопическая Теория Типов).
А что там за штуки, чем интересны, полезны?
Пока никто не знает. Узнаем лет через 10-15.