Princip Liskovovy náhrady (LSP). Volitelné typy porušují LSP tím, že funkce očekávající nenáhodný typ nem může být bezpečně nahrazena funkcí vracející volitelný stejného typu, aniž by se změnilo chování volajícího kódu (přidání zpracování nil).

Předchozí Další