1. A method for declaring implicit parameters in programming languages which supports at least one concept that can be interpreted as method (function). Each implicit parameter is declared in method body as expression, comprising of parameter name and parameter type.