search

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
MIT License
3.34k stars 256 forks source link

Usage or 'reified' in Evaluation #20

Closed NicolasT closed 7 years ago

NicolasT commented 9 years ago

The Evaluation chapter says

This value will be passed off to Haskell and reified into real world effects.

I believe this is somewhat confusing. In my understanding, that value is not reified into real world effects. On the contrary, it is a reification of real world effects, which can then be interpreted to actually cause those effects. Or am I misunderstanding the concept of reification?

sdiehl commented 9 years ago

I mean to say it is lifted into the main function of Haskell and evaluated by the runtime in the usual way. Perhaps that isn't clear from the text?