Upload File

christopher strachey: first-class citizen · 2017-06-08 · ml [hmm86, mi187], miranda1[tur85], and...

  • Home
  • Documents
  • Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
41
Christopher Strachey: First-class Citizen Philip Wadler University of Edinburgh Strachey 100, 19 November 2016

Upload: others

Post on 17-Jun-2020

2 views

Category:

Documents


0 download

Report

TRANSCRIPT

Page 1: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Christopher Strachey:First-class Citizen

Philip WadlerUniversity of Edinburgh

Strachey 100, 19 November 2016

Page 2: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 3: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Mervyn Pragnell

Page 4: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 5: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 6: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 7: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 8: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

B is for BonnieC is for Christopher

Page 9: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

CPLCombined Programming LanguageCambridge Programming Language

Christopher’s Programming Language

Page 10: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

BCPL

Page 11: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 12: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

BCPL

Page 13: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 14: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

BCPL

Page 15: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 16: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Fundamental Concepts in Programming Languages

Page 17: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 18: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 19: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Functions as First-Class Citizens

Page 20: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 21: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 22: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 23: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 24: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 25: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 26: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Polymorphism

Page 27: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 28: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 29: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 30: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 31: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Type Classes

Page 32: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 33: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 34: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 35: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 36: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 37: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Type classesHaskellClean

MercuryHal

IsabelleCoqAgdaScala

C++ conceptsRust

Page 38: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

Semantics vs Syntax

Page 39: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 40: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc
Page 41: Christopher Strachey: First-class Citizen · 2017-06-08 · ML [HMM86, Mi187], Miranda1[Tur85], and other languages. On the other hand, there is no widely accepted approach to ad-hoc

A True Reportory of the Wreck and Redemption of Sir Thomas ...sultanaeducation.org/.../06/William-Strachey-with-moder…  · Web viewA True Reportory of the Wreck and Redemption

Computer Science | University of Colorado Boulder ...bec/courses/csci5535-f13/...COMPUTER LANGUAGES by Dana Scott and-Christopher Strachey Oxford University Computing Laboratory Programming

openresearch.lsbu.ac.uk  · Web viewFeminism at this time was often thought of as a radical political ideology that threatened traditional family life. In 1936 Ray Strachey articulated

psychoanalytic concepts found in the James Strachey ...Abstracts of the Standard Edition of the Complete. Psychological Works of Sigmund Freud. National Inst. of Mental Health (DHEW)

article.pdfKaren V Kukil PAPER HEARTS: THE CORRESPONDENCE OF VIRGINIA WOOLF AND LYTTON STRACHEY, 1906-1931 Frances Hooper, a 1914 graduate of Smith College

Semen cryopreservation for the Mediterranean brown trout of the … · 2020. 1. 23. · Michele Di Iorio 1, stefano esposito2, Giusy Rusco1, Alessandra Roncarati3, Marsia Miranda1,

Results · Web viewUsing tree species inventories to map biomes and assess their climatic overlaps in lowland tropical South America Pedro Luiz Silva de Miranda1*, Ary Oliveira-Filho2,

Privacy-Preserving Analycs in and out of the Cloudsjac22/talks/ox-strachey-6.3.2018.pdf · • ATI w/ Intel, Dstl, Docker, Microso) • Compare what is in SGX • Enter/leave cost,

Quadrilateral Mesh Generation using Hierarchical Templates · Quadrilateral Mesh Generation using Hierarchical Templates Antonio Carlos de Oliveira Miranda1 and Luiz Fernando Martha2

ASME STRESS LINEARIZATION AND CLASSIFICATION – A ......ASME STRESS LINEARIZATION AND CLASSIFICATION – A DISCUSSION BASED ON A CASE STUDY Carlos A. de J. Miranda1, Altair A. Faloppa2,

Florence Nightingale By Lytton Strachey .(URDU TRANSLATION)

Photographs of Strachey 100 - Department of Computer Science, … · 2017-12-06 · 1 Photographs of Strachey 100 Jonathan Bowen Chair, BCS-FACS Specialist Group Strachey 100 Centenary

Rethinking the Role of the Middle Longitudinal Fascicle in ...Rethinking the Role of the Middle Longitudinal Fascicle in Language and Auditory Pathways Yibao Wang1, Juan C. Fernández-Miranda1,

Strachey Parametricity and Game Semanticsdelatail/param.pdf · Polymorphism appears mainly in two distinct forms1: • ad-hoc polymorphism, where a term of type ∀X.A will behave

Ruben Miranda1 2, Emilia Sanchez de la Blanca, Isabel ...eprints.ucm.es/11879/1/R_Miranda_et_al_Recalcitrant_stickies_2008.… · 1 IDENTIFICATION OF RECALCITRANT STICKIES AND THEIR

Lytton Strachey - Books and Characters

011 Alix Strachey - Psychaanalyse Alix Strachey (4 June 1892 – 28 April 1973), née Sargant-Florence, was an American-born British psychoanalyst and with her husband the translator

OF ALGOL 60 · This paper describes the programming language ALGOL 60 (omitting own declarations) by using the Scott-Strachey mathematical semantics. A separate commentary on this

Strachey Nightingale Eminent Victorians

Florence Nightingale By Lytton Strachey.(Original Text)

The karyotypes of three Tuber species (Pezizales, · PDF file(Pezizales, Ascomycota) A. POMA1, *, G. VENORA2, M. MIRANDA1 and G. PACIONI3 1 Dipartimento di Biologia di Base ed Applicata,

Fundamental Concepts in Programming Languagescrary/819-f09/Strachey67.pdf · °c 2000 Kluwer Academic Publishers. ... Fundamental Concepts in Programming Languages CHRISTOPHER STRACHEY

UvA-DARE (Digital Academic Repository) Het …. Freud (1928) 'Dostoevsky and Parricide', in: James Strachey ... Inn zijn psychoanalyse van Dostojevski, in het essay Dostojevski and

i-Berlioz: Interactive Computer-Aided Orchestration with ... · i-Berlioz: Interactive Computer-Aided Orchestration with Temporal Control Eduardo R. Miranda1, Aurélien Antoine1,

Oncogenic Transformation Can Orchestrate Immune Evasion ... · Alex Miranda1, Juan M. Funes2, Nilda Sanchez1, Celia M. Limia1,3,Monica Mesa1, Sergio A. Quezada2, Rolando Perez1, and

Privacy-Preserving Analycs in and out of the Cloudsjac22/talks/ox-strachey-6.3.2018.pdf · – Protection from privileged code (OS, hypervisor) • Application has ability to defend

Fundamental Concepts in Programming Languages. Christopher Strachey (1967)

Comparison of Four Different Methods of the Ant Colony ...iieng.org/images/proceedings_pdf/E0616010.pdf · Paulo Baumann1, Tiago Miranda1, Fabio Romero1, João Castilho Neto1, Alden

Photographs of Strachey 100 - Department of Computer ... · Photographs of Strachey 100 Jonathan Bowen Chair, BCS-FACS Specialist Group Strachey 100 Centenary Conference Department

TheCompatibleTime-SharingSystem...paper on time-shared computers, by C. Strachey at the June 1959 UNESCO Information Processing Conference, H. M. Teager and J. McCarthy at MIT delivered

VM and the VM Community: Past, Present, and FutureShortly after the first paper on time-shared computers, by C. Strachey at the June 1959 UNESCO Information Processing Conference,

A versatile pipeline for the multi-scale digital ... · A versatile pipeline for the multi-scale ... Herna´n Morales-Navarrete1, Fabia´n Segovia-Miranda1, Piotr Klukowski1 ... we

CSE1GDT Game Design Theory Paul Taylor 2009. A Brief history of Video Games 1951 C. Strachey attempted to run a draughts program –It crashed the Pilot

Strachey Eminent Victorians

William Strachey, "Storms and Strife in Bermuda"