Sergey
Ага подход на шарпе)
Hog
Вот вы тут настрочили!
Anonymous
есть такая проблема - те, кто хорошо разобрался в этих вопросах и с теоретической стороны часто очень выебываются. они типа читают лекции, но для самих себя, чтобы покайфовать от того какие они умные и какие вокруг все долбоебы.
Anonymous
их докалды обычно пестрят словами "монады", "функторы", "квазикомпозиция" и всем таким прочим.
Anonymous
а аудитория тихо ахуевает
Vladyslav
расскажи про Хиндли-Милнер это то что зайдет ООПшникам
Hog
есть такая проблема - те, кто хорошо разобрался в этих вопросах и с теоретической стороны часто очень выебываются. они типа читают лекции, но для самих себя, чтобы покайфовать от того какие они умные и какие вокруг все долбоебы.
да ты с этих козырей тут в чакик и зашёл, если мне склероз не изменяет :)
Anonymous
ну конечно решается. вопрос в том, какая культура мышления стоит за такими решениями.
Anonymous
и другой вопрос - существует ли лучшая культура мышления? которая даст лучшие решения?
Oleg
и лучше для кого?
Anonymous
да ты с этих козырей тут в чакик и зашёл, если мне склероз не изменяет :)
я зашел, чтобы понять какая тут аудитоия и насколько глубоко люди копают
Anonymous
первый правильный вопрос за вечер )
Ayrat
Соглашусь. Потому что сам такой.
Hog
Эй, любезный!
Ayrat
свидетели Гопака
Vladyslav
мы же вроде договорились не рассказывать всем
Hog
ля - сёня пятница. это раз
Hog
у евреев не получилось создать лунный израиль. это два
Hog
у маска получилось пол-ракеты обратно на Землю вернуть. это три
Hog
а вы тут про какие-то манады!
Hog
я ща у кореша в спейс-х спрошу :)
Oleg
бизнес уже давно решил для формошлеперов ООП самый сок
просто объяснить, относительно легко масштабировать
а чем дешевле бизнес получает продукт, тем лучше
потому нет смысла приходить шарпистам и объяснять, что лучше писать на ФП
надо приходить к бизнесу и продавать ему
Anonymous
бизнес уже давно решил для формошлеперов ООП самый сок
просто объяснить, относительно легко масштабировать
а чем дешевле бизнес получает продукт, тем лучше
потому нет смысла приходить шарпистам и объяснять, что лучше писать на ФП
надо приходить к бизнесу и продавать ему
это вздор. ты же не обезьянка, чтобы танцевать на поводу у кошельков.
Anonymous
так мало что ли?
Vladyslav
кто там у нас в Jet на F# пишет
Oleg
это вздор. ты же не обезьянка, чтобы танцевать на поводу у кошельков.
только кушать хочется, я бы конечно попитался энергией космоса, но не все на такое согласны
Anonymous
Anonymous
именно
Anonymous
да и потом, никто не мешает делать очень маленькие шажки, знаете да.
Anonymous
не нужно ничего ломать )
Anonymous
хороший пример - linq
Oleg
я в своей специфике продал F# как: быстрее писать, меньше отлаживать
на реальных примерах и это сработало
Anonymous
он теперь повсеметсно
Anonymous
по пальцем пересчитать тех, кто им пользуется и знает, что selectmany это монада а select функтор
Hog
Anonymous
и что?
Hog
только перед этим надо думать в 3 раза дольше
Vladyslav
а чем это именно ООП помог? он эе просто мейнстрим
Anonymous
так это ты с такими в лодке сидишь варварами
Vagif
Если ФП ускоряет процесс разработки и делает результат более надёжным, то очень даже решает.
Anonymous
преподвай. помогай другим расти, если сам высок.
Oleg
только перед этим надо думать в 3 раза дольше
имхо это не совсем про F#, здесь не столько загонов как в других чистых ФП
Vladyslav
погоди, алгребраическая система типов сильнее
Oleg
всегда можно захерачить всё на классах и получить тот же C# только покороче
Hog
а говорят, что начинать затаскивать надо с фейка
Anonymous
это обсуждаемый вопрос, но я готов активно участвовать в обсуждении, если что. меня это очень беспокоить.
Hog
давайте вот сначала сборочку и деплойментик закодим вот так вот
Vladyslav
ФП банально короче и это уже сильно решает
Oleg
фууууу
ну как фу, F# себя так и позиционирует как гибрид ФП + ООП и это его главный плюс
он идет не по пути революции и отказа от всего, что ты знал и умел
а по пути, давай ты сможешь то же самое, что раньше, но я могу еще больше и так делать даже лучше
Vladyslav
ну как фу, F# себя так и позиционирует как гибрид ФП + ООП и это его главный плюс
он идет не по пути революции и отказа от всего, что ты знал и умел
а по пути, давай ты сможешь то же самое, что раньше, но я могу еще больше и так делать даже лучше
а вот дикий микс классов и типов на работе прям вот сильно бесит
Hog
ну как фу, F# себя так и позиционирует как гибрид ФП + ООП и это его главный плюс
он идет не по пути революции и отказа от всего, что ты знал и умел
а по пути, давай ты сможешь то же самое, что раньше, но я могу еще больше и так делать даже лучше
это бы работало, если FSC мог *.cs компилировать и можно было б по кусочкам переделывать
Vladyslav
херню можно написать везде
Vladyslav
именно!
Oleg
длиннее тоже :)
понятность она вообще не от этого зависит
Vagif
ФП банально короче и это уже сильно решает
Плюсую. Компактность кода упрощает его поддержку и внесение изменений.
Vladyslav
дело привычки
Roman
им как раз АДТ понятны, пушто АДТ интуитивны. А вот укладывание чойс-типа в плоскую дто и с последующей необходимостью валидации — как раз контринтуитивно
Vladyslav
лазить по DU и интерфейсам боль разного уровня
Hog
Плюсую. Компактность кода упрощает его поддержку и внесение изменений.
но не упрощает его понимание
Roman
Algebraic Data Types
Roman
короч, таплы и дю
Ayrat
когда ты можешь окинуть взглядом весь код на экране или когда тебе надо постоянно go to definition делать - это прям небо и земля
Vagif
Почему? В ООП sum-type приходится замещать интерфейсами, коротые ни один нетехнарь не поймёт. DU может понять каждый.
Roman
<*> = » |> (+) <| !
AbstractSingletonFactory.CreateOrGetInstance().GetValueFactory().GetValue()
Oleg
это только на словах
реальный код это абстрактные фабрики репозиториев с обвесом из инъекций
и прочая хрень
в победе ООП на первых порах решал перфоманс и логичное развитие процедурного программирования
сейчас накопленная база окружения, инструментов и людей
Vladislav
когда ты можешь окинуть взглядом весь код на экране или когда тебе надо постоянно go to definition делать - это прям небо и земля
Не надо 10000050000 файлов с классами
Ayrat
можно. тайп инфиренс и АДТ - не фпшные фичи.
Roman
либо ты не прав, либо аналитики у вас так себе
Hog
AbstractSingletonFactory.CreateOrGetInstance().GetValueFactory().GetValue()
да, но это ж можно прочитать :)