@wi11son @Vizvamitra

Правильно ли я понимаю, что если не использовать исключения для управления потоком исполнения, а использовать их по назначению, то Java Checked Exceptions, которые ты либо вынужден обрабатывать в месте вызова опасной операции, либо явно декларировать их выброс на уровень выше, - это как раз то, о чем ты говоришь в контексте языков с типами?

более-менее. Очевидно, что результат полиморфен по двум типам и сводить нужно оба. happy path заботится об успешном результате, нужно ли заботиться о типа с ошибками — предмет дискуссий. Люди как-то сошлись на том, что есть бизнес-ошибки и всякие другие ошибки, в основном все инструменты про то, чтобы их отделить друг от друга. Но даже бизнесовые ошибки конвертить не очень удобно, тут  все зависит от доступных средств. В окамле, например, есть открытые типы и полиморфные варианты, я вот хочу их попробовать заюзать, мне пока кажется это наиболее нормальным способом. С эксепшенами это выглядело бы так, что тебе не нужно обрабатывать их до определенного момента, где ты говоришь компилятору, что вот тут я собрался обработать всю херню, а он дальше смотрит на вызовы и говорит тебе какие эксепшены там могут возникнуть

Ребзя, я вижу тут не все боты, наш чат где-то заменщнили?

Ага, нашел

Короче, раздача слонов по 27 числам четного месяца

Слонов всего два и обычно уходят за несколько секунд

а какие месяцы в вашей компании честные?

Поправил, спасибо

Вечерний вопрос: BookRepository или BooksRepository? Никак не могу вспомнить почему всегда использовал единственное число, хотя на английском так получается более неправильным.

Использовал и так и так, имхо - без разницы

Почему неправильным?

Ну «хранилище книг» звучит лучше, чем «хранилище книги»

Но это ж неправильный перевод

У тебя bookshelf это не полка одной книги

Как и bookstore

Такие штуки во мн.ч не стоит возводить лишний раз, это чаще будет некорректно

Но удобнее. Поэтому использую 2

Неожиданный твист в конце )