What does LIE stand for?

Simon Peyton-Jones simonpj at microsoft.com
Thu Aug 19 03:44:48 EDT 2004

Yep, "Local Instance Environment".  It comes from one of the original
papers about giving a formal description for Haskell's type system (in
TOPLAS, by Cordelia Hall et al).  It's not a very good name.

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
| bounces at haskell.org] On Behalf Of Sean Seefried
| Sent: 19 August 2004 03:50
| To: GHC Users
| Subject: What does LIE stand for?
| Hi all,
| I've been looking through the source code and the GHC commentary and I
| still can't quite work out what LIE stands for. The Type Checking
| section of the Commentary suggests "LIE (Local Instance
|   Could someone out there tell me what it does actually stand for?
| Cheers,
| Sean
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

More information about the Glasgow-haskell-users mailing list