> the Haskell community has yet to internalize the ideas that PLT research has come up with, as to how laziness and strictness should be specified Could you ho

> the Haskell community has yet to internalize the ideas that PLT research has come up with, as to how laziness and strictness should be specified Could you how those ideas should be used in practice? I'm a Haskell programmer and vaguely familiar with the ideas you mention but it's not clear to me exactly how they fit into a practical language.