Мы просто быдло и не можем в жаву

кто вообще придумал вместо точки использовать двоеточие

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

кто вообще придумал вместо точки использовать двоеточие

два двоеточия

хммм

@vlastachu а двоеточие это точно не ооп?

это же по-сути две точки, то есть двойное ооп

хм

серьёзно может поменять взгляды

ведь двоеточие уточняет тип и рекорды в джс

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

это гораздо больше ооп чем в джаве

может кто-то в ооп чате об этом знает

надо спросить

скажи потом чем закончилось

Не согласен . Наши проблемы прекрасно решаются эрлангом. Другие проблемы могут лучше решаться жавой. Но я же не говорю что все что не фп - мусор?)

но эрланг же ооп

там же модель акторов

писал немного

писал писал

а так и не шаришь в ооп

бля там же точки нет

скажи потом чем закончилось

они почему-то не согласны что ооп это синтаксис точки

я думал там шарят

:(

блин да там же этот момент и уяснили

вот да

я их научил

но эрланг же ооп

Конечно ооп, а иначе зачем они поведения сделали?

Акторы — сила

> "Simulating time" along with all other behavior allows for a much more understandable universe to be made, including eliminating race conditions in a much safer and more comprehensive way than (say) semaphores.

смотри, степень ооп определяется по количеству точек. obj.method (1 oop) obj:method, obj..method (2 oop) obj:.method, obj.:method, obj...method (3 oop) obj::method, obj:..method, obj.:.method, obj..:method, obj....method (4 oop) но дробным ооп не может быть. если в коде встречается одновременно несколько вариация ооп то у нас суперпозиция одной степени ооп с другой

я понимаю что это чат про фп но все таки что плохого в ооп? милионны програмистов на жаве, руби и сишарпе не могут ошибаться же

я понимаю что это чат про фп но все таки что плохого в ооп? милионны програмистов на жаве, руби и сишарпе не могут ошибаться же

В ооп плохо, что никто его не юзает и не знает, что это

все знают

смотри, степень ооп определяется по количеству точек. obj.method (1 oop) obj:method, obj..method (2 oop) obj:.method, obj.:method, obj...method (3 oop) obj::method, obj:..method, obj.:.method, obj..:method, obj....method (4 oop) но дробным ооп не может быть. если в коде встречается одновременно несколько вариация ооп то у нас суперпозиция одной степени ооп с другой

вот

Ну и я про это же

https://github.com/actix/actix

?

https://github.com/actix/actix

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

ну и тогда вроде только появились всякие фьючерсы и реализации акторов вместо них своих фьючерсы костылили, а тут вот вижу токио и futures используется, это хорошо

?

Случайно зашел

лол

это канал об аниме?

это канал об аниме?

все верно

это канал об аниме?

нет

это не канал, это чат

чат об аниме

каналы в телеге ридонли

@frp_memes - канал об аниме

+

кстати, а почему все прутся по Вайолет?

руки крюки

кстати, а почему все прутся по Вайолет?

красивая рисовка. Третью серию не смотрел, но коменты тоже норм

@frp_memes - канал об аниме

Анимемес

Обнаружил тут что некоторые либы предоставляющие монады не имеют методов вывода значений из этих монад. Я имею в виду что-то типа getOrElse Одной из таких библиотек является например fantasy-eithers. Посмотрел в спецификации fantasy-land, и там это тоже вроде никак не определено. А как “канонически” принято брать значение из монад?

Обнаружил тут что некоторые либы предоставляющие монады не имеют методов вывода значений из этих монад. Я имею в виду что-то типа getOrElse Одной из таких библиотек является например fantasy-eithers. Посмотрел в спецификации fantasy-land, и там это тоже вроде никак не определено. А как “канонически” принято брать значение из монад?

понятие монады и не предполагает вывод значения из монады

unsafePerformIO

что берем Reader e a x :: Reader Int String x = Reader $ \e -> "Number: " <> show x какое значение ты хочешь вывести?

вывод значения это комонада

понятие монады и не предполагает вывод значения из монады

То-есть, если у тебя какая-то функция в коде возвращает Either со значением, то весь дальнейший код, где используется результат этой функции должен всегда быть обернут в Either?

Обнаружил тут что некоторые либы предоставляющие монады не имеют методов вывода значений из этих монад. Я имею в виду что-то типа getOrElse Одной из таких библиотек является например fantasy-eithers. Посмотрел в спецификации fantasy-land, и там это тоже вроде никак не определено. А как “канонически” принято брать значение из монад?

Конкретно в производных fantasy-land это скорее всего будет фолд Either <L, R> { fold<O>( l: L => O, r: R => O): O }

То-есть, если у тебя какая-то функция в коде возвращает Either со значением, то весь дальнейший код, где используется результат этой функции должен всегда быть обернут в Either?

доставать значения можно из типов, Either нам позволяет доставать, Maybe тоже это не имеет абсолютно никакого отношения к их монадическим свойствам

у тебя есть список — что с ним сделает getOrElse

Сломает

ERROR: S client not available

или потеряет

ну вообще это наверное такой спецэтап в монадах

когда тебе монады объясняют на примере функторного инстанса для мейби

Пошёл по монадическому этапу

Век null’ы не видать

доставать значения можно из типов, Either нам позволяет доставать, Maybe тоже это не имеет абсолютно никакого отношения к их монадическим свойствам

Несколько раз перечитал и не понял как это. Что значит брать значения из типов?

?

Несколько раз перечитал и не понял как это. Что значит брать значения из типов?

фигово написал, из "конкретных типов"

Вот есть Either.left(‘something’) как выдернуть его значение?

?

?

во вне

по-функциональному )

матчить

блин. Можно примерный пример кода в одну строчку?

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

вы тут дольше жонглируете терминами )

просто простейший пример на js можно?

Но если это сложный код то вопросов нет

блин не знаю джиэс

сорьки

Несколько раз перечитал и не понял как это. Что значит брать значения из типов?

что я имел в виду мы можем достать значение из Either a b независимо от того, является ли Either a монадой, мы просто матчим конструкторы или используем свертку (a -> c) -> (b -> c) -> (Either a b) -> c это никак не относится к тому, что Either - монада

блин не знаю джиэс

Так чатик-то вообще о js )))

вообще об аниме

в чатах о джиэс сидеть. такое

открой fp-ts gcanti

что я имел в виду мы можем достать значение из Either a b независимо от того, является ли Either a монадой, мы просто матчим конструкторы или используем свертку (a -> c) -> (b -> c) -> (Either a b) -> c это никак не относится к тому, что Either - монада

Можно примерный код на js?

открой fp-ts gcanti

На что там посмотреть?

Народ, если это требует сложного кода, то вопросов нет!

Я думал это можно в одну строчку делать )

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

вообще у тебя и так весь код в монаде будет