Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt

推荐理由

I work on miniKanren, which is a logic programming language with a complete search that doesn't hit the nontermination issues you mention.

引用mballantyne · 原文2017年4月

说明

这是2016年由ClojureTV发布的一部演讲，主题归在Functional programming。它讲的是program synthesis这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.这些读者给出的理由，核心是：HN people point to it as an amazing demonstration of relational programming and program synthesis that still looks exciting after LLM code generation.讲法不绑某一条新闻，过几年仍然可以当材料看。从2017年到2024年，有3位不同的读者在2个不同月份把它推荐出来，其中明确叫别人去看的有1次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把program synthesis变成能跟着复述的例子。

视频信息

频道

ClojureTV

时长

36 分 14 秒

发布年份

2016

同主题更多

• Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
• The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
• "Simple Made Easy" - Rich Hickey (2011)
• "Making Impossible States Impossible" by Richard Feldman
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• The Value of Values with Rich Hickey