Скачать
我为什么要创造一门编程语言 | 笑言 任 | TEDxYouth@ZizhuPark
Автор: TEDx Talks
Загружено: 4 янв. 2021 г.
Просмотров: 1 251 просмотр
Описание:
任笑言，程序员，帆船运动爱好者。这个今年只有高一的学生，已经拥有10年的编程经验。幼儿园毕业之后，他开始了第一次的编程之旅，他发现编程给他带来了无限的乐趣，也在此过程中发现学习的最好方法是实践，学习编程语言理论的最好方法是创造一门编程语言。于是他和小伙伴进行组队，尝试开发专门用来表述数学语言的编程语言。他们希望通过这个项目，为开源社区做出一些贡献，同时也对未来的数学研究提供些许力量。 苏州外国语学校国际部高一年级学生。生活中让他开心的不仅有妹妹和田园犬的陪伴，还有更多未知的挑战。
他喜欢激光级帆船运动，曾经在竞赛中获奖；他还自学了算法和多种编程语言，受Coq、Agda等函数式编程语言的启发，他想开发一种全新的形式化验证编程语言。
演讲主题
《我为什么要创造一门编程语言》
分享自己从不知编程为何物到创造编程语言的探险历程。 This talk was given at a TEDx event using the TED conference format but independently organized by a local community. Learn more at https://www.ted.com/tedx
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
