, , - . , , , () .
, , . | |* '-
2.
λ
, - , ^ . .
:
.. (, , );
.. ( - ; ; , ; ; ~ , , , - - , , ).
( 1).
() |
" |
1
1 |
. 2.2.
, , ,
, , .
, , > ) , )
.
-
, ,
|
|
|$| - , , , , .
|#- - , , .
- , , , , .
~ , .
: ^ , (); <^ ( ); ^ ()
; \ () ; % ; <^ ; ^ ; % , .
(): - ( , , );.. ; -. (, ); -. ( ); -- ( ) , ; -- ; |$. , .
() (): _ , ; _> , , , , ; _ ; _ , ; _ ; _> , .
( ) :
( ) , , ();
|$> ( ) - .
( ) :
X , ; **
X - ( );
X ( - );
X , .
: * ; * ; *
|
|
.
:^ ; + ; + ; + ; + ; + ; + ; +
.
: * ; ** ; * ; * ; ; *
.
: ; .
() :
4- (, ) ;
.