3 ms·
The more I learn about this project the more I like it. It would be amazing to see Hackett implemented in miniKanren, I think that would really bring us a big
by Y_Y 9y ago
The more I learn about this project the more I like it.
It would be amazing to see Hackett implemented in miniKanren, I think that would really bring us a big step closer to "compiler as a conversation" sort of programming. The combination of relational evaluation and the Haskell type system should be really powerful.
- disconcision 9y ago> "compiler as a conversation" could you elaborate on this concept?
- deleted 9y ago[deleted]
- Y_Y 9y agoIt's not my idea, or a new idea. All the same I couldn't find a good reference. This [0] thread should give you an idea of what I'm talking about and hopefully someone else will come along with a better link. [0]https://news.ycombinator.com/item?id=9397489 https://news.ycombinator.com/item?id=9397489