Implicit parameters seems to be the principled dynamic scoping for statically typed languages. Implicit parameters are in the list of must-have features for th

Implicit parameters seems to be the principled dynamic scoping for statically typed languages. Implicit parameters are in the list of must-have features for the programming language I'll never get around to implement.