User loginNavigation |
A unified approach to solving seven programming problemsA fun pearl by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might from ICFP: seven programming challenges solved (easily!) using a relational interpreter. One challenge, for example, is to find quines. Another is to find programs that produce different results with lexical vs. dynamic scope. The interpreter is implemented in miniKanren (of course), inside Racket (of course). |
Browse archives
Active forum topics |
Recent comments
5 days 13 hours ago
41 weeks 7 hours ago
41 weeks 11 hours ago
41 weeks 11 hours ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago