This 2019 work seems to have landed since in Koka, with the implicit keyword renamed to effect; see, e.g., § “Value Operations” in the Koka manual.
implicit
effect
I came to this from http://blog.ezyang.com/2020/08/dynamic-scoping-is-an-effect-implicit-parameters-are-a-coeffect/.
This 2019 work seems to have landed since in Koka, with the
implicitkeyword renamed toeffect; see, e.g., § “Value Operations” in the Koka manual.I came to this from http://blog.ezyang.com/2020/08/dynamic-scoping-is-an-effect-implicit-parameters-are-a-coeffect/.