ну или послушать роба норисона

в докладе про дуби

А где можно почитать, чтобы понять выложенный выше Fix из скалази?

в матрёшке хороший список https://github.com/slamdata/matryoshka

в матрёшке хороший список https://github.com/slamdata/matryoshka

не пугай людей

Доклад про дуби я видел, когда там про кофри началось, я решил отложить

хотя там все начинается с бананов

Доклад про дуби я видел, когда там про кофри началось, я решил отложить

ну ничего и в этот раз отложишь

не пугай людей

чем? там хороший ридми

в докладе про дуби

продублируй ссылку, плиз

чем? там хороший ридми

https://github.com/slamdata/matryoshka/raw/master/resources/recursion-schemes.png

совсем не страшно

Кстати да

совсем не страшно

по-моему хорошая схема

продублируй ссылку, плиз

https://www.youtube.com/watch?v=7xSfLPD6tiQ

по-моему хорошая схема

ну я до бананов пугался каждый раз

но названия упоротые

у меня наконец дошли руки до этих ваших рекурсий схем

и должен вам сказать что в тотальном сеттинге это то ещё шило

например хиломорфизм не сделать тотальным никак

и в целом все анфолды выдают кодату, кодата в дату тотально не лезет

но пфайль правда утверждает что все тип топ

может, нужен какой-то ещё более генерализированный вид коиндукции?

или какая-то разновидность mutual, где индукция как-то сможет доказать, что она тотальна с коиндукцией по соседству?

зачем индукция дарагой

нуу есть какие то навороты про гарантию позитивности в миниагде что ли

и работы бернарди про type theory in color (но может это не в тему)

но в целом если не пытаться делать рефолды то наверное жить можно

я правда не знаю насколько те рефолды жизненно важны для зигокатадротов

я правда не знаю насколько те рефолды жизненно важны для зигокатадротов

да там даже банальный фильтр через них, так что ппц как важны

возможно с линейными типами можно чота там гарантировать конкретнее

в целом короч не айс

хорошо, что наш компилятор такой говённый, что заставляет нас писать типы, как завещал макбрайд и избегать фикспойнтов, которые мешают тоталити чеккерам. Возможно, если перейти на golang, это дисциплинирует тебя максимально для жизнив условиях линзавтипов

ага а если тряхнуть ассемблером то и релевантные типы осилишь

а есть какой-то тру вей сделать ленивое сравнение нескольких условий, которые в F[_]? Ну типа чтоб в этой записи def checker() = for { cond1 <- check1: F[Boolean] cond2 <- check2 cond3 <- check3 } yield cond1 && cond2 && cond3 если cond1 = false, то остальное мы не проверяли?

а есть какой-то тру вей сделать ленивое сравнение нескольких условий, которые в F[_]? Ну типа чтоб в этой записи def checker() = for { cond1 <- check1: F[Boolean] cond2 <- check2 cond3 <- check3 } yield cond1 && cond2 && cond3 если cond1 = false, то остальное мы не проверяли?

make yourself a monoid

Придётся через комбайн тогда

ну да, точно

альтернатив или как его там

альтернатив или как его там

filterA тоже варик

чет не нашел такого в котах :)

точнее альтернатив есть, но как его тут применять я не понял. Мозгов не достаточно возможно

точнее альтернатив есть, но как его тут применять я не понял. Мозгов не достаточно возможно

Можно накатить сверху OptionT, и потом поюзать это https://github.com/typelevel/cats-mtl/blob/master/core/src/main/scala/cats/mtl/FunctorEmpty.scala

Тогда можно даже for ом оставить

ну это если в форе есть что-то ещё кроме булеанов

ясно, спасибо

Простите, если это уже всплывало, я все проспал. Но: это нормально, что после обновления Скала-плагина в Идее стало невозможно проимпортить/обновить сбт проект?

а что не даёт это сделать?

Простите, если это уже всплывало, я все проспал. Но: это нормально, что после обновления Скала-плагина в Идее стало невозможно проимпортить/обновить сбт проект?

есть два стула - не обновлять и использовать найтли

жмакаю "обновить". Лицезрею в идеевской консоли красненьким вывод джавы usage, как будто плагин криво команду выполнил. Финита

есть два стула - не обновлять и использовать найтли

ок, пробую нихтли

ок, пробую нихтли

но это работает только для иапа кр.жпг

жмакаю "обновить". Лицезрею в идеевской консоли красненьким вывод джавы usage, как будто плагин криво команду выполнил. Финита

делал стандартные вещи типа инвалидейт кэш, удаление всех таргетов?

делал стандартные вещи типа инвалидейт кэш, удаление всех таргетов?

да я, признаться, нулевый проект создал. Создал билд.сбт, который одолжил у рабочего проекта и изменил под новый, ну и project/build.properties. Все. Идея не смогла

теперь смотрю - ранее рабочие проекты тоже не обновляются

теперь смотрю - ранее рабочие проекты тоже не обновляются

включи галку sbt shell

включи галку sbt shell

Not a valid key: idea-shell

на пустом проекте. sbt-launch.jar свой указываю, который всегда работал

куда можно слать письма счастья? обновил плагин - лишился IDE. Отличный релиз

потому что меня оно спасло

Да, именно это клацал

а можно как-то даунгрейд плагина сделать?

вручную скачать и установить из файла

реинстал идеи, sbt shell неудобная штука

Знает кто как отключить глобальный плагин SBT для одного проекта?

ERROR: S client not available

project(…).disablePlugins(<plugin object>)

класс, я тоже запомню

project(…).disablePlugins(<plugin object>)

Спасибо!

Господа, есть у кого "modern web development with scala" ?

какое такое?

какое такое?

веб-разработческое

ничё не понял

ну вот давайте по пунктам

по каким?

In this book, you will learn how to build Web applications with Play Framework, access databases with ScalikeJDBC, perform asynchronous tasks with Scala Futures and Akka Actors, wire dependencies with MacWire, authenticate users with BCrypt, test your code with ScalaTest and Mockito. The book shows how to use Gradle and SBT for building projects, how to integrate modern frontend tools such as Webpack and React into a Scala developer workflow. A chapter discussing application deployment and hosting considerations is also included. The book doesn't expect any prior Scala experience as the basics are briefly explained in the first chapters. The required functional programming concepts are also explained in the beginning.

я искренне не понимаю, что из этого заслуживает отдельной книжки. Извините.

доку по плею отменили? Readme.md BCrypt'а на гитхабе не?

Откуда ты знаешь, зачем ему книжка?

И из чего ты сделал вывод, что ему нужно чьё-то мнение об этой книге?

вот поэтому я и спросил - зачем.

может, для коллеционерских целей.

Вот и я спрашиваю - зачем ты рассказываешь это всё

А мнение я уже тебе высказал, по запросу, внезапно.

Я не спрашивал мнения о книге

> какое такое?

такое такое *shrug smiley*

да, какое такое и что такое "оно", какого фига ты набросился на безобидную просьбу. Вот в чём вопрос

Хотел посмотреть за что ее хвалили

Хотел посмотреть за что ее хвалили

спасибо

ужас, токсично тут у вас, пойду в ПОНВ

Там то лучше

книжки, между тем, нету в интернетах. Вообще :(

только брать

полгода как вышла, еще не дошли руки у пиратов

кто-то полгода назад выпустил книгу про плей? блестяще

если оставить в стороне вопрос о применимости плея в 2к18, вроде актуально. Скала уже 2.12, остальной стэк ничего так.