Implicit Function Arguments
simonpj at microsoft.com
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