Waitomo: Web-Programming with Objects and Interfaces
30
Microsoft Research330 тыс
Следующее
07.09.16 – 36 71842:32Популярные
200 дней – 57646:03
306 дней – 16522:21Опубликовано 7 сентября 2016, 16:27
Waitomo is an experimental programming language derived from Java. It aims to strengthen the guarantees of type safety by eliminating the need for casting without sacrificing the flexibility of the object-oriented programming style. The vital ingredients of the language are generics combined with a new approach to interfaces that includes a notion of self-types and union types. Waitomo interfaces are not types, but rather constraints which can be imposed on generics. This choice enables elegant solutions to standard programming problems. Besides an introduction to the language, the paper contains the full formalization of a core language with proofs of type soundness and decidability of subtyping. A prototype implementation of the language exists.
Свежие видео
4 дня – 1 5112:28
4 дня – 3612:49
6 дней – 35 19623:30
15 дней – 8 5550:16
16 дней – 2 1900:45
17 дней – 3021:28Случайные видео
86 дней – 29 9470:10
139 дней – 17 0023:27
28.05.22 – 8 9890:16
13.04.22 – 1 0951:29
12.05.13 – 51 6606:44
4 дня – 5700:45
4 дня – 1280:43
5 дней – 98 2587:40
5 дней – 517 8960:48
11 дней – 114 1171:00
11 дней – 218 3640:27
12 дней – 4 8060:51
3 дня – 1 93936:41