I've finished editing article on context-oriented programming basics: <https://medium.com/@altavir/a...

# mathematics

[altavir]

I've finished editing article on context-oriented programming basics: https://medium.com/@altavir/an-introduction-context-oriented-programming-in-kotlin-2e79d316b0a2. My current interest in this is mathematics so I am posting it here.

[bjonnh]

How do you refer to the this of a parent class in a nested class such as A<A<A… (following your example with nested classes where you access the parent with this@A)

[altavir]

Current language resolves it to closest context matching A. If we are talking about not-yet-existing nested context feature, it is discussed here: https://discuss.kotlinlang.org/t/compound-extension/10722/31. My current proposal on resolution of types inside nested contexts is in this post: https://discuss.kotlinlang.org/t/compound-extension/10722/24?u=darksnake

[altavir]

But I should note that context oriented math does not require nested context. It would benefit from this feature, but works as is.