отлично, Алексей. Скажи, пожалуйста, а для какой реальной бизнес-задачи пригодятся типы?

Вопрос, по своей глупости, граничит с вопросом "Для какой реальной задачи надо ходить" Потому что любую, за редкими исключениями, бизнес задачу удобнее решать с типами.

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

или наоборот, алгебра типов позволяет лучше контроллировать сущности?

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

На самом деле, достаточно поработать с достаточно развесистым проект на динамических языках без типов, что бы понять какой это аод.

Вопрос, по своей глупости, граничит с вопросом "Для какой реальной задачи надо ходить" Потому что любую, за редкими исключениями, бизнес задачу удобнее решать с типами.

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

На самом деле, достаточно поработать с достаточно развесистым проект на динамических языках без типов, что бы понять какой это аод.

я видел большой бэкенд на ноджс

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

val m = Map.empty[String, Int] m.get("asdf") // тут может не быть значения по ключу. хотя ты думаешь что обязательно будет

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

Друг, тогда и надо в вопросе так и писать.

Друг, тогда и надо в вопросе так и писать.

вопрос был адресован Алексею, он был в контексте и все понял и так)

val m = Map.empty[String, Int] m.get("asdf") // тут может не быть значения по ключу. хотя ты думаешь что обязательно будет

ой. ну вот это ты вобще не к месту. не знание основ языка - не проблема языка

val m = Map.empty[String, Int] m.get("asdf") // тут может не быть значения по ключу. хотя ты думаешь что обязательно будет

что-то я выгоды не увидел

я видел большой бэкенд на ноджс

А я не просто видел, а плотно участвовал в таких проектах. И прекрасно видел, как в какой-то момент уже никто не знает как проект живет в рантайме. Там ад реально с ошибками.

ой. ну вот это ты вобще не к месту. не знание основ языка - не проблема языка

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

что-то я выгоды не увидел

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

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

в том то и дело, что пример который ты привел - ни к селу, ни к городу

в том то и дело, что пример который ты привел - ни к селу, ни к городу

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

@dmsol типы -- это как тесты можно и без них, но с ними проще и надежнее

это у тебя сейчас пример был уровня Mariano Gappa

это у тебя сейчас пример был уровня Mariano Gappa

не знаком

https://movio.co/blog/migrate-Scala-to-Go/

@dmsol типы -- это как тесты можно и без них, но с ними проще и надежнее

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

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

не совсем, это трейты какие-то АДТ описывает что-то так, что компилятор может потом проверить на exhaustiveness ну и АДТ -- *один из* кирпичиков правильного ФП

снимая эту нагрузку с программиста, за счет чего мы получаем выгоду?

и получается в этом примере компилятор ругнется?

val m = Map.empty[String, Int] m.get("asdf") // тут может не быть значения по ключу. хотя ты думаешь что обязательно будет

get вернет Option

снимая эту нагрузку с программиста, за счет чего мы получаем выгоду?

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

val m = Map.empty[String, Int] m.get("asdf") // тут может не быть значения по ключу. хотя ты думаешь что обязательно будет

и мапы ты достал не Int а Option[Int] и для того чтобы попасть внутрь тебе нужно оработать кейс когда там ничего нет

https://movio.co/blog/migrate-Scala-to-Go/

не понял как мой пример связан со статьей. просили пример как помогает - дал.

и получается в этом примере компилятор ругнется?

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

дело же не в написании кода. дело в чтении и модификации. ты видишь мапу. там сверху ктото проверил что ключ есть. достал. работает.

потом ктото рефакторнул и проверку убрал выше. потом код уехал в другую функцию. ее позвали без проверки. и все сломалось.

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

т.е. добавляю проверку и компилятор замолчит?

да, действительно такая строгость нужна

т.е. добавляю проверку и компилятор замолчит?

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

т.е. добавляю проверку и компилятор замолчит?

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

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

даже в такой банальной ситуации типы помогут тебе найти те граничные случаи которые не нашел аналитик.

снимая эту нагрузку с программиста, за счет чего мы получаем выгоду?

получаем меньше runtime ошибок -> меньше возможностей выкатить такой баг в продакшн -> меньше времени на поиск и исправление потенциальной ошибки

а в продакшене всегда баги править дороже, чем на этапе разработки

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

https://movio.co/blog/migrate-Scala-to-Go/

> Scala monolith compiles slow > Go microservices compile fast ok

Димасик конечно знатный трололо, но аргументы скала сообщества на 99% обычно ничем не лучше аргументов Mariano & Isaac, это конечно пичаль бида. И проблема даже не в самих аргументах, а в том что их пытаются приплести везде и всюду, не важно какова суть дискуссии.

> Scala monolith compiles slow > Go microservices compile fast ok

золото

Димасик конечно знатный трололо, но аргументы скала сообщества на 99% обычно ничем не лучше аргументов Mariano & Isaac, это конечно пичаль бида. И проблема даже не в самих аргументах, а в том что их пытаются приплести везде и всюду, не важно какова суть дискуссии.

а что не так с аргументами?

Чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать мало кода для решения больших задач

Димасик конечно знатный трололо, но аргументы скала сообщества на 99% обычно ничем не лучше аргументов Mariano & Isaac, это конечно пичаль бида. И проблема даже не в самих аргументах, а в том что их пытаются приплести везде и всюду, не важно какова суть дискуссии.

помоги нам найти правильные.

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

Чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать мало кода для решения больших задач

так в реальности, или так должно быть?

Чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать мало кода для решения больших задач

Или лучше так: чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать код без ошибок. Выпьем за это! :)

Или лучше так: чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать код без ошибок. Выпьем за это! :)

не, ну если так уметь, то можно и на машинных кодах. я, увы, не научился

есть хороший пример, twitter finch

Чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать мало кода для решения больших задач

кстати, скала подходит для этого. кода и правда занчительно меньше чем на го :)

Чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать мало кода для решения больших задач

прав.

Или лучше так: чтобы уменьшить кол-во рантайм ошибок - в первую очередь надо научиться писать код без ошибок. Выпьем за это! :)

в соседнем чате учат

tg://join?invite=Ai4h2D9SWO_a-Kur_k51Rg

Ребят, о чем вы? Типы - это реально круто. Смотришь на сигнатуру метода - и сразу понятно, что может произойти, а что нет, без каких-либо сюрпризов. Это значительно снижает нагрузку с мозга. И чем сильнее система типов - тем более строгим можно сделать интерфейс и получить еще меньше сюрпризов.

аргументы нормальные

по крайней мере я выгоду увидел

Ребят, о чем вы? Типы - это реально круто. Смотришь на сигнатуру метода - и сразу понятно, что может произойти, а что нет, без каких-либо сюрпризов. Это значительно снижает нагрузку с мозга. И чем сильнее система типов - тем более строгим можно сделать интерфейс и получить еще меньше сюрпризов.

или снести крышу неподготовленному :) надо в меру этим баловаться, в зависимости от команды

Другое дело, что смотришь на какие-нибудь фримонады и ничерта не врубаешься. Хотя идея в них элементарная

tg://join?invite=Ai4h2D9SWO_a-Kur_k51Rg

Sorry, this group does not seem to exist.

или снести крышу неподготовленному :) надо в меру этим баловаться, в зависимости от команды

другое дело, что обычно не в меру, либо вообще без этого?

аргументы нормальные

тут нужно понимать, что мы же не сможем в чатике про свой опердень рассказать чтобы показать как на нем это нас спасает. поэтому только Map.get :)

Sorry, this group does not seem to exist.

ну расшарь сам завтипы

ERROR: S client not available

вопрос на засыпку, имеет смысл тащить ch.qos.logback.classic.AsyncAppender если сейчас все на синхронном сделано и логов немного?

или просто Map("fff") match { }

другое дело, что обычно не в меру, либо вообще без этого?

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

почитал статью. вы правда хотите писать такой код? https://github.com/marianogappa/sql/blob/master/main.go

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

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

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

привыкаешь...

Ничего себе вы нафлудили. Надо будет написать статейку.

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

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

Ничего себе вы нафлудили. Надо будет написать статейку.

я уже полгода коплю примеры для рассказа о том где как и почему скала помогает :)

Ничего себе вы нафлудили. Надо будет написать статейку.

я тут прозрел

Олександру большой респект, просто пришел и пояснил за скалу

мне кажется он это последний месяц в jvm чатике делает на почти постоянной основе

мне кажется он это последний месяц в jvm чатике делает на почти постоянной основе

просто толсто троллит котлин

отнюдь

Господа,а у вас в последней идее осталась возможность запускать один тест/одну спеку? У меня пропала кнопка Run на спеках, осталась только на директории со спеками.

мне кажется он это последний месяц в jvm чатике делает на почти постоянной основе

надо же что-то делать, пока проект компилится ?

надо же что-то делать, пока проект компилится ?

какая нужна тачка для скалы, чтобы не сильно отвлекаться на отдых?

какая нужна тачка для скалы, чтобы не сильно отвлекаться на отдых?

У меня макбук про 2013 начала года. Вообще не жду компиляцию обычно. Но проектики маленькие по джава-меркам. Не больше 50к строк.

какая нужна тачка для скалы, чтобы не сильно отвлекаться на отдых?

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

Макбук про 13" 2013 года, жду 2-3 минуты, ноутом пользоваться невозможно во время компиляции

ну норм

вы так говорите, как будто по 100 строк за 5 минут пишете. меня вообще не парит скорость компиляции. все равно думаешь дольше.

мак про 2013

мак про 2013

Мак про? Или макбук про?

во время написания кода время компиляции не особо парит, а вот когда надо много раз скомпилить код, чтобы что-то попробовать то так, то эдак, вот тогда парит

и вообще большую часть читаешь код, а не пишешь

У меня макбук про 2013 начала года. Вообще не жду компиляцию обычно. Но проектики маленькие по джава-меркам. Не больше 50к строк.

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

во время написания кода время компиляции не особо парит, а вот когда надо много раз скомпилить код, чтобы что-то попробовать то так, то эдак, вот тогда парит

кейс - тот же дебаг потной баги

ну например да, но не только

Мак про? Или макбук про?

откуда в сибири мак про? ))) макбук про 2013. 8гб

У всех блин мак бук про 2013. Удивительно.

Алексей, ты кстати прикрутил ребель к королеву?