3 ms·
I did a detailed write-up of implementing miniKanren here: https://codeberg.org/ashton314/microKanren https://codeberg.org/ashton314/microKanren By the end of
by ashton314 1y ago
I did a detailed write-up of implementing miniKanren here:
https://codeberg.org/ashton314/microKanren https://codeberg.org/ashton314/microKanren
By the end of it, I implement a small type checker that, when you run it backwards (by giving the checker a type), it proceeds to enumerate programs that inhabit that type!
- kragen 1y agoIsn't that amazing‽ I wonder if you could guide its search with an LLM...
- ashton314 1y agoThere is some research work I’m aware of that’s trying to make type-safe LLM generation a thing.
- whitten 1y agoIs that research publically available, and where ?
- lucascdotnet 1y agoNot sure if this is what you mean, but 'inductive logic programming' and more generally 'program synthesis' are fairly active research areas.
- ashton314 1y agoThis paper appeared at PLDI '25: https://arxiv.org/abs/2504.09246 https://arxiv.org/abs/2504.09246 Discussed on HN at the time: https://news.ycombinator.com/item?id=43978357 https://news.ycombinator.com/item?id=43978357