Главное, их тыкать не в каждый доступный участок кода

это вообще ключевой скилл swe – подбирать молоток для гвоздя

это вообще ключевой скилл swe – подбирать молоток для гвоздя

Angular или все-таки React?

Angular или все-таки React?

Vue

монадки хороши сами по себе

type Error = String type FutureEither[A] = EitherT[Future, String, A] type FutureEitherOption[A] = OptionT[FutureEither, A]

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

я просто спрашиваю)

Привет. А Мавен используется только для в процессе написания кода? Или его можно использовать и в процессе QA для dependency management артифактов?

val answer: FutureEitherOption[Int] = for { a <- 10.pure[FutureEitherOption] b <- 32.pure[FutureEitherOption] } yield a + b // answer: FutureEitherOption[Int] = OptionT(EitherT(Future(<not completed>))) т.е это код не перегружен и тут все ок?)

То есть, у меня есть десктопное java-приложение. У этого приложения есть несколько плагинов, которые тестируются. Эти плагины зависят друг от друга. Все артифакты лежат в Нексусе. Мавен поможет в этом случае резолвить dependency?

val answer: FutureEitherOption[Int] = for { a <- 10.pure[FutureEitherOption] b <- 32.pure[FutureEitherOption] } yield a + b // answer: FutureEitherOption[Int] = OptionT(EitherT(Future(<not completed>))) т.е это код не перегружен и тут все ок?)

ну как бы ты заюзал уже не монады, а монадтрансформеры

лучше это или писать вложенные for - up to you

ну как бы ты заюзал уже не монады, а монадтрансформеры

монадтрансформеры без монад не появятся в коде, не так ли?

это техникой пользуются далеко не все, из коробки её нет в языке

самих монад в языке вроде как тоже нет?

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

@e_fedorov будете в следующий раз новичкам за монады рассказывать, не забудьте им набросить, что for - монада ?

в хз какой раз побуду проповедником: корневой момент ФП — минимизация сайд эффектов (это не всегда нужно, но в 95+% случаев) из этого следует поощрение иммутабельности и чистых функций в ФП переиспользуется ряд математических понятий (алгебры, группы, полугруппы, моноиды, внезапно монады, и ещё много вещей) все они имеют ряд законов, которые гарантируют некоторые плюшки — например, моноид умеет "схлопывать" набор данных это все — базовые кирпичики, на которых строятся большие здания за счет связи с математикой гарантируется неизбыточность и непротиворечивость

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

ну эт не я придумал, взято из Advanced Scala

самих монад в языке вроде как тоже нет?

монады есть, тайп класса Monad нет

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

О! Олежка

Дошли до Fork Join (:

advanced scala - книга про котов, библиотека для тех кто любит продвинутое фп

это не проя зык сам по себе

монады есть, тайп класса Monad нет

ну List, Optional тож монадки

val answer: FutureEitherOption[Int] = for { a <- 10.pure[FutureEitherOption] b <- 32.pure[FutureEitherOption] } yield a + b // answer: FutureEitherOption[Int] = OptionT(EitherT(Future(<not completed>))) т.е это код не перегружен и тут все ок?)

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

ну List, Optional тож монадки

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

монада по уровню академичности где-то на уровне Comparable

ты будешь говорить, что Comparable захламляют код?

в хз какой раз побуду проповедником: корневой момент ФП — минимизация сайд эффектов (это не всегда нужно, но в 95+% случаев) из этого следует поощрение иммутабельности и чистых функций в ФП переиспользуется ряд математических понятий (алгебры, группы, полугруппы, моноиды, внезапно монады, и ещё много вещей) все они имеют ряд законов, которые гарантируют некоторые плюшки — например, моноид умеет "схлопывать" набор данных это все — базовые кирпичики, на которых строятся большие здания за счет связи с математикой гарантируется неизбыточность и непротиворечивость

да, но для этого нужно тащить cats/scalaz

да, но для этого нужно тащить cats/scalaz

не нужно

в большинстве случаев нет

только если не хочешь обмазаться по самые гланды

в хз какой раз побуду проповедником: корневой момент ФП — минимизация сайд эффектов (это не всегда нужно, но в 95+% случаев) из этого следует поощрение иммутабельности и чистых функций в ФП переиспользуется ряд математических понятий (алгебры, группы, полугруппы, моноиды, внезапно монады, и ещё много вещей) все они имеют ряд законов, которые гарантируют некоторые плюшки — например, моноид умеет "схлопывать" набор данных это все — базовые кирпичики, на которых строятся большие здания за счет связи с математикой гарантируется неизбыточность и непротиворечивость

@nyan_f вот я как раз про это говорил

аналогия — "для использования Threads надо тащить акку"

Зато фронтэндеры для написания кнопки не гнушаются притащить Реакт и Редукс ?

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

вполне реальный кейс ведь, 2 Future от асинхронных вызовов и комбинирование результатов

аналогия — "для использования Threads надо тащить акку"

по хорошему - надо. но можно и руками навелосипедить типа "new Thread().start()"

вполне реальный кейс ведь, 2 Future от асинхронных вызовов и комбинирование результатов

это ты 10 назвал асинхронным?

@nyan_f вот я как раз про это говорил

Что такое ФП??

в хз какой раз побуду проповедником: корневой момент ФП — минимизация сайд эффектов (это не всегда нужно, но в 95+% случаев) из этого следует поощрение иммутабельности и чистых функций в ФП переиспользуется ряд математических понятий (алгебры, группы, полугруппы, моноиды, внезапно монады, и ещё много вещей) все они имеют ряд законов, которые гарантируют некоторые плюшки — например, моноид умеет "схлопывать" набор данных это все — базовые кирпичики, на которых строятся большие здания за счет связи с математикой гарантируется неизбыточность и непротиворечивость

зависит от трактовки, в базовом варианте в фп только referential transparency что можно трактовать как чистую функцию

это упрощенный код, вместо 10 будет конечно же getUser getComments некие

Что такое ФП??

Функциональное программирование

Что такое ФП??

функциональное программирование

Аа

Что такое ФП??

погугли "фапать"

по хорошему - надо. но можно и руками навелосипедить типа "new Thread().start()"

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

ядро акки за день

JPA за 15 минут

ядро акки за день

Я тоже подумал об этом

ох уж эти фантазеры

умерьте пыл

И пустил слезу

сотни, тысячи md были вложены

JPA за 15 минут

есть у меня один знакомый...

ядро акки за день

где-то на гитхабе есть, строчек 100

мини-акка, или как-то так

погугли "фапать"

Зачем?

Дошли до Fork Join (:

Когда Kotlin коррутины?

Зачем?

Лучше не надо

зависит от трактовки, в базовом варианте в фп только referential transparency что можно трактовать как чистую функцию

эй, не надо сбивать, тут и так все тяжко идет)

Лучше не надо

Знаю?

Angular или все-таки React?

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

только если не хочешь обмазаться по самые гланды

разве этим скалисты не занимаются?)

эй, не надо сбивать, тут и так все тяжко идет)

я наоборот упрощаю)

разве этим скалисты не занимаются?)

скорее хаскеллисты

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

Ui не трогают, в него вляпяваются

на скале хотя бы в прод пишут

ERROR: S client not available

я наоборот упрощаю)

подкинь лучше репу Куна (или Кланга) про мини акку, никак не нагуглю

скорее хаскеллисты

Так Скала же - путь к Хаскеллу

А Хаскелл - путь к Идрису

ну не надо, а?

у нас тут все таки про JVM чатик

у нас тут все таки про JVM чатик

Хаскелл есть и на JVM

и идрис тоже

Eta

А Хаскелл - путь к Идрису

Нравится когда 90% кода, это доказательство 10% логики?

и идрис тоже

Линк, плез. Почему я о нем еще не знаю? ?

Ui не трогают, в него вляпяваются

только если трогают я не трогаю

скорее хаскеллисты

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

apache spark норм?

Нравится когда 90% кода, это доказательство 10% логики?

Вы удивитесь, но да. Люблю математику

если я полезу в код, много я найду фп кода? или это будет просто better java?

apache spark норм?

ну некоторым нравятся продукты айбиэм, мне нет)

если я полезу в код, много я найду фп кода? или это будет просто better java?

ты удивишься почитай код RDD

Вы удивитесь, но да. Люблю математику

А ок, я просто посмотрел лекции по Idris и как-то засомневался что смогу что-то практичное написать https://www.youtube.com/playlist?list=PL-_cKNuVAYAXFRLj6n2nDjI1cyHjuI3HI Кстати годные лекции для новичков.

Да, спасибо, как раз в процессе просмотра ?

ты удивишься почитай код RDD

https://github.com/apache/spark/blob/master/core/src/main/scala/org/apache/spark/rdd/RDD.scala ?

ага

там, на мой взгляд, хороший баланс

подкинь лучше репу Куна (или Кланга) про мини акку, никак не нагуглю

кланг, но в репах нет в гисте наверное каком-то

кланг, но в репах нет в гисте наверное каком-то

https://gist.github.com/viktorklang/2362563 cc @dmsol

как раз ~100 строчек и будет, если отформатировать

как раз ~100 строчек и будет, если отформатировать

This is pretty damn awesome. Brilliant.

там, на мой взгляд, хороший баланс

ну ведь этот же код и на котлине можно написать без ущерба функциональности? разве что имплиситов не будет

ну ведь этот же код и на котлине можно написать без ущерба функциональности? разве что имплиситов не будет

при чем тут вообще котлин?

выкинь бяку

при чем тут вообще котлин?

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

рдд — красивая и практичная имплементация ряда ФПшных идей