Thursday, August 28, 2008

How to mess with Comp Sci Students

Assignment: Write a compiler that compiles all programs that can't compile themselves.
Extra Credit: Use the compiler to compile assignment.


Kalani said...

In a sense that's what total-functional dependently-typed proof assistants like Coq and Epigram are for.

Sal Mangano said...

Ah, I always suspected that Coq and Epigram were menat to mess with Comp Sci steudents. :-)