Programming with Types

Index

[SYMBOL][A][B][C][D][E][F][G][H][I][J][K][L][M][N][O][P][Q][R][S][T][U][V][W][Y][Z]

SYMBOL

! character && characters | type operator, 2^nd, 3^rd || characters 32-bit integer 4-bit signed integer encoding 4-bit unsigned integer 8-bit unsigned integer

A

abstract class accumulate() function actions adapter pattern adaptive algorithms ADTs (algebraic data types), 2^nd, 3^rd  product types  sum types Aggregate() function aggregate() function algebraic data types.     See ADTs (algebraic data types). all() function, 2^nd AND operator anonymous function anonymous functions anonymous functions (lambdas) any keyword Any type any type, 2^nd, 3^rd, 4^th any() function, 2^nd arithmetic overflow arrays, 2^nd, 3^rd  associative arrays  binary trees  fixed-size ...