Подожди, так воид же не Nothing, если он был бы можно было бы сделать опшнал как в скале

Чего?

multiclass Mejnar:
 +3 to sudden attack

новый завет

Ну ты наверное видел реализацию жава опшнала

Почему там нету емпти для всего

Айрат вбросил войд, и сразу стало понятно, кто в чати жавист, а кто ваннаби хаскелист

кто

если хочется глянуть еще раз на то же самое, но под другим углом и более строго, можно почитать Practical Foundations for Programming Languages by Robert Harper. Можно почитать Software Foundations. Но каких-то строгих рекомендаций в духе "после TAPL обязательно читайте ATTAPL" нет, ATTAPL можно спокойно пропустить и почитать то, что интересно.

эх

а вот, HoTT book отличный выбор.

это вот как обычно, как стать джюном — почитайте тапл, как стать миддлом — почитайте все что хотите по хэштэгу #iqtest

+

/iqtest же кликаешь, и сразу все понятно

Пробовал тулкит, но показался не очень гибким. Там довольно opinionated код конфигурации подключения к БД с doobie, который не совсем подходил к моей ситуации, пытался с ним сражаться, и в итоге решил сделать руками. Еще версии библиотек немного отстают от актуальных, и своя концепция модулей, которые непонятно как комбинировать с ZLayer.
Мне нравится идея не писать каждый раз бойлерплейт для настройки http4s, doobie, flyway и всего такого, но гибкость терять тоже не хочется.

Есть вопрос. У меня там стоит брейк по условию, и восклицательные знаки почему-то никогда не выписываются, хотя должны.если брейк закоменчу, то выписываются... В чем может быть проблема?

если там воспроизводимый пример сделаете, то помогут вероятнее