Un ejercicio de programación clásico es escribir un intérprete Lisp / Scheme en Lisp / Scheme. Se puede aprovechar el poder del idioma completo para producir un intérprete para un subconjunto del idioma. ¿Existe un ejercicio similar para Haskell? Me gustaría implementar un subconjunto de...