Implicit Function Arguments

Simon Peyton-Jones simonpj at
Mon Jun 30 03:29:05 EDT 2008

| > This is the second time I have seen someone comment on implicit
| > parameters being planned for removal, so now you have my attention :).
| > I'd like to mention that a rather large project where I work (Galois,
| > Inc.) uses implicit parameters a lot, so removing support for them
| > would make me rather unhappy.
| Hm, looks like terminology confusion.  Implicit parameters are
| staying.  *Linear* implicit parameters were deprecated in 6.6 and seem
| to be gone now.

Brandon's right.  Linear implicit parameters are gone.  Opinions differ about (ordinary) implicit parameters, but they are sometimes jolly useful, and don't seem to impose non-local complications on the type system.  We have no plans to remove them from GHC.


More information about the Glasgow-haskell-users mailing list