PickVidsJonathan Blow - Jai Demo and Design Explanation (KEYNOTE) - Updated
推荐理由
In a talk on the language[2], he demos how he is able to use the language's meta-programming features
说明
这是2025年由LambdaConf发布的一部演讲，主题归在Programming language design。它讲的是jai programming language这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：Jonathan Blow's LambdaConf 2025 keynote demonstrates the Jai programming language and explains its design. It includes demos of metaprogramming and tools that visualize programs.这些读者给出的理由，核心是：HN points to it for seeing Jai's compile-time metaprogramming in practice and for Blow's tools that visualize programs to spot problems.它贴着当时的技术，看的时候要记得那是那个年份的判断。从2025年到2026年，有2位不同的读者在2个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把jai programming language变成能跟着复述的例子。
视频信息
- 频道
- LambdaConf
- 时长
- 1 小时 13 分
- 发布年份
- 2025