首页分类喜欢稍后看历史关于

"Datafun: a functional query language" by Michael Arntzenius

推荐理由

Also be sure to watch Datafun author Michael Arntzenius's Strangeloop talk.

推荐fogzen · 原文2025年6月

说明

这是2017年由Strange Loop Conference发布的一部演讲，主题归在Databases & storage。它讲的是functional query languages这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language. It discusses bridging database theory and programming languages.这些读者给出的理由，核心是：HN recommends it as an approachable talk on a total functional generalization of Datalog, by the language's author.讲法不绑某一条新闻，过几年仍然可以当材料看。从2018年到2025年，有2位不同的读者在2个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把functional query languages变成能跟着复述的例子。

视频信息

频道: Strange Loop Conference
时长: 42 分 31 秒
发布年份: 2017

在 YouTube 打开

同主题更多