- kompabilita typů =
3 + 2.5
- BCD = binary coded decimal
- přesná reprezentace čísel
Ellipsis = Unit v Haskellu
- silně neměla by se stát operace která není definovaná
- slabě = to co není silně typované
- jmenná ekvivalence = stejné jméno == stejné typy
- strukturální ekvivalence = stejné typy, pokud mají identické struktury
- column major Fortran
- důvod: v některých matematických výpočtech se více hodí chodit po sloupcích
- homogenní = prvky stejného typu
- heterogenní = prvky různého typu
cons = construct- hlavička seznamu
car = Contents of Adress (part of a) Register
- tělo/další prvek
cdr = Contents of Decrement (part of a) Register
- bude na zkoušce
- typový konstruktor = vezme typ a vrátí jiný typ
- Java má jak odkazy, tak ukazatele; všechny odkazy jsou ukazatele