InfoBedingungenDatenschutzKontakt
 
Wird aktualisiert
Strachey 100: an Oxford Computing Pioneer

Strachey 100: an Oxford Computing Pioneer

Veröffentlicht: 2017-06-26
© Oxford University
Strachey 100: an Oxford Computing Pioneer - QR Code
12 Folgen
Video
Anhören auf Apple Podcasts
12 Folgen
Video
Anhören auf Apple Podcasts
Veröffentlicht: 2017-06-26
© Oxford University
Aktuelle Folge
What are types for?

What are types for?

Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a number by a string.
Länge: 31:40
Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a number by a string. But this is only half of the benefit of types: it is what types are against. Types in programming languages are also what enable some good things to happen, such as selecting the right implementation of a heterogeneous operation like comparison or printing based on type information; this is what are types for. This ability is surprisingly powerful, and gives rise to a variety of highly expressive generic programming techniques. Jeremy illustrates with some examples based on the rank-polymorphic array operations introduced in Iverson’s APL: not only does the type information prevent array shape errors, it is what directs the lifting of operations across array dimensions.
Folgen-ID: 1000389111107
GUID: http://rss.oucs.ox.ac.uk/tag:2017-06-26:120527:000:file:300373:video
Erscheinungs­datum: 26.6.2017, 12:55:50

Beschreibung

Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the Department of Computer Science at Oxford University. Although Strachey was keenly interested in the practical aspects of computing, it is in the theoretical side that he most indelibly left his mark, notably by creating with Dana Scott the denotational (or as he called it, ‘mathematical’) approach to defining the semantics of programming languages. Strachey also spent time writing complex programs and puzzles for various computers, such as a draughts playing program for the Pilot ACE in 1951. He developed some fundamental concepts of machine-independent operating systems, including an early suggestion for time-sharing, and was a prime mover in the influential CPL programming language. Strachey came from a notable family of intellectuals and artists, perhaps most famous for Christopher’s uncle Lytton, a writer and member of the Bloomsbury group.
We marked the occasion of 100 years since Christopher Strachey's birth on Saturday 19th November 2016, three days after his birthday, with a symposium of invited speakers. The morning looked back at Strachey’s life and works from a historical and technical perspective, and the afternoon concerned continuing research themes in Computer Science inspired by Strachey, at Oxford and elsewhere. This podcast series has recordings of these talks.

Apple Podcasts: Kundenrezensionen

Kein Eintrag