всем привет! Я с очередным нубовским вопросом. я правильно понял, что yield всего-лишь формирует список при работе с циклами?

for компрехеншен под капотом делает flatmap filter и map елде

всем привет! Я с очередным нубовским вопросом. я правильно понял, что yield всего-лишь формирует список при работе с циклами?

nope, yield говорит вместо foreach использовать map/flatMap

большое спасибо.

ну вообще сам шейплесс немного про другое, а именно про generic алгоритмы

Да, но в книжке между рассказами о shapeless на пальцах объяснены приемы ,как на типах в скале программируют, мне было познавательно именно эти части почитать.

всем привет! Я с очередным нубовским вопросом. я правильно понял, что yield всего-лишь формирует список при работе с циклами?

смотри какая хорошая документация у скалы and it is nothing more than a syntactic sugar for composition https://docs.scala-lang.org/tutorials/FAQ/yield.html

смотри какая хорошая документация у скалы and it is nothing more than a syntactic sugar for composition https://docs.scala-lang.org/tutorials/FAQ/yield.html

при том что технически это очень правильно, я испытываю очень большие проблемы с подобными мануалами из за того, что знаю только c++ и немного java. А выражаясь конкретнее - фраза "syntactic sugar for composition of multiple monadic operations" заставляет меня гуглить еще больше, нежели дает ответы. И да, не всегда понимаю о каких именно монадах идет речь

при том что технически это очень правильно, я испытываю очень большие проблемы с подобными мануалами из за того, что знаю только c++ и немного java. А выражаясь конкретнее - фраза "syntactic sugar for composition of multiple monadic operations" заставляет меня гуглить еще больше, нежели дает ответы. И да, не всегда понимаю о каких именно монадах идет речь

multiple monadic - там лишнее

syntactic sugar - вот все, что надо знать про иелд

это утверждение скейлится на очень многое)

это утверждение скейлится на очень многое)

и это таки отличный подход к пониманию скалы)

ну ты напиши программку по фен шую, а там посмотрим. сначало фен шуй твой может быть подправим, потом уже подскажем как связку сделать - хотя возможно там и само все встанет на свои места, когда фен шуй подправим))

ОК, похоже на план. Буду описывать хакера с полом, гражданством и женатостью. Хакеры хранятся в базе (но в программке по фен шую пока будут просто создаваться из воздуха) , у них есть только метод mary(somebody : Hacker) и divorce(). Правила такие все через И): 1. Жениться на мужчине могут только одинокие женщины или одинокие мужчины из нидерландов 2. Жениться на женщине могут только одинокие мужчины или мужчины из Саудовской Аравии 3. Развестись могут только уже женатые. Попробую закодировать все это в типах, о результатах доложу :)

как-то мы тут пришли к выводу, что имплиситы тоже синт сахар (хотя его крайне сложно было бы руками делать)

@ctinka https://docs.scala-lang.org/tour/tour-of-scala.html - можешь весь тур почитать, это местами гораздо полезнее чем курсы на курсэрах и т.п. просто если видишь словосочетания про монады или еще что-нибудь к делу не особо относящееся - можешь не придавать им значения.

есть ли понятие "семантический сахар" :)

ОК, похоже на план. Буду описывать хакера с полом, гражданством и женатостью. Хакеры хранятся в базе (но в программке по фен шую пока будут просто создаваться из воздуха) , у них есть только метод mary(somebody : Hacker) и divorce(). Правила такие все через И): 1. Жениться на мужчине могут только одинокие женщины или одинокие мужчины из нидерландов 2. Жениться на женщине могут только одинокие мужчины или мужчины из Саудовской Аравии 3. Развестись могут только уже женатые. Попробую закодировать все это в типах, о результатах доложу :)

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

как-то мы тут пришли к выводу, что имплиситы тоже синт сахар (хотя его крайне сложно было бы руками делать)

но ведь это же правда. все сразу становится на свои места и ошибки находятся гораздо легче если что не так, когда воспринимаешь это как сахар и понимаешь, что там должно воссоздаться при прогоне (так и дебажить можно сложные деревца, когда ошибка ни о чем не говорит - просто бьешь на поддеревца и проверяешь находится ли все для узлов. я все как-то хотел написать макрос, который бы это дело автоматом перебирал, но вроде и без него нормально).

но ведь это же правда. все сразу становится на свои места и ошибки находятся гораздо легче если что не так, когда воспринимаешь это как сахар и понимаешь, что там должно воссоздаться при прогоне (так и дебажить можно сложные деревца, когда ошибка ни о чем не говорит - просто бьешь на поддеревца и проверяешь находится ли все для узлов. я все как-то хотел написать макрос, который бы это дело автоматом перебирал, но вроде и без него нормально).

так я и не спорю

так я и не спорю

да эт я просто так вслух, для неокрепших скаланов)

есть такие кто скала тагс юзал ?

да эт я просто так вслух, для неокрепших скаланов)

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

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

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

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

не думаю, что это поможет изучить язык и понять, как надо на нем писать

а под капотом джава

кому-то это байткод, кому-то скала дешугаренный код, кому-то теория типов / категорий

не думаю, что это поможет изучить язык и понять, как надо на нем писать

ну это единственный способ писать правильно

не думаю, что это поможет изучить язык и понять, как надо на нем писать

но это уже троллинго-лирика

а под капотом джава

я попробовал джаву почитать, чет там не полностью. Не все описано. Потом подготовлюсь и спрошу что я не так делаю...

ну да, флеймотема. «Единственный путь» едва ли может быть объективно применено хоть к чему-либо в этом мире.

ну это единственный способ писать правильно

скала хороша тем, что в нем единственно правильных способов - великое множество. в отличие от многих других, где ты по шаблону вынужденно месишь)

скала хороша тем, что в нем единственно правильных способов - великое множество. в отличие от многих других, где ты по шаблону вынужденно месишь)

я сделал ошибку позволив себе написать лирику. Имелось ввиду что надо знать как работает то, что ты используешь

Ну так можно и с ума сойти ? где тот уровень, когда нужно остановиться? Будет это байт-код, или же машинный код? Может быть, атомарный уровень?

вибрации струн

ну когда я с плюсами работал - смотрели в асм во что код превращается, когда были вопросы. Но обычно хватало адекватного описания что происходит "под капотом".

но вообще байткода обычно хватает да

с динамической компиляцией машинный код ты вряд ли посмотришь

например когда добавили emplace вместо push_back - достаточно рассказать что происходит внутри при вызове emplace чтобы навсегда стало понятно как его правильно использовать

ну когда я с плюсами работал - смотрели в асм во что код превращается, когда были вопросы. Но обычно хватало адекватного описания что происходит "под капотом".

в intellij idea есть кнопка top bar -> code -> desugar scala code . что-то она там страшное иногда делает, но тоже может по первой чем-нибудь пригодиться

в intellij idea есть кнопка top bar -> code -> desugar scala code . что-то она там страшное иногда делает, но тоже может по первой чем-нибудь пригодиться

большое спасибо.

@ctinka имплисит параметры она вроде тоже дешугарит (если они конечно находятся). и есть отдельный акшен - top bar -> View -> Implicit Parameters (просто в попапе показывает деревце вызовов которое компилятор выберет)

что, к слову, киллер фича идеи

не уверен, умеет ли lsp такое

http://prntscr.com/j9iaw8

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

Какую стоимость можно называть нулевой?

за которую не посадят

за которую не заплатят

Да, хочешь расскажу тебе как спринг ендпоинты удобно реактивненько на akka замыкать?

Расскажи

Расскажи

Давай ещё раз, очень удобно. Спринг умеет в реактивность через callable, и вроде даже можно самому асинхронно закрывать реквест. Нормам схема короче, а в спринг к ещё удобный жеж ioc

Да это понятно Webflux все разруливает , все неблокирующее Я про интеграцию акка спрашивал

почему то идея не знает про скалу 2.12.5

:(

знает же

какая версия?

2018.1

идея не должна знать

сбт знает

тупанул, сорян

А кто-нибудь знает, что в Идее случилось с воркшитами? Всё как-то стало через известное место работать.

А кто-нибудь знает, что в Идее случилось с воркшитами? Всё как-то стало через известное место работать.

А оно когда-то работало нормально?

А оно когда-то работало нормально?

До 2018 создавал в отдельной вкладке себе воркшит и пользовался. Сейчас такой вкладки нет, а то, что осталось, через раз работает.

угу вроде совсем сломалось

Скажите как правильно запускать http4s вместе с monix task? Требуется тайпкласс cats.effects.Effect, есть его реализация для таски моникса?

да, Task - это эффект

ERROR: S client not available

То есть он уже Effect?

Для таска есть все нужные инстансы из cats effect, достаточно заглянуть в его компаньон

Но только нужен RC1 моникс

А вот в чем дело. Я stable ставил и не затащщило сразу

Спасибо попробую

Alexander, при java8, последние сбт и скала - воркщиты работают, на java9 - баг в сбт вроде как

Alexander, при java8, последние сбт и скала - воркщиты работают, на java9 - баг в сбт вроде как

Я тут в связи с вашим комментарием решил покопаться и выяснил, что старые воркшиты теперь зовутся командой Create light scala worksheet. Вроде как и на девятке работают норм.

Старые - это безымянные?

Угу.

А, я помню анонс прибили давно их. Теперь единый интерфейс для щитов на любом языке

Для таска есть все нужные инстансы из cats effect, достаточно заглянуть в его компаньон

не все

один на подходе пока, синтаксически есть, инстанса нет

в следующей версии выкатит

Да это понятно Webflux все разруливает , все неблокирующее Я про интеграцию акка спрашивал

А вопрос в чем? Получил запрос, сформировал из него мессандж и заслал его в акка-систему

Привет. А есть тут угоревшие по макросам?

Привет. Тут есть только пострадавшие от них...

Привет. Тут есть только пострадавшие от них...

Ох. Ну тогда ладно

Long story short: там все плохо. Можно свернуть горы, но информации и поддержки мало (местами ноль).

Привет. А есть тут угоревшие по макросам?

тут полчатика по ним угорела

другая половина угорела по типам

другая половина угорела по типам

почему же другая?

Мне казалось что эт одни и те же люди

я бы разбил приблизительно на 4 почти равные части

Long story short: там все плохо. Можно свернуть горы, но информации и поддержки мало (местами ноль).

Вот такая гора интерсует - как сделать тип возвращаемого выражения зависимым от входящего выражения? Ну, условно, имеем на входе String «1» - вернем String, String «2» - Option[String] и т.д.

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

я бы разбил приблизительно на 4 почти равные части

А dmsol в какой из

Ох, это ж завтипы

Вот такая гора интерсует - как сделать тип возвращаемого выражения зависимым от входящего выражения? Ну, условно, имеем на входе String «1» - вернем String, String «2» - Option[String] и т.д.

whitebox

такое даже без макросов можно сделать

whitebox

Это понятно. Но c.Expr[Any] deprecated вроде как