GNU Free Documentation License . .

( )

: ,

Miranda  , 1985  Ҹ . , . ML, . ( ) . . .

SASL KRC, ML Hope. Haskell.

«» , . « !», , , « »[1]. .

[]

map , :

 map f[] = []
 map f(x:s) = (f x):(map f s)
 L = [1..6]
 map((+)2) L
  [3, 4, 5, 6, 7, 8]

( ) ( ) , . 2 + 2. [1..6]  [1, 2, 3, 4, 5, 6].

:

 [ n+2 | n <- [1..6] ]
  [3, 4, 5, 6, 7, 8]

[]

[]

[]