Confessions of a used programming language salesman getting the masses hooked on Haskell

ACM SIGPLAN Notices

Volumn 42, Issue 10, 2007, Pages 677-694

  Meijer, Erik ^a  

^a MICROSOFT   (United States)

Author keywords

General Terms Languages; Human Factors; Theory

Indexed keywords

DISTRIBUTED WEB APPLICATION; GENERAL TERMS LANGUAGES; HASKELL; HASKELL 98; HUMAN FACTORS; IMPERATIVE LANGUAGES; OBJECT-ORIENTED PROGRAMMING LANGUAGES; PROGRAMMING LANGUAGE; REAL-WORLD PROBLEM; THEORY; VISUAL BASIC;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; FUNCTIONAL PROGRAMMING; HUMAN ENGINEERING; LANDFORMS; LINGUISTICS; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 67650081261     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (110)

1. http://caml.inria.fr/
2. http://docs.google.com/view?docid=ddhp95vd-6hg3qhc
3. http://docs.google.com/view?docid=k73-1ggr36h
4. http://dreamsongs.com/worseisbetter.html
5. http://en.wikipedia.org/wiki/pimp-my-ride
6. http://haskelldb.sourceforge.net/
7. http://research.microsoft.com/~toddpro/papers/law.htm
8. http://research.microsoft.com/fsharp/about.aspx
9. http://research.microsoft.com/specsharp/
10. http://research.sun.com/projects/plrg/fortress.pdf
11. http://www.artima.com/weblogs/viewpost.jsp?thread=182412
12. http://www.cis.upenn.edu/~bcpierce/types/archives/1988/msg00042.html
13. http://www.cs.iastate.edu/~leavens/jml/documentation.shtml
14. http://www.doc.ic.ac.uk/~scd/
15. http://www.eiffel.com/
16. http://www.javac.info/closures-v05.html
17. http://www.jclark.com/xml/xmlns.htm
18. http://www.plt-scheme.org/publications.html
19. http://www.scala-lang.org/
20. http://www.w3.org/tr/xquery/
21. http://www.w3.org/xml/schema
22. The Haskell 98 Foreign Function Interface 1.0, 2003.
23. Joe Armstrong. Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, 2007.
24. #. ACM TOPLAS, 26(5):769-804, 2004.
25. Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XML-Centric General-Purpose Language. In Proceedings ICFP, 2003.
26. # Type Inference. In Proceedings FOOL/WOOD, 2007.
27. Gavin Bierman, Erik Meijer, and Wolfram Schulte. The essence of Data Access in Cω. In Proceedings ECOOP, volume 3586 of LNCS, 2005.
28. #.I n Proceedings OOPSLA, 2007.
29. Gavin Bierman and Alisdair Wren. First-Class Relation ships in Bierman and Alisdair Wren. First-Class Relationships in an Object-Oriented Language. In Proceedings ECOOP, volume 3586 of LNCS, 2005.
30. Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: hardware design in haskell. SIGPLAN Notices, 34(1):174-184, 1999.
31. Matthew Bortolin. The Dharma of Star Wars. Wisdom Publishers Inc., Boston, 2005.
32. Gilad Bracha. Pluggable Type Systems. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages, 2004.
33. Gilad Bracha and David Griswold. Strongtalk: typechecking smalltalk in a production environment. ACM SIGPLAN Notices, 28(10):215-230, 1993.
34. Niklas Broberg. Haskell Server pages Through Dynamic Loading. In Proceedings Haskell Workshop, 2005.
35. Magnus Carlsson and Thomas Hallgren. FUDGETS - A Graphical User interface in a Lazy Functional Language. In Proceedings FPCA, 1993.
36. James Cheney and Ralf Hinze. First-Class Phantom Types. Computer and Information Science Technical Report TR2003-1901, Cornell University, 2003.
37. Pip Coburn. The Change Function: Why Some Technologies Take Off and Others Crash and Burn. 2006.
38. Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In Proceedings OSDI, 2004.
39. Conal Elliott, Sigbjørn Finne, and Oege de Moor. Compiling embedded languages. Journal of Functional Programming, 13(2), 2003. Updated version of paper by the same name that appeared in SAIG '00 proceedings.
40. Mary F. Fernandez, Jérôme Siméon, and Philip Wadler. A semi-monad for semi-structured data. In Proceedings of the 8th International Conference on Database Theory, volume 1973 of LNCS, 2001.
41. Cormac Flanagan. Hybrid type checking. In Proceedings POPL, 2006.
42. Matthew Fluet and Riccardo Pucella. Phantom types and subtyping. Journal of Functional Programming, 16(6):751-791, 2006.
43. Matthew Fluet and Riccardo Pucella. Practical datatype specializations with phantom types and recursion schemes. Electronic Notes on Theoretical Computer Science, 148(2):211-237, 2006.
44. Peter Freyd. Recursive types reduced to inductive types. In Proceedings LICS, 1990.
45. Jeremy Gibbons and Oege de Moor, editors. The Fun of Programming. Cornerstones in Computing. Palgrave, 2003.
46. Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1992.
47. Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, and Vivek Sarkar. XJ: Facilitating XML Processing in Java. In Proceedings WWW, 2005.
48. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. ACM TOPLAS, 27(1):46-90, 2005.
49. Paul Hudak. Building domain-specific embedded languages. ACM Computing Surveys, 28(4es):196, 1996.
50. J. Hughes. Why Functional Programming Matters. Computer Journal, 32(2):98-107, 1989.
51. Nigel Perry, Jason Smith and Erik Meijer. Mondrian for. NET. DDJ, 2002.
52. Simon Peyton Jones. Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in haskell. In Marktoberdorf Summer School, 2000.
53. Simon Peyton Jones, Mark Shields, John Launchbury, and Andrew Tolmach. Bridging the Gulf: a Common Intermediate Language for ML and Haskell. In Proceedings POPL, 1998.
54. 5 report on the algorithmic language Scheme. ACM SIGPLAN Notices, 33(9):26-76, 1998.
55. Donald Kossmann, Michael Carey, Don Chamberlin, Mary Fernandez, Daniela Florescu, Giorgio Ghelli, Jonathan Robie, and Jerome Simeon. Xqueryp: An XML application development language. In Proceedings XML, 2006.
56. R. Lämmel and E. Meijer. Mappings make data processing go 'round - An inter-paradigmatic mapping tutorial. In Generative and Transformation Techniques in Software Engineering, volume 4143 of LNCS, 2005.
57. R. Lämmel and E. Meijer. Revealing the X/O impedance mismatch (Changing lead into gold). In Datatype-Generic Programming, volume 4719 of LNCS, 2007.
58. Ralf Lämmel and Dave Remy. Functional OO Programming with Triangular Circles. In Proceedings XML, 2006.
59. Peter J. Landin. The next 700 programming languages. Communications of the ACM, 9(3):157-166, March 1966.
60. John Launchbury, Jeffrey R. Lewis, and Byron Cook. On embedding a microarchitectural design language within haskell. In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, 1999.
61. Daan Leijen. Functional Components: COM Components in Haskell. Master's thesis, Department of Computer Science, University of Amsterdam, september 1998.
62. Daan Leijen and Erik Meijer. Domain specific embedded compilers. In Proceedings DSL, 1999. Also appeared in ACM SIGPLAN Notices 35, 1, (Jan. 2000).
63. Daan Leijen, Erik Meijer, and James Hook. Haskell as an Automation Controller. In The 3rd International Summerschool on Advanced Functional Programming, volume 1608 of LNCS, 1999.
64. Sheng Liang. Modular Monadic Semantics and Compilation. 1997.
65. Sheng Liang. Java Native Interface: Programmer's Guide and Reference. Addison-Wesley, 1999.
66. Andres Löh and Ralf Hinze. Open data types and open functions. In Proceedings PPDP, 2006.
67. Erik Meijer. Server-Side Web Scripting in Haskell. Journal of Functional Programming, 10(1):1-18, january 2000.
68. Erik Meijer and Brian Beckman. XLINQ: XML Programming Refactored (The Return Of The Monoids). In Proceedings XML, 2005.
69. Erik Meijer, Brian Beckman, and Gavin Bierman. Linq: reconciling object, relations and XML in the .NET framework. In Proceedings SIGMOD international conference on Management of data, 2006.
70. Erik Meijer and Koen Claessen. The Design and Implementation of Mondrian. In Proceedings Haskell Workshop, 1997.
71. Erik Meijer and Peter Drayton. Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages. In Proceedings OOPSLA Workshop On The Revival Of Dynamic Languages, 2004.
72. Erik Meijer and Sigbjorn Finne. Lambada, Haskell as a Better Java. In Proceedings Haskell Workshop, 2000.
73. Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Proceedings FPCA, volume 523 of LNCS, 1991.
74. Erik Meijer and John Gough. Technical overview of the common language runtime, 2000.
75. Erik Meijer and Graham Hutton. Bananas in space: extending fold and unfold to exponential types. In Proceedings FPCA, 1995.
76. Erik Meijer, Daan Leijen, and James Hook. Client-side Web Scripting with HaskellScript. In Proceedings PADL, volume 1551 of LNCS, 1998.
77. Erik Meijer, Nigel Perry, and Arjan van Yzendoorn. Scripting .NET Using Mondrian. In Proceedings ECOOP, volume 2072 of LNCS, 2001.
78. #. BillG ThinkWeek Submission Winter 2001.
79. Erik Meijer, Wolfram Schulte, and Gavin Bierman. Programming with Circles, Triangles and Rectangles. In Proceedings XML, 2003.
80. Erik Meijer, Wolfram Schulte, and Gavin Bierman. Unifying Tables, Objects and Documents. In Proceedings DP-COOL, volume 27 of John von Neumann Institute of Computing, 2005.
81. Erik Meijer and Mark Shields. XMLambda: A Functional Programming Language for Constructing and Manipulating XML Documents. Unpublished draft.
82. Erik Meijer, Amanda Silver, and Paul Vick. Overview Of Visual Basic 9.0. In Proceedings XML, 2005.
83. Erik Meijer and Danny van Velzen. Haskell Server Pages: Functional Programming and the Battle for the Middle Tier. In Proceedings Haskell Workshop, 2000.
84. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
85. Adriaan Moors, Frank Piessens, and Martin Odersky. Towards equal rights for higher-kinded types. In Proceedings MPOOL, 2007.
86. Thomas Nordin and Simon Peyton Jones. Green Card: a Foreign-language Interface for Haskell. In Proceedings Haskell Workshop, 1997.
87. Andy Oram and Greg Wilson, editors. Beautiful Code: Leading Programmers Explain How They Think. O'Reilly, 2007.
88. Matthew Parkinson. Class invariants: The end of the road? In Proceedings IWACO, 2007.
89. Benjamin C. Pierce. Types and Programming Languages. The MIT Press, Cambridge, Massachusetts, 2002.
90. Rob Pike, Sean Dorward, Robert Griesemer, and Sean Quinlan. Interpreting the data: Parallel analysis with sawzall. Science of Computer Programming, 13(4):277-298, 2005.
91. Riccardo Pucella, Erik Meijer, and Dino Oliva. Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel. In Journées Francophones des Langages Applicatifs, 1999.
92. Christopher Re, Jerome Simeon, and Mary Fernandez. A complete and efficient algebraic compiler for xquery. In Proceedings ICDE, 2006.
93. Ben Rudiak-Gould, Alan Mycroft, and Simon Peyton Jones. Haskell is not not ml. In Proceedings ESOP, 2006.
94. Claudio Russo. The joins concurrency library. In Proceedings PADL, volume 4354 of LNCS, 2007.
95. Mark Shields and Erik Meijer. Type-Indexed Rows. In Proceedings POPL, 2001.
96. Jeremy Graham Siek and Walid Taha. Gradual typing for objects. In Proceedings ECOOP, 2007.
97. Erik Meijer Sigbjorn Finne, Daan Leijen and Simon Peyton Jones. H/Direct: A Binary Foreign Language Interface for Haskell. In Proceedings ICFP, 1998.
98. Erik Meijer Sigbjorn Finne, Daan Leijen and Simon Peyton Jones. Calling Hell from Heaven and Heaven from Hell. In Proceedings ICFP, 1999.
99. Erik Meijer Simon Peyton Jones and Daan Leijen. Scripting COM Components in Haskell. In Proceedings Software Reuse, 1998.
100. P. Thiemann. A Typed Representation for HTML and XML Documents in Haskell. Journal of Functional Programming, 12(5):435-468, July 2002.
101. Peter Thiemann. WASH Server Pages. In Proceedings FLOPS, 2006.
102. Dave Thomas. The impedance imperative tuples+objects+infosets=too much stuff! Journal of Object Technology, 2(5):7-12, September-October 2003.
103. Dave Thomas. Message oriented programming. Journal of Object Technology, 3(5):7-12, May-June 2004.
104. Sam Tobin-Hochstadt and Matthias Felleisen. Interlanguage migration: from scripts to programs. In Proceedings OOPSLA Dynamic Language Symposium, 2006.
105. Mandana Vaziri, Frank Tip, Stephen Fink, and Julian Dolby. Declarative object identity using relation types. In Proceedings ECOOP, 2007.
106. Phil Wadler and Simon Peyton Jones. Comprehensive comprehensions: comprehensions with "order by" and "group by", 2007.
107. Philip Wadler. Comprehending monads. In Proceedings LFP, 1990.
108. Philip Wadler. Lazy vs strict. ACM Computing Surveys, 28(2):318-320, 1996.
109. Stefan Wehr, Ralf Lämmel, and Peter Thiemann. Javagi: Generalized interfaces for java. In Proceedings ECOOP, 2007.
110. Martin Wildmoser and Tobias Nipkow. Certifying machine code safety: Shallow versus deep embedding. In Proceedings TPHOLs, volume 3223 of LNCS, 2004.