|
|
[]
1960- . . (Roger Hindley) . , -. , 1960- , . , 1970- , ML.
[]
() , ( ).[1]
.
:
[]
. , , 86 « » « ». , , , .
, , , .
[]
, . , « » « », , , . , , ( ). , () .
( ) (. ). , ++ enum . ( ) , ( ), ( ). .
[]
, ( ). , -. , ( ) (-).
[]
:
1) . , , , . , MS Visual Basic, Delphi variant, , . , , . . , a+b, , a b , , a b , () , a b . « » ( , ). , , «». .
2) . , BASIC . : ( $), ( []) ( ).
3) , . , , . , , . . « ». , (++), (). , , . , , . « ». « », . . , . , , .
.
[]
[]
- . :
- . , , , , . .
[] [2][3]
:
- .
- . , .
- . . .
- : , , ; , .
- : ( ) ( m*be, m , b , e () ( ), 0<=m<b, 1<=m<b, e m e).
- , . UBASIC, .
- . . .
- . : , « » ( «»). . . , =0, =1.
- . . . .
- ().
- . - , , .
[]
, ( ) ( ).
.
- :
- (. nominative type system) () .
- (. structural type system) ( , ).
- . « » .
[] .
[]
| ?: |