A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda.
/ computerphile
/ computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Смотрите видео Eliminating Run-Time Errors with Agda - Computerphile онлайн, длительностью часов минут секунд в хорошем качестве, которое загружено на канал Computerphile 20 Август 2021. Делитесь ссылкой на видео в социальных сетях, чтобы ваши подписчики и друзья так же посмотрели это видео. Данный видеоклип посмотрели 65,574 раз и оно понравилось 1.9 тысяч посетителям.