……Sedgewick、Wayne；《Introduction to Automata Theory, Languages, and Computation》，Hopcroft、Motwani、Ullman 著。稍微小众一点但好玩到爆的书有：Chris Okasaki 的《Purely Functional Data Structures》、Friedman、Byrd、Kiselyov 的《The Reasoned Schemer》（或者找本好的 Prolog 书也行）。学完基础之后，你可以再去探索自己感兴趣的细分方向。（或者就像 Frank Zappa 那句大实话说的：“你要是想约炮……
…Sedgewick, Wayne - Introduction to Automata Theory, Languages, and Computation, Hopcroft, Motwani, Ullman Lesser known, but incredibly fun books: - Purely Functional Data Structures, Chris Okasaki - The Reasoned Schemer, Friedman, Byrd, Kiselyov (or a good Prolog book). After learning the foundations, you could branch out to a subfield that interests you. (Or as Frank Zappa has bluntly put it: “If you want to get laid,…
很期待 fogus 的 BOF 总结。Dan Friedman（《The Little Schemer》、《The Seasoned Schemer》、《The Reasoned Schemer》以及很多其他优秀书籍和论文的作者）和 William Byrd 都出席了。他们做了一场相当惊艳的关于 miniKanren 的报告。
I'm looking forward to fogus's BOF summary. Dan Friedman (author of The Little Schemer, The Seasoned Schemer, The Reasoned Schemer, and many other excellent books and papers) and William Byrd were in attendance. They gave a pretty stunning presentation on miniKanren.
就是想表达一下，今年能看到《The Reasoned Schemer》的两位作者（Dan Friedman 和 William Byrd）在场真是太赞了。在第一届 Clojure/conj 上，我第一次翻开这本书。发现这么强大的计算模型竟然能在大概……
Just wanted to communicate how amazing it was to have two of the authors of The Reasoned Schemer (Dan Friedman, William Byrd) there this year. At the first Clojure/conj I was opening up its pages for the very first time. To find out that such a powerful computational model can be described in about…
Check out Datalog the query language used to interact with Datomic, www.learndatalogtoday.org William Byrd & Daniel Friedman wrote a book called the Reasoned Schemer, which walks through the implementation of a Prolog like logic language called MiniKanren, check out a recent presentation they gave where they show quite a few interesting examples and uses, http://2013.flatmap.no/danwill.html…
另一个不错的资料来源是任何关于 miniKanren / uKanren 的东西，特别是 William Byrd 的论文和演讲。Daniel Friedman 和 William Byrd 合写了一本叫《The Reasoned Schemer》的书，讲了他们对目标导向语言的理解与构想。
Another good source is anything to miniKanren / uKanren, especially papers and talks by William Byrd. There's a book called the Reasoned Schemer by Daniel Friedman and William Byrd describing their take on a goal oriented language.
……Sedgewick、Wayne；《Introduction to Automata Theory, Languages, and Computation》，Hopcroft、Motwani、Ullman 著。稍微小众一点但好玩到爆的书有：Chris Okasaki 的《Purely Functional Data Structures》、Friedman、Byrd、Kiselyov 的《The Reasoned Schemer》（或者找本好的 Prolog 书也行）。学完基础之后，你可以再去探索自己感兴趣的细分方向。（或者就像 Frank Zappa 那句大实话说的：“你要是想约炮……
…Sedgewick, Wayne - Introduction to Automata Theory, Languages, and Computation, Hopcroft, Motwani, Ullman Lesser known, but incredibly fun books: - Purely Functional Data Structures, Chris Okasaki - The Reasoned Schemer, Friedman, Byrd, Kiselyov (or a good Prolog book). After learning the foundations, you could branch out to a subfield that interests you. (Or as Frank Zappa has bluntly put it: “If you want to get laid,…
很期待 fogus 的 BOF 总结。Dan Friedman（《The Little Schemer》、《The Seasoned Schemer》、《The Reasoned Schemer》以及很多其他优秀书籍和论文的作者）和 William Byrd 都出席了。他们做了一场相当惊艳的关于 miniKanren 的报告。
I'm looking forward to fogus's BOF summary. Dan Friedman (author of The Little Schemer, The Seasoned Schemer, The Reasoned Schemer, and many other excellent books and papers) and William Byrd were in attendance. They gave a pretty stunning presentation on miniKanren.
就是想表达一下，今年能看到《The Reasoned Schemer》的两位作者（Dan Friedman 和 William Byrd）在场真是太赞了。在第一届 Clojure/conj 上，我第一次翻开这本书。发现这么强大的计算模型竟然能在大概……
Just wanted to communicate how amazing it was to have two of the authors of The Reasoned Schemer (Dan Friedman, William Byrd) there this year. At the first Clojure/conj I was opening up its pages for the very first time. To find out that such a powerful computational model can be described in about…
可以了解一下 Datalog，它是用来和 Datomic 交互的查询语言，www.learndatalogtoday.org。William Byrd 和 Daniel Friedman 写过一本叫《The Reasoned Schemer》的书，手把手带你实现一个类似 Prolog 的逻辑语言 MiniKanren，推荐看看他们最近做的一个演讲，里面展示了不少很有意思的例子和用法，http://2013.flatmap.no/danwill.html……
Check out Datalog the query language used to interact with Datomic, www.learndatalogtoday.org William Byrd & Daniel Friedman wrote a book called the Reasoned Schemer, which walks through the implementation of a Prolog like logic language called MiniKanren, check out a recent presentation they gave where they show quite a few interesting examples and uses, http://2013.flatmap.no/danwill.html…
另一个不错的资料来源是任何关于 miniKanren / uKanren 的东西，特别是 William Byrd 的论文和演讲。Daniel Friedman 和 William Byrd 合写了一本叫《The Reasoned Schemer》的书，讲了他们对目标导向语言的理解与构想。
Another good source is anything to miniKanren / uKanren, especially papers and talks by William Byrd. There's a book called the Reasoned Schemer by Daniel Friedman and William Byrd describing their take on a goal oriented language.
有《The Reasoned Schemer》。https://www.amazon.com/Reasoned-Schemer-MIT-Press/dp/0262535...
There is The Reasoned Schemer. https://www.amazon.com/Reasoned-Schemer-MIT-Press/dp/0262535...