LispandFunctionalLanguages分析.pptVIP

Haskell Group formed at 1987 FPL meeting Named after logician Haskell B. Curry Version 1 – 1990 report centered at the University of Glasgow, Scotland Also Yale, MIT, U of Wellington AU, Cambridge, Chalmers SE, … Syntax similar to ML Static scoping Strongly typed, type inferencing Purely functional E.g., no variables, no assignment statements and no side effects of any kind! unlike most other functional languages! Haskell Features Most Important Features Lazy evaluation evaluate no sub-expression until its value is needed List comprehensions allow it to deal with infinite lists Haskell Exampl