[Cyber Security reading group] Scala 3 (Dotty) theory

[Story H.J.]

Hi all,

I have been going back to programming recently,
and thought the following may be interesting to those
interested in language theory.

Scala 3 is going to be stablised by the end of the year,
and put into production about one year later, after the major
libraries have been ported and the feedback from them integrated.
It is a major language clean up based on the theory below.
The language is already useable, and I am playing with it.

  The theory behind Scala 3 is called DOT for Dependent Object Types,
and is a project that spans 8 years or more of work. It is a generalisation
of F<: . I have collected the relevant papers and talks in the tweet
thread:
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftwitter.com%2Fbblfish%2Fstatus%2F1159431856330293248&amp;data=01%7C01%7C%7C6f3feba00c8c4efb7d0108d71cb038e7%7C4a5378f929f44d3ebe89669d03ada9d8%7C0&amp;sdata=Df53y9AeIkRdHlyRRYrEdFggvIbpYiniCnVL8bzHGYw%3D&amp;reserved=0

As you can see from the videos it is a mapping of functional constructs
into OO ones reducing the base concepts needed in half. This is to
help them simplify the compiler.

It has path dependent types, and recursive types (which I do not
quite understand yet).


Henry