Difference between revisions of "Lenny222/About Haskell"
Jump to navigation
Jump to search
m (Fill in the blanks...) |
|||
(39 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
+ | __NOTOC__ |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
− | * [[Polymorphism|polymorphically]] |
||
− | * [[typing|statically typed]] |
||
− | * [[Lazy evaluation|lazy]] |
||
− | * [[functional programming|purely functional]] |
||
+ | {| class="wikitable" |
||
− | quite different from most other programming languages. |
||
+ | |- |
||
+ | ! |
||
+ | ! What it means |
||
+ | ! What it is good for |
||
+ | |- |
||
+ | | functional |
||
+ | | ? |
||
+ | | ? |
||
+ | |- |
||
+ | | garbage collected |
||
+ | | ? |
||
+ | | ? |
||
+ | |- |
||
+ | | high-level |
||
+ | | ? |
||
+ | | ? |
||
+ | |- |
||
+ | | lambda functions |
||
+ | | ? |
||
+ | | ? |
||
+ | |- |
||
+ | | lazy |
||
+ | | ? |
||
+ | | ? |
||
+ | |- |
||
+ | | pattern matching |
||
+ | | Example: |
||
+ | fib 0 = 0 |
||
+ | fib 1 = 1 |
||
+ | fib n = fib (n - 2) + fib (n - 1) |
||
+ | | |
||
+ | |- |
||
+ | | pure |
||
+ | | ? |
||
+ | | ? |
||
+ | |- |
||
+ | | static typed |
||
+ | | ? |
||
+ | | ? |
||
+ | |- |
||
+ | | strongly typed |
||
+ | | ? |
||
+ | | ? |
||
+ | |} |
||
+ | == Who is using it == |
||
− | The language is named for [[Haskell Brooks Curry]], whose work in mathematical logic serves as a foundation for |
||
+ | |||
− | functional languages. |
||
+ | == Further reading == |
||
− | Haskell is based on the ''[[lambda calculus]]'', hence the lambda we use as a logo. |
||
+ | |||
+ | * [[History of Haskell]] |
||
+ | * [[Future of Haskell]] |
||
+ | |||
+ | [[Category:Pages under construction]] |
Latest revision as of 21:57, 23 April 2021
Haskell
Haskell is a programming language with the following features:
What it means | What it is good for | |
---|---|---|
functional | ? | ? |
garbage collected | ? | ? |
high-level | ? | ? |
lambda functions | ? | ? |
lazy | ? | ? |
pattern matching | Example:
fib 0 = 0 fib 1 = 1 fib n = fib (n - 2) + fib (n - 1) |
|
pure | ? | ? |
static typed | ? | ? |
strongly typed | ? | ? |