Raphael Jolly – Computer algebra in Scala : what’s new with Dotty?


The Java Algebra System (JAS) developed by H. Kredel at the university of Mannheim takes advantage of Java’s static types and type parameters to define algebraic structures and operations in a clean and rigorous way. For the user interface, the decision was made not to reinvent the wheel and to use a general-purpose programming language through the Java scripting API. Currently, two implementations exist with Jython and JRuby. In this talk, I will present the challenges raised by implementing a nice mathematical interface in Scala, and what is made possible with Dotty’s new contextual abstractions.

Leave a Reply

Your email address will not be published. Required fields are marked *