Is FPH implemented in GHC?

[Simon Peyton-Jones]

Not yet.  But Dimitrios has just started a postdoc at MSR, so we will be working on fixing, once and for all, the impredicative story in GHC.

Meanwhile, why do you ask?  Making impredicative polymorphism work seems to be the Right Thing, but it's something of a "technology push", perhpas a solution in search of a problem.  Do you have an application that needs it?

This is a general question to GHC users.  (If you don't know what impredicative polymorphism is, think "can I have a type like (Maybe (forall a. [a] -> [a]))".)

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Wolfgang Jeltsch
| Sent: 10 September 2008 15:21
| To: glasgow-haskell-users at haskell.org
| Subject: Is FPH implemented in GHC?
|
| Hello,
|
| is FPH implemented in GHC?  If yes, will it be part of GHC 6.10.1?
|
| Best wishes,
| Wolfgang
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users