| The Design of Distributed Programming Languages (2008) | |||||||||||||||||
Abstract | |||||||||||||||||
| High-level programming languages For non-distributed, non-concurrent programming, they’re pretty good. We have ML (SML/OCaml), Haskell, Java, C#, with: • type safety • rich concrete types – datatypes and functions • abstraction mechanisms for program structuring – ML modules with abstract types, type classes and monads, classes and objects,... 2 High-level programming languages For non-distributed, non-concurrent programming, they’re pretty good. We have ML (SML/OCaml), Haskell, Java, C#, with: • type safety • rich concrete types – datatypes and functions • abstraction mechanisms for program structuring – ML modules and abstract types, type classes and monads, classes and objects,... But this is only within single executions of single programs. What about distributed computation? 3 Overview In these talks I aim to introduce some of the main problems in designing languages that are just as good for distributed programming as those are for the local, sequential world. For some we have reasonable solutions; others are still open. It’ll be idiosyncratic, not a survey (but with pointers to other work). 4 Challenges (1/2) | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||