今天由 Java 8 in Action （一本讲 Java lambda 和其他 FP 特性的书）作者看出去的
Alan Mycroft
- 剑桥大学的 CS director, 写了 ARM 上第一个 C compiler，以及共同创建了 Raspberry Pi
- Education: University of Cambridge, The University of Edinburgh
- Known for: Norcroft C compiler, Raspberry Pi Foundation
他的老师是：
Robin Milner
13 January 1934 – 20 March 2010 1991 年图灵奖得主，因为三个贡献（刚好对应我们的三门课）：
- LCF, one of the first tools for automated theorem proving.(Reasoning)
- ML, the first language with polymorphic type inference and type-safe exception handling (Haskell, Programming Language)
- CCS, and its successor, the π-calculus, a theoretical framework for analyzing concurrent systems
He is also credited for rediscovering the Hindley–Milner type system. Haskell 用的就是这个 Type system.
他从 1973 年开始就在爱丁堡。He was a co-founder of the Laboratory for Foundations of Computer Science (LFCS)
以及
Rod Burstall
Burstall was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is known for his work with Robin Popplestone on POP, an innovative programming language developed at Edinburgh around 1970, and later work with John Darlington on NPL and program transformation and with David MacQueen and Don Sannella on Hope, a precursor to Standard ML, Miranda, and Haskell.[4]
LFCS
It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling. The mainspring of research in LFCS is the study of theories which underlie, or should in future underlie, the analysis and design of computing systems.
详见 Academic Staff。LFCS 成员之一:
Philip Wadler
往 Java 里加了 Generics
- August 1998 : GJ: Extending the Java Programming Language with type parameters Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. （当时在 Bell Labs）
- May 1999: Sun proposes to Add Generics to Java, based on GJ.
- May 2001: Sun releases prototype for Adding Generics to Java.
- January 2003: Generics headed for inclusion in Java 1.5.
即将往 Go 里加 Generics
- June 2020 : https://blog.golang.org/generics-next-step
We’d like to thank Philip Wadler and his collaborators for thinking formally about generics in Go and helping us clarify the theoretical aspects of the design. Their paper Featherweight Go analyzes generics in a restricted version of Go, and they have developed a prototype on GitHub.
- Haskell, Erlang, F#, Java, Links, LINQ, Scala, XML, XQuery