Personal tools

Cookbook/Compilers and interpreters

From HaskellWiki

< Cookbook
Revision as of 08:11, 31 August 2009 by Lenny222 (Talk | contribs)

Jump to: navigation, search

1 GHC

2 GHCi

3 Checking Types

To check the type of an expression or function, use the command `:t'

Prelude> :t x
x :: Integer
Prelude> :t "Hello"
"Hello" :: [Char]

Haskell has the following types defined in the Prelude.

    Int         -- bounded, word-sized integers
    Integer     -- unbounded integers
    Double      -- floating point values
    Char        -- characters
    String      -- equivalent to [Char], strings are lists of characters
    ()          -- the unit type
    Bool        -- booleans
    [a]         -- lists
    (a,b)       -- tuples / product types
    Either a b  -- sum types
    Maybe a     -- optional values