The Promise of Relational Programming
The coolest / most mind blowing programming talk I've ever seen.
Relational programming will play a huge part of the future one way or another, I'm sure.
sazius, Claes Wallin (韋嘉誠), David Thompson, jrobb likes this.
Claes Wallin (韋嘉誠), Olivier Mehani shared this.
Show all 9 replies
I took Dan Friedman's programming languages class at Indiana University, and I know Will Byrd in meatspace. Dan and Will are the nicest folks you will ever meet, but I am scarred for life by miniKanren. I could do the homework, but only without a real appreciation of what's actually going on.
MiniKanren is really cool, and I freely admit that I am quite a lousy programmer. Perhaps I am not qualified to comment on "the future". :-)
MiniKanren is really cool, and I freely admit that I am quite a lousy programmer. Perhaps I am not qualified to comment on "the future". :-)
Sajith Sasidharan at 2015-07-18T02:11:52Z
Christopher Allan Webber likes this.
I laughed when I saw the relational interpreter spit out "twines": two programs whose output is the other program. Great talk.
David Thompson at 2015-07-18T18:16:59Z
Christopher Allan Webber likes this.
I am embarrassed it wasn't even enough for him to put the ",q" inside the "my-append". He had to do "run 2", and see that it "cheated", before my inner voice went OMG YOU CAN MAKE IT CREATE CODE THAT SATISFIES YOUR TEST SUITE.
Claes Wallin (韋嘉誠) at 2015-07-18T21:43:28Z
Christopher Allan Webber likes this.
@Claes Wallin (韋嘉誠) Now that's test driven development!
Christopher Allan Webber at 2015-07-19T01:16:35Z
Claes Wallin (韋嘉誠) likes this.