<@U5F0TT0UX> <@UGB1USA2J> Not sure if you’ve heard...
# mathematicsb
breandan
07/26/2020, 4:11 PM@altavir @Iaroslav Postovalov Not sure if you’ve heard of it, but there was an old DSL at Sun called Fortress, parts of which may be useful for KMath. It had some similar design goals: stephane.ducasse.free.fr/Teaching/CoursAnnecy/0506-Master/ForPresentations/Fortress-PLDITutorialSlides9Jun2006.pdf
a
altavir
07/26/2020, 4:23 PMThanks, Breandan. I think I've heard about it. But I am not sure that we need something like that. Since the work we do right now is kotlin-centric, the aim right now is to use kotlin language for somrthing more complicated than basic ariphmetics. Also, it is a bit early to discuss, but there is a possibility, that we will be able to detach parts of kotlin AST and transform it to mathematic notation directly. It would use the same mechanics as some fetures planned for research in Kotlin.
i
Iaroslav Postovalov
07/26/2020, 4:37 PM👀
Iaroslav Postovalov
07/26/2020, 4:39 PMWhat do you mean by transforming Kotlin AST to mathematical notation?
a
altavir
07/26/2020, 4:49 PMI mean you can take part of the code and compile it to math notation instead of, say, JVM bytecode. It is not available yet, but probably will be possible in future.
b
breandan
07/26/2020, 4:51 PMYou could use something like MathJax for rendering LaTeX in Jupyter notebooks
breandan
07/26/2020, 4:53 PMa
altavir
07/26/2020, 4:54 PMYeah, we already have some working examples for stand-alone pages: https://github.com/mipt-npm/plotly.kt/blob/dev/examples/src/main/kotlin/latexLabels.kt. The situation with the notebook is a little bit more complicated since we do not have robust script loading mechanism yet. I will address it untill 0.2.0 release which will be there untill the end of the summer.
👍 2
altavir
07/26/2020, 4:55 PMAh, you mean for general math. Yes, I was also thinking about that. And it seems to be possible in the long run. We have all required things for that.
altavir
07/26/2020, 4:57 PMRight now I have my hands full with internships, but @Iaroslav Postovalov continues work in that direction. He just published a (non-research) article about that and I think it makes sense to translate it into English.