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