From H.J.Story at soton.ac.uk Fri Aug 9 10:59:08 2019 From: H.J.Story at soton.ac.uk (Story H.J.) Date: Fri, 9 Aug 2019 09:59:08 +0000 Subject: [Cyber Security reading group] Scala 3 (Dotty) theory References: Message-ID: 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&data=01%7C01%7C%7C6f3feba00c8c4efb7d0108d71cb038e7%7C4a5378f929f44d3ebe89669d03ada9d8%7C0&sdata=Df53y9AeIkRdHlyRRYrEdFggvIbpYiniCnVL8bzHGYw%3D&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