Roman
а че б ему не дружить?
Roman
а констрейнт на моноид и так можно сделать
Igor
а че б ему не дружить?
Ну не знаю, на доже как-то явно выражать какой “трейт" используется
Igor
Вот чего мне кажется не хватает в F#, так это синглтонов как в Scala/Kotlin - была бы замена (для бедных) окамл модулям
Никто не видел на это RFC? По идеи делается просто и можно было бы делать “модули”, которые наследуют интерфейсы.
Анна
Как
Самсунг сказал, не хочет пока что больше кандидатов. И рекрутёр из агентства сказал «извините» 🤷♀️
Hog
Самсунг сказал, не хочет пока что больше кандидатов. И рекрутёр из агентства сказал «извините» 🤷♀️
ты наверное с телефона письмо отправила, а в подписи - Sent from an iPhone
Анна
ты наверное с телефона письмо отправила, а в подписи - Sent from an iPhone
Я им напрямую же не писала, а рекрутёру выгодно кандидата пристроить 🤔
Vladislav
Vasily
Угу
Vladislav
Shub
https://github.com/dotnet/coreclr/issues/1454 — снова только выиграли?
Igor
Ох, dnx dnu/dnvm json-проекты, сколько лет оказывается уже прошло
Shub
В чем выиграли?
есть устойчивое выражение такое, почти что идиома - “только выиграли”. очень далекий аналог понятия “держать хорошую мину при плохой игре"
Vasily
x
Крылатый
Утра! С праздником, что ли!)
Viacheslav
Всё-таки компилятор фарша умеет иногда невероятные вещи делать
Viacheslav
Viacheslav
Сертифицировать упаковки молока, например
Viacheslav
Кто знал о такой фишке?
Bonart
Сегодня на собесе отмочил: лучше дочь-проститутка чем сын-гофер
Bonart
Так я собеседовал, а не меня :)
Dr. Friedrich
Dmitry
ойойой
Dmitry
Так, я где-то видел новость про то, что кажется ML.NET обновили/зарелизили? Найти не могу - показалось или как?
Dmitry
Видел кто?
Vasiliy
Vasiliy
https://devblogs.microsoft.com/dotnet/announcing-ml-net-1-0-rc-machine-learning-for-net/
Dmitry
Shub
Сегодня на собесе отмочил: лучше дочь-проститутка чем сын-гофер
Слатшейминг [x]
Куда катится этот чатик?
Dmitry
Слатшейминг [x]
Куда катится этот чатик?
по градиенту термодинамической стрелы, как и всё в этой вселенной
habib
@fvnever
Vasiliy
и прям одновременно в двух чатах сразу
Anonymous
ребята, такой момент. нужно мне не очень подкованным в CS и тем более ФП ребятам красиво объяснить, какими такими способами они могут пользоваться благами ФП на своих ООП-проектах. это прям целая лекция будет, разумеется начинать буду с типов, в частности с монад Maybe/Either. но умных слов и специфических мат.терминов в моей речи быть не должно, поэтому я пока обхожусь "полиморфные (generic) контейнеры". нужно кратко, по пунктам подбить промежуточный итог, почему ими нужно пользоваться, но при этом не скатившись в сложную теорию и нипанятные для ООПшного мира слова. я пока осилил только:
- Полиморфные типы-контейнеры хороши для коммуникации и управления четко определенным (a-ka single responsibility™) эффектами.
- Это работает, потому что:
а) на самом деле логика связывания “up’нутых” вычислений не зависит от конкретной <T>-типизации (т.е. Maybe<string> ведет себя точно так же как Maybe<MyClass>);
б) законы логики существуют объективно и осознанное следование им обеспечивает гораздо более качественный код автоматически.
Anonymous
может кто поможет идеями?
Anonymous
им заезжает такое
Anonymous
они же с ООП
Anonymous
друг мой, давай пожалуйста вернемся к моей просьбе
Anonymous
вопрос был не в том, можно ли или нет
Anonymous
а в том, почему Maybe, Either, Reader, Writer, State и другие - это хорошо
Anonymous
у меня прямо противоположный опыт, если честно
Anonymous
ага, если будут идеи насчет того ,что дописать в пункты 1, 2, 3..., то появись снова )
Anonymous
спасибо
Anonymous
начинать надо с типов, которыми они выражают мысли. потому что без типов нельзя естественно перейти к функциям (маппингам между типами)
Anonymous
а про "монаду" забудь вообще
Anonymous
это не та аудитория
Anonymous
там простые смертные, я должен постараться по максимуу на их языке говорить
Anonymous
ну лямбда-исчиление и среднестатистический ООП разработчик это вода и огонь
Vasiliy
млин, не туда лезу. Но у Влашина было видое 13 примеров черепахи. Так очень круто описывает f# От ООП до функционального подхода. показывал своим коллегам на работе им понравилось и они задумались
Anonymous
а ссылку можно? я очень был бы благодарен
Anonymous
на всякий случай контекст события: меня попросили ребята помочь им вникнуть в основы без сложной лексики, по возможности простым языком. все на чистой инициативе.
Anonymous
и эту инициативу нельзя убить
Vasiliy
https://youtu.be/AG3KuqDbmhM
Anonymous
отлично
Anonymous
но все равно - подумайте про пункты, что я выше озвучил
Anonymous
накидайте своих соображений, если есть время
Anonymous
я переведу на простой язык
Anonymous
сам
Vasiliy
ну я бы еще попробовал закинуть мысль про отдельные доменные модели и отдельную логику.
Anonymous
людям помогать нужно, не все могут сами по книгам освоить сложные теории ведь, так что не ленитесь делать полехзное дело )
Sergey
Госпади но алерт то зачем
Anonymous
Klei
Denis
крутой заход
Anonymous
ребята, такой момент. нужно мне не очень подкованным в CS и тем более ФП ребятам красиво объяснить, какими такими способами они могут пользоваться благами ФП на своих ООП-проектах. это прям целая лекция будет, разумеется начинать буду с типов, в частности с монад Maybe/Either. но умных слов и специфических мат.терминов в моей речи быть не должно, поэтому я пока обхожусь "полиморфные (generic) контейнеры". нужно кратко, по пунктам подбить промежуточный итог, почему ими нужно пользоваться, но при этом не скатившись в сложную теорию и нипанятные для ООПшного мира слова. я пока осилил только:
- Полиморфные типы-контейнеры хороши для коммуникации и управления четко определенным (a-ka single responsibility™) эффектами.
- Это работает, потому что:
а) на самом деле логика связывания “up’нутых” вычислений не зависит от конкретной <T>-типизации (т.е. Maybe<string> ведет себя точно так же как Maybe<MyClass>);
б) законы логики существуют объективно и осознанное следование им обеспечивает гораздо более качественный код автоматически.
надо начинать вводить информацию с позиции ИХ ценностей. а потом уже когда эта информация будет накоплена, вводить ценности функциональщины
Pavel
Можешь на мне потренироваться
Anonymous
Anonymous
второй дзен - осознать, что функции сами по себе это то же типы. третий - что фукнции, могут принимать фукнции в качества параметров или возвращать фукнции.