Inspired by the elegance of purelyfunctional programming when he was a student, simon has focused nearly thirty years of research on pursuing that idea. Simon peyton jones books list of books by author simon. Simon peyton jones on functional programming and haskell. After two years in industry, he spent seven years as a lecturer at university college london, and nine years as a professor at glasgow university, before moving to microsoft research cambridge in 1998. It will appears in the book engineering theories of software construction, marktobe rdorf summer school 2000, ed car hoare. Simon peyton jones is a principal researcher at microsoft researchs lab in cambridge. Simon peyton jones simple english wikipedia, the free. We conclude the episode with a look at haskells importance and community today. Adventure with types in haskell simon peyton jones.
Simon peyton jones took a chance on a college student who emailed him out of the blue in early 1994. He was heavily involved in the design of the haskell programming language and the. For that, a good place to start is an introductory book such as real world haskell oreilly, programming in haskell cambridge university press, learn you a haskell for great good. Everithing in haskell has some aspect that is admirable we are on christmas, you know. The next haskell will be strict simon peyton jones. He has written two textbooks about the implementation of functional. Coders at work is one long read into the lives of several fantastic computer scientists, the softwarewriting variety.
Simon peyton jones frs mae born 18 january 1958 is a british computer scientist who. What is the best book for learning haskell that has a lot. Conceived and written by paul hudak, it was brought to fruition by donya quick. In proceedings of the acm sigplan workshop on haskell, pages 5768, september 2004.
The architecture of open source applications volume 2. The haskell web server we use as a case study is remarkably small 27. Ghc translates all of haskell into a tiny but superexpressive intermediate language called core, does a lot of optimisations on core, and then generates executable code. Interning for him over that summer remains a highlight of my professional life. He does research on functional programming languages, such as haskell. Nested data parallelism in haskell simon peyton jones microsoft manuel chakravarty, gabriele keller. Haskell programming language simple english wikipedia.
Slides by simon peyton jones, margaret burnett, alan blackwell. An ebook reader can be a software application for use on a computer such as. Simon peyton jones, simon marlow and others have developed the glasgow haskell compiler, a compiler for. Simon was a key contributor to the design of the nowstandard functional language haskell, and is the lead designer of the widelyused glasgow haskell compiler ghc. Churchill colleges annual computer science lecture. It should be in the library of every haskell programmer and every musicologist interested in the underlying mathematics of music. Programming reactive systems in haskell springerlink. So it was john hughes, phil wadler, myself, kevin hammond, who became an editor of. Part of the workshops in computing book series workshops comp. Haskell is the worlds leading lazy functional programming language, widely used for teaching, research, and applications. Simon peyton jones frs mae born 18 january 1958 is a british computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. Simon peyton jones is a researcher at microsoft research cambridge, before which he was a professor of computer science at glasgow university.
Simon peyton jones one of the instigators, back in 1987, of the project that led to the definition of the programming language haskell, simon peyton jones is a principal researcher selection from coders at work. Davie details quite a bit of the machinery for compiling a lazy language, for instance theres a description of the stg thats much shorter than simon peytonjoness book the stg is the abstract machine spj used for haskell. Simon peyton jones, ma, mbcs, ceng, graduated from trinity college cambridge in 1980. The implementation of functional programming languages. Beautiful concurrency to appear in beautiful code, ed greg wilson, oreilly 2007 simon peyton jones, microsoft research, cambridge may 1, 2007 1 introduction the free lunch is over 11.
This book constitutes the agreed definition of haskell 98. Interview with simon peytonjones cmu school of computer. I think the reason there arent any books on haskell considered truly great, i. I expected ten years ago that haskell would be widely used in 2015, but i see that haskell is going in the opposite direction and i see the haskell community happy with that. We then look at the basic building blocks and the philosophy of the language, discussing concepts such as the lambda calculus, closures, currying, immutability, lazy.
In practical terms, that means i spend a most of my time on the design and implementation of the language haskell. With his generosity, boundless energy, and drive to collaborate, he inspires the whole haskell community. Haskell is a generalpurpose, statically typed, purely functional programming language with type inference and lazy evaluation. My 1987 book is now out of print, but it is available here in its entirety in pdf form. He is an honorary professor of computer science at the university of. This book teaches functional programming as a way of thinking and. Beautiful concurrency school of haskell school of haskell. Simon peyton jones born in south africa on january 18, 1958 1 is a british computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional languages. Possible to do by hand and done in practice, but very hard to get right.
Any corrections or changes in the report are found there. In this talk simon discusses haskell s birth and evolution, including some of the research and engineering challenges he faced in design and. He works at microsoft research in cambridge, england. Because haskell was the fruit of an international committee of about 20 people. Into the core squeezing haskell into nine constructors. Although the emphasis is on learning to solve problems within the functional paradigm, and how to develop solutions within haskell, i also like to show students what is under the bonnet and conclude the module with an introduction to implementation issues, using material derived from implementing functional languages by simon peyton jones.
Simon peyton jones wrote haskell 98 language and libraries. Im always curious what people are using the more exotic type system functionality of e. Markus we start our discussion with a brief look at what haskell is and how a pure functional language is different from nonpure languages. Haskell is based on lambda calculus and uses the greek letter lambda as its logo. Mpt04 simon marlow, simon peyton jones, and wolfgang thaller. In this case, we were fortunate enough to get an hours. The revised report, which can be purchased at a lower price at. But it just so happened that several members of the committee were here at glasgow. Simon peyton jones 1958 born in south africa and is a british computer scientist. Preface parallel and concurrent programming in haskell. He is a major contributor to the design of the haskell programming language, and a lead. A principle researcher at the microsoft research lab in cambridge, england, codeveloper of the programming language haskell, and a fellow of britains royal society, simon peyton jones has dedicated his life to this very particular kind of construction work. Simon peyton jones microsoft research this book is a joy. The next haskell will be strictsimon peyton jones true, he does say that but the slides you reference show a more nuanced position than implied by that isolated quote.
Peter seibel interviews sixteen programmers, among them joe armstrong erlang, brad fitzpatrick openid, memcached, simon peyton jones haskell, the donald knuth, peter norvig ai, and ken thompson unix. Simon peytonjones microsoft research cambridge researches the. Simon peyton jones, microsoft research, cambridge may 1, 2007 adapted for the school of haskell by permission of the author and the publisher of the book by bartosz milewski. Nested data parallelism in haskell goto conference. One of the instigators, back in 1987, of the project that led to the definition of the programming language haskell, simon peyton jones is a principal researcher at microsoft researchs lab in cambridge, england. Extending the haskell foreign function interface with concurrency. He is married to dorothy, a priest in the church of england. Practice and persistence is what leads to expertise both here and in any other field.
Modified versions of this report may also be copied and distributed for any purpose, provided that the modified version is clearly presented as such, and that it does not claim to be a definition of the language haskell 98. A fitting tribute to paul and his lifetimes interests in both haskell and. Developed to be suitable for teaching, research and industrial application, haskell has pioneered a number of advanced programming language features. Simon peyton jones frs born 18 january 1958 is a british computer scientist who researches the implementation and. We have grown used to the idea that our programs will gofasterwhen webuy a. Even simon peyton jones the father of haskell does not have a phd. The main implementations are the glasgow haskell compiler ghc, and hugs, a haskell interpreter.
1353 195 1568 869 906 1534 1629 1052 1557 140 859 1419 49 923 1298 754 46 244 1651 213 407 260 926 532 229 1348 497 1436 249 1135 349 753 515 217 613 254 130 917 346 575 1348 983 1323 1072 163