# David Turner

> British computer scientist (1946–2023)

**Wikidata**: [Q4468156](https://www.wikidata.org/wiki/Q4468156)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/David_Turner_(computer_scientist))  
**Source**: https://4ort.xyz/entity/david-turner

## Summary
David Turner was a British computer scientist (1946-2023) who made significant contributions to the development of functional programming languages. He is best known for creating SASL, the Kent Recursive Calculator, and Miranda, which influenced the evolution of functional programming as a field.

## Biography
- Born: January 26, 1946
- Nationality: United Kingdom
- Education: Educated at Brasenose College and University of Oxford; doctoral advisors were Dana Scott and Christopher Strachey
- Known for: Contributions to functional programming languages (SASL, Miranda, Kent Recursive Calculator)
- Employer(s): Queen Mary University of London, University of Kent, Middlesex University
- Field(s): Computer science, functional programming

## Contributions
David Turner created several influential functional programming languages throughout his career. In 1972, he developed SASL (St Andrew's Static Language), one of the first purely functional programming languages. Nine years later in 1981, he created the Kent Recursive Calculator while at the University of Kent. His most significant contribution came in 1985 with Miranda, a functional programming language that demonstrated the practical applications of functional programming concepts and influenced later languages like Haskell. Turner also authored "Functional Programming and its Applications," which helped establish functional programming as a viable programming paradigm. His work bridged theoretical computer science with practical implementation, showing how functional approaches could solve real-world programming problems.

## FAQs
### Q: What programming languages did David Turner create?
A: David Turner created SASL (1972), the Kent Recursive Calculator (1981), and Miranda (1985), all functional programming languages that contributed to the development of the field.

### Q: Where did David Turner work as a computer scientist?
A: David Turner was affiliated with Queen Mary University of London, University of Kent, and Middlesex University throughout his academic career.

### Q: Who were David Turner's doctoral advisors?
A: David Turner's doctoral advisors were Dana Scott and Christopher Strachey, both prominent figures in computer science who made significant contributions to programming language theory.

### Q: What was David Turner's most notable publication?
A: David Turner's most notable publication was "Functional Programming and its Applications," which helped establish functional programming as a practical programming paradigm.

## Why They Matter
David Turner's work fundamentally shaped the field of functional programming. By creating SASL, the Kent Recursive Calculator, and Miranda, he demonstrated how functional programming paradigms could be implemented practically, moving beyond theoretical concepts. Miranda, in particular, influenced the development of later functional languages like Haskell and helped popularize functional programming concepts in mainstream computer science. His academic supervision of doctoral students, including Alexander Y. Kaganovsky, Silvio L. Meira, and John R. Cupitt, extended his influence to the next generation of computer scientists. Without Turner's contributions, functional programming might have remained largely theoretical, rather than becoming the practical and influential paradigm it is today.

## Notable For
- Creator of SASL (1972), one of the first purely functional programming languages
- Creator of Miranda (1985), which influenced the development of later functional programming languages
- Author of "Functional Programming and its Applications," a seminal work in the field
- Supervised doctoral students who became notable contributors to computer science
- Associated with multiple UK universities including Middlesex University, Queen Mary University of London, and University of Kent

## Body
### Early Life and Education
David Turner was born on January 26, 1946, in the United Kingdom. He pursued higher education at Brasenose College and the University of Oxford. During his doctoral studies, he was advised by two prominent figures in computer science: Dana Scott and Christopher Strachey.

### Academic Career
Turner held positions at several UK universities throughout his career. He was affiliated with Queen Mary University of London, University of Kent, and Middlesex University. His academic work spanned both theoretical computer science and practical programming language implementation.

### Programming Language Contributions
Turner's most significant contributions were in the field of functional programming languages:
- SASL (1972): A purely functional programming language that demonstrated practical applications of functional programming concepts
- Kent Recursive Calculator (1981): A programming language developed while Turner was at the University of Kent
- Miranda (1985): A functional programming language that became influential in demonstrating the practicality of functional approaches

### Research and Publications
Beyond creating programming languages, Turner authored "Functional Programming and its Applications," which helped establish functional programming as a viable programming paradigm. His research bridged theoretical computer science with practical implementation, showing how functional approaches could solve real-world programming problems.

### Academic Influence
Turner supervised several doctoral students who went on to contribute to computer science, including Alexander Y. Kaganovsky, Silvio L. Meira, and John R. Cupitt. Through his teaching, research, and language development, he influenced multiple generations of computer scientists and helped shape the field of functional programming.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "David Turner",
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {"@type": "Organization", "name": "Queen Mary University of London"},
    {"@type": "Organization", "name": "University of Kent"},
    {"@type": "Organization", "name": "Middlesex University"}
  ],
  "nationality": {"@type": "Country", "name": "United Kingdom"},
  "birthDate": "1946-01-26",
  "deathDate": "2023-10-19",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "Brasenose College"},
    {"@type": "EducationalOrganization", "name": "University of Oxford"}
  ],
  "knowsAbout": ["Computer Science", "Functional Programming", "Programming Languages"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q551932",
    "https://en.wikipedia.org/wiki/David_Turner_(computer_scientist)"
  ],
  "description": "British computer scientist known for creating functional programming languages SASL, Miranda, and the Kent Recursive Calculator."
}

## References

1. Virtual International Authority File
2. Mathematics Genealogy Project
3. [Source](https://www.theguardian.com/technology/2023/nov/24/david-turner-obituary)
4. general catalog of BnF
5. CiNii Research
6. SNAC
7. National Library of Israel Names and Subjects Authority File