<@U5F0TT0UX> I'm stealing your idea of context ori...

# mathematics

[breandan]

@altavir I'm stealing your idea of context oriented programming for Kotlin𝛁. It's nice because you can declare extensions on parametric types, for example declaring fun List<TypeA>.doSomething() = Something() and fun List<TypeB>.doSomething() = SomethingElse() in the same scope for multiple dispatch on a generic type. What's interesting is that this behavior is not possible to implement with a true member function inside List (due to type erasure), but since the call site knows the type then it will work! This is very cool! https://github.com/breandan/kotlingrad#how

[altavir]

You are welcome. I wanted to do autodiff using common math based on expression API in kmath.

[altavir]

If your implementation will be multiplatform, it will be beneficial to befriend it with my API. Also I can help to move it to multiplatform.

[breandan]

Yeah, it would be great to collaborate. I tried using the artifact hosted on <http://npm.mipt.ru|npm.mipt.ru> a while ago but ran into some issues. I'll look into extending KMath and see what we can reuse

[altavir]

Yeah, there is a lot of changes there and it did not make sense to make partial releases. I think that I will finish matrix revision in a few days and then upload new version.

[altavir]

I also was thinking about differential geometry. It seems rather easy to implement with autodiff, but currently I do not have applications for it.

[breandan]

There has been some recent interest in the connections between AD and differential geometry https://arxiv.org/pdf/1812.11592.pdf https://popl19.sigplan.org/event/lafi-2019-a-nuts-and-bolts-differential-geometric-perspective-on-automatic-differentiation

[altavir]

I am sure I can do it, but I will need test cases. Also it would really help if we can publish results in some peer reviewed paper. We need that for our reports. I do not have experience with CS journals and publication criteria so I will need a co-author for that.