About
Objects are useful because they are natural modules, that is, building blocks from which larger systems are defined. Static type systems are essential for fine grained control what information is exposed in a module, and, conversely, what one is free to change inside a module. A good module or object system should follow three principles:
- Everything can be nested in a module. - Everything can be parameterized with a module. - Module types are interfaces, which can be abstracted.
In this talk Martin will present DOT, a particularly simple calculus that can express systems following these principles. DOT has been developed as the foundation of the next version of Scala. He will also report on dotty, a new Scala compiler that implements the constructs of DOT in its core data structures and that uses the lessons learned to drive Scala's evolution..
0:00:00 Slide 1
0:00:46 Slide 2
0:00:56 Slide 3
0:02:13 Slide 4
0:03:32 Slide 5
0:04:58 Slide 6
0:05:33 Slide 7
0:05:49 Slide 8
0:06:36 Slide 9
The talk
Credits and licence
- Institution
- CERN
- Department
- Conferences
- Speaker
- Martin Odersky
- Year
- 2017
- Language
- English
- Source
- CERN
- Licence
- CERN, as CERN states it. CERN's terms
- Attribution
- © CERN. CERN provides its audiovisual media free of charge for educational and informational use, credited to CERN; this lecture is shown in CERN's own player.
- Who can watch
- CERN gives no rating. Invisible Network shows it to Teens profiles and older, judged from what the source says about it. How courses are placed