Москвичи дичают там у себя

как говорится, В Питере — пить

как говорится, В Питере — пить

В питере в чебурум

В питере в чебурум

В бочку.

Вопрос к организаторам митапа 8 числа, есть возможность раньше прийти?

Я уточню в понедельник, думаю никто не против будет

Я уточню в понедельник, думаю никто не против будет

а давай ты скажешь, что можно, но его не пустят?

а давай ты скажешь, что можно, но его не пустят?

У нас, говорят, собакам нельзя

вы уже обсудили https://habrahabr.ru/company/moikrug/blog/347440/ ?

интересно насколько бы скала по медиане была бы выше

можем заполнить анонимный гуглдок и узнтать

в чате 1к человек

я уже посмотрел

https://moikrug.ru/salaries

пойдем двинем скалу правее)

Или левее

оказывается есть в скале зп 30к

Долларов в месяц? Круто

может это @aleksei_t в баксах указал?

Долларов в месяц? Круто

в рублях ж

в работачате перетирали же

swing писать за 40к

в рублях ж

В день? Тоже неплохо

@jey_lee в секунду

swing писать за 40к

exante больше платит

exante больше платит

значит на glassdor врут

либо они платят больше тебе, а тому парню готовы был. только 40к платить а он и согласился

А кто нить реальне писал на свинге под скалу?

Там даж DSL есть

все такое мутабельненькое

рекомендую )

интересно наверное посмотреть было бы(нет)

Там даж DSL есть

а не для fx ли он ?

https://github.com/LucDupAtGitHub/PDBP

а не для fx ли он ?

Для свинга scala-swing вроде как то так

https://github.com/LucDupAtGitHub/PDBP

нот бед, но без макросов дичь

в синтаксическом смысле

а не для fx ли он ?

уж лучше фх чем свинг

За хлеб и воду на скале писать

да ладно, на скале хватает и на масло с икрой

Монады бы понять

У меня комплекс развивается

Монады бы понять

хочешь икру - учи монады

хочешь икру - учи монады

Точно точно

https://github.com/LucDupAtGitHub/PDBP

А есть ли какие-то интересные работы про вот такое: - Описываем capabilities и constrains - Скармливаем это какому нибудь солверу - Получаем программу/программы

прям в таком виде не припомню

есть просто языки с капабилитиз типа https://github.com/dorchard/granule/

ну и есть штуки типа refinement reflection https://nikivazou.github.io/static/popl18/refinement-reflection.pdf

если считать пруф программой

мне кажется синтез прог с эффектами гиблое дело

ну и есть штуки типа refinement reflection https://nikivazou.github.io/static/popl18/refinement-reflection.pdf

О, это интересное, спасибо.

мне кажется синтез прог с эффектами гиблое дело

Почему? Есть плохой опыт?

ну как-то интуитивно кажется что многовато специфицировать придется, проще самому прогу написать :)

ну как-то интуитивно кажется что многовато специфицировать придется, проще самому прогу написать :)

Я что-то думал что в этой области уже есть работы интересные.

А вообще капабилитиз и коэффекты это новьё?

капабилитиз как идее триста лет по моему

коэффекты довольно новые

Есть какие нибудь опен сорс проекты, которые юзают во всю cats или scalaz?

хотя общим идеям вокруг отрицательной полярности и тп тоже наверное лет по 20-30

Есть какие нибудь опен сорс проекты, которые юзают во всю cats или scalaz?

Моноколь например

было вроде пару показательных проектов

чисто как строить опердень в фп стиле

без смс

ERROR: S client not available

https://github.com/loicdescotte/pureWebappSample из свежака например

https://github.com/pauljamescleary/scala-pet-store тоже

Дуби и сирка сами по себе котов используют и вполне опенсорсны

ну то скорее либы, а тут готовые трансдюсеры из базы в браузер

Есть какие нибудь опен сорс проекты, которые юзают во всю cats или scalaz?

https://github.com/getnelson/nelson https://github.com/quasar-analytics/quasar

квазар конечно да, но в нем конечно с наскоку мягко говоря не разберешься :)

Монады бы понять

Чтобы понять монады я посмотрел полностью первую часть Бартоша https://t.me/scala_channel_ru/31 хотя это всего лишь flatMap и конструктор Просто объяснения какие-то мутные все, некоторые и вовсе неверные

https://github.com/loicdescotte/pureWebappSample из свежака например

Убивает DAO, в котором только один метод, да и тот SELECT....

https://github.com/pauljamescleary/scala-pet-store тоже

А вот если у тебя внутри приложения несколько IO ?)

Убивает DAO, в котором только один метод, да и тот SELECT....

А что там надо больше? Весь дао написать? Я считаю отличный пример организации кода ?

Чтобы понять монады я посмотрел полностью первую часть Бартоша https://t.me/scala_channel_ru/31 хотя это всего лишь flatMap и конструктор Просто объяснения какие-то мутные все, некоторые и вовсе неверные

Спасибо за совет,друг

@pomadchin ты билеты купил?

Всем привет, тут анонс митапа в СПб подъехал https://www.meetup.com/ScalaSpb/events/247083091/

Хотет ???

@pomadchin ты билеты купил?

): нимогу я, спринт закрываем 8 числа ОЧ ВАЖНО ВСЕ но я постараюсь

@pomadchin я тебе уже говорил, что можешь поработать в спб)

@pomadchin я тебе уже говорил, что можешь поработать в спб)

а я тебе уже говорил почему это едвали имеет смысл) яб прост выху взял да и все лучш

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

на го тока если

да смыл то не в коде)

насчет го, вчера один сервис на го, положил докер демона)

вот такие у нас гошники веселые)

что там такое было?

бесконечный цикл прост

который жрал цпу

естесвенно у нас нету cfs, и у гошечки не стоял потолок на количество тредов)

Гришань, а ты с cfs не игрался кстати?

раз у тебя k8s

Есть какие нибудь опен сорс проекты, которые юзают во всю cats или scalaz?

Нет

Есть какие нибудь опен сорс проекты, которые юзают во всю cats или scalaz?

fs2, doobie

есть какие-то опенсорс проекты, которые вовсю юзают кейк-паттерн?

[Play, liftweb, OOP]