|
|
|
|
|
|
by sharkbot
5278 days ago
|
|
|
The GHC Haskell compiler also supports dynamically scoped parameters via the XImplicitParams switch [1]. Type constraints are used to indicate which variables are propagated to the function. I've used implicit params in my toy compiler code. While it somewhat simplified the structure of the code, I could have easily written the program without them. [1] http://www.haskell.org/ghc/docs/latest/html/users_guide/othe... |
|
|