ванильная скалка прекрасна. но это ж не значит, что нельзя еще лучше, еще проще.

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

сейчас ещё выяснится ещё, что 2ГИС не юзает акка-стримы, а Тинькофф макрокеш... ой..

конфы - это способ пересчитать фриков

да. например AWS Conf. 50К фриков :D

лан, контекст не всем передался, уточнительный вброс "скала конфы"

сейчас ещё выяснится ещё, что 2ГИС не юзает акка-стримы, а Тинькофф макрокеш... ой..

все пишут на java, а на конфах сбивают с толку конкурентов рассказами как круто нахерачить автогенерируемые кодеки на shapeless и гнать все это через akka-streams

Scala Days достаточно большая. И там много людей кто не пишет на скале.

Если серьезно, то пока никто не знает, что такое хорошо и что такое плохо. Вопрос в процессе исследования и экспериментов. Будут появляться новые идеи, будут новые попытки утащить в прод. Что приживется - время покажет.

все пишут на java, а на конфах сбивают с толку конкурентов рассказами как круто нахерачить автогенерируемые кодеки на shapeless и гнать все это через akka-streams

а что если... они написали макро-материализацию LabelledGeneric для POJO, и гоняют автогенерируемыми кодеками на шейплезз через акка-streams в то время, как пишут на java?

Scala Days достаточно большая. И там много людей кто не пишет на скале.

2 из 3 кейноут докладчиков пишут не на скале. Дни ли это скалы?)

а что если... они написали макро-материализацию LabelledGeneric для POJO, и гоняют автогенерируемыми кодеками на шейплезз через акка-streams в то время, как пишут на java?

кажется что-то такое недавно видел c POJO и Generic

от монад новые люди убегают в страхе

они крутые же. Нужно просто сказать, что монада это flatmap и еще немного

ну ванильные монады норм

но когда люди пытаются вводить монады для эффектов и сделать из скалы недо-хаскель, то это мне кажется перебор

не совсем понял про эффекты. А зачем еще вводить монады?

чтобы устраивать вокруг них конференции конечно же

вот тут есть небольшой обзорчик http://atnos-org.github.io/eff/org.atnos.site.OutOfTheBox.html

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

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

потому что она может больше!

Когда люди пытаются вводить мутабельные глобальные переменные для логов и сделать из скалы пере-котлин, то это мне кажется недобор

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

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

имплиситов нет

я тогда еще немного с другой стороны наброшу. Кто здесь у себя на проектах юзает Type level programming / Dependent types подходы?

ну и еще пары фич

и сразу вопрос - зачем? Ведь есть Idris

и сразу вопрос - зачем? Ведь есть Idris

Ну есть он и есть, что толку то от самого факта наличия?

а мне почем знать? Это я так, для аналогии "почему тогда не хаскель, etc."

я тогда еще немного с другой стороны наброшу. Кто здесь у себя на проектах юзает Type level programming / Dependent types подходы?

я

но я до прода не дошёл ещё

круто. так прям до компайл-тайм пруфов дело дошло?

круто. так прям до компайл-тайм пруфов дело дошло?

не совсем, просто аналог http://haskell-servant.readthedocs.io/en/stable/tutorial/Server.html со сваггером

от монад новые люди убегают в страхе

И правильно делают

Монад трансформеры изрядно надоедают когда тебе нужно пару бизнес фич присунуть. Сложно и долго читать, потому что везде лифтуется = бойлерплейт, и второе они скрывают сайд эффекты типа вызовов в другие сервисы, так как оюая функция теперь возвращает офитованного монстра.

> везде лифтуется = бойлерплейт Eff, Inject, Finally tagless

> скрывают сайд эффекты типа вызовов в другие сервисы, так как оюая функция теперь возвращает офитованного монстра. а вот это вообще непонятно

Монад трансформеры изрядно надоедают когда тебе нужно пару бизнес фич присунуть. Сложно и долго читать, потому что везде лифтуется = бойлерплейт, и второе они скрывают сайд эффекты типа вызовов в другие сервисы, так как оюая функция теперь возвращает офитованного монстра.

я вот вообще монад трансформеры не юзаю)))

я вот вообще монад трансформеры не юзаю)))

красава чо

думаю, здесь 99,5 % чата их не юзает

я вот вообще монад трансформеры не юзаю)))

фигасе камин-аут

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

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

я скок не пытался, не выходило

ты с лоу левелом дружишь же

с лоукиком скорее

А что там было про заландо?

лоукик в голову?

А что там было про заландо?

Никита говорит, что никто торреборевские еффмонадки кроме него самого там не использует

А Никита в заландо? Меня туда звали настоятельно с релокацией в Хельсинки, если я не перепутал все.

И как там? Клево и круто?

Идите в чат вакансий

ты с лоу левелом дружишь же

и вообще про какой лоу левел речь)

При чем тут чат вакансий и как соотносится?

и вообще про какой лоу левел речь)

scala native

scala native

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

но очень хочется(

Я тоже пытался в заландо, все три собеса подряд они спрашивали почему вы хотите сменить работу

И ты не угадал правильный ответ? Сколько вариантов было?

Да, я протупил.

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

а может кто-то дать реал лайф пример (желательно код) использования фри монад? Никак не разберусь с этой магией.

на такой вопрос воды налить - как hello world написать

а может кто-то дать реал лайф пример (желательно код) использования фри монад? Никак не разберусь с этой магией.

поиск по #free_are_simple

Лайка в телеграме нету...

лайки в Телеграме есть

ERROR: S client not available

@dislike

Ага. Крто

Никита говорит, что никто торреборевские еффмонадки кроме него самого там не использует

так и есть. разговаривал с ним - он пытался их продать команде, но у нег не вышло

сейчас ещё выяснится ещё, что 2ГИС не юзает акка-стримы, а Тинькофф макрокеш... ой..

юзают, юзают :)

раньше были библиотеки boilerpipe и goose, но они, емнип, умерли. сейчас надо смотреть в сторону apache tika и, если нет привязки к JVM, scrapy

https://github.com/intenthq/gander

И как там? Клево и круто?

в берлине вполне хорошо :)

можно ходить на митапы и слушать про эффмонады

Никита говорит, что никто торреборевские еффмонадки кроме него самого там не использует

если уточнить, то кроме эрика и его команды

Монад трансформеры изрядно надоедают когда тебе нужно пару бизнес фич присунуть. Сложно и долго читать, потому что везде лифтуется = бойлерплейт, и второе они скрывают сайд эффекты типа вызовов в другие сервисы, так как оюая функция теперь возвращает офитованного монстра.

чистые трансформеры щас немодно, модно mtl и конченый бестеговый

http://typelevel.org/blog/2016/09/21/edsls-part-1.html https://failex.blogspot.lt/2016/12/tagless-final-effects-la-ermine-writers.html

а может кто-то дать реал лайф пример (желательно код) использования фри монад? Никак не разберусь с этой магией.

Вот тут можно посмотреть https://github.com/scala-exercises/scala-exercises

Вот тут можно посмотреть https://github.com/scala-exercises/scala-exercises

Потыкал в онлайн версию, про фри ничего не нашел

открыл про кэтс, увидел XOR, закрыл

Потыкал в онлайн версию, про фри ничего не нашел

не надо исходники смотреть

там вот это все с использованием free сделанно

не надо исходники смотреть

я и не смотрел

они там вроде щас еще freestyle используют, хотя раньше было без него

открыл про кэтс, увидел XOR, закрыл

На пару версий отстали всего.

вот видимо тут они его воткнули https://github.com/scala-exercises/scala-exercises/commit/9aa0c92a80e75e21472f8ee9939406e3d1d45723 т.е полездно наверное глянуть как было до а потом уже посмотреть на то что сейчас

а почему они вообще решили на фри делать этот сайтик? Стильно-модно-молодежно?

На пару версий отстали всего.

это смертеподобно! мы же не в ява чатике

ну фри это один из вариантов просто

тоже хотел бы прощупать варианты написания всякого с использованием фри

а почему они вообще решили на фри делать этот сайтик? Стильно-модно-молодежно?

в 47deg (откуда авторы) судя по всему они щас много где free юзают и видимо надо было на чем то эксперементировать

имхо у фри очень узкий юзкейс

имхо у фри очень узкий юзкейс

или нет

имхо у фри очень узкий юзкейс

всегда можно расширить =)

или нет

А ты часто юзаешь?

А ты часто юзаешь?

За перфоманс боюсь, поэтому очень локально

За перфоманс боюсь, поэтому очень локально

Ты ж скалист, пох на него

Ты ж скалист, пох на него

А я забыл, спасибо. Пошёл оборачивать