Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
will_byrd
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
11 ms
·
61.
▲
by
will_byrd
10y ago
Thank you for the interest in Barliman! I'll try to answer all of the questions this afternoon. Also, I'm very much open to collaboration on Barliman, synthesis, relational interpreters/type inferencers, constraint logic prog
62.
▲
by
will_byrd
10y ago
Thank you for your comments! I agree that type-directed synthesis would be very helpful. One of the inspirations for Barliman is the type-and-example-directed program synthesis by Peter-Michael Osera and Steve Zdancewic: http://