Принцип Liskov Substitution Principle (LSP). Опционалы нарушают LSP тем, что функция, ожидающая неопциональный тип, не может быть безопасно заменена функцией, возвращающей опционал того же типа, без изменения поведения вызывающего кода (добавление обработки nil).