Hello,
Sorry in advance for the soft question:
Recently I have been studying more about how a lazy functional language is designed and compiled and have been reading Peyton-Jones's book "implementing functional languages: an introduction"