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
4 weeks 4 days ago
44 weeks 5 days ago
44 weeks 5 days ago
44 weeks 5 days ago
1 year 14 weeks ago
1 year 19 weeks ago
1 year 20 weeks ago
1 year 20 weeks ago
1 year 23 weeks ago
1 year 28 weeks ago