« Rev
@fsharp_flood   1560
Fwd »


Roman
Так нет же, надо выебнуться
дак почти все выебываются. Просто в ооп уже успели некоторые выебоны заклеймить, а в фп еще целина не пахана
Doge
Вон, у хаскелистов более-менее всё норм
Roman
я вот видел комплекс упражнений на козле автофаке. Тоже так себе экспириенс. Только эти эксперименты лучше спрятаны в коде
Vasily
Вон, у хаскелистов более-менее всё норм
Ну мы же процентовку смотрим
Igor
Вон, у хаскелистов более-менее всё норм
Каждая команда свои эффекты придумывает
Doge
Каждая команда свои эффекты придумывает
Ну в хаскеле просто вся архитектура обычно на эффектах строится, так что это меня не удивляет.
Igor
Doge
Ссылочная прозрачность не нарушается, значит всё хорошо
Igor
Хуисты, эффекты они и есть эффекты
Igor
Ссылочная прозрачность не нарушается, значит всё хорошо
Ну так бери IO, там тоже ссылочкая прозрачность
Doge
Ну так бери IO, там тоже ссылочкая прозрачность
У IO нет достаточной гранулярности. Сложно по сигнатуре будет сказать, что там происходит.
Doge
А вот в MTL стиле и во всяких либах с эффектами - оно обычно как раз есть.
Vasily
Все же доля хаскеля в проде ничтожно мала
Doge
Все же доля хаскеля в проде ничтожно мала
Это да, а жаль, конечно. Многопоточность и конкурентность там сделаны просто божественно.
Roman
Поспрашивал чувака, который в пейсбуке на хаскеле шпилит. Грит, очень смешанные ощущения
Igor
Все же доля хаскеля в проде ничтожно мала
А вот смотришь на https://docs.google.com/presentation/d/1S5wXNcSHxs73yoiiE9hR4p8eBJ3G8YxeZDlNqaQdSKo/edit?usp=sharing непонятно зачем. DI, моки и сервисы можно и на C# писать с ООП
Roman
Во многом из-за тулинга — он грит, что с таким тулингом он тупо в блокноте ебошит, пушто разница в итоге все равно не велика, тока глючит)
Doge
Ну порог вхождения высоковат
Скала сейчас рядом по удобству становится (спасибо котоэффектам и т.п.), но в ней порог вхождения оказывается ещё выше, т.к. надо и в ФП абстракциях разбираться и во внутренностях JVM.
Vladyslav
та мы поняли что Скала топ
Doge
Во многом из-за тулинга — он грит, что с таким тулингом он тупо в блокноте ебошит, пушто разница в итоге все равно не велика, тока глючит)
Тулинг реально так себе. Лучший вариант - это плагин хаскелевский к идее, но он норм только со stack работает, а он не всем нравится
Vladyslav
не то что фшарп
Doge
не то что фшарп
фшарп был бы норм, если бы его не сдерживала необходимость за C# и CLR плестись в плане системы типов.
Igor
та мы поняли что Скала топ
Ну да как, java только с сахаром 👍
Doge
Ну да как, java только с сахаром 👍
Как хаскель, только с вакансиями. Исправил за тебя
Igor
Как хаскель, только с вакансиями. Исправил за тебя
Как на хаскеле ты на скале будешь дома писать
Romɑn
Собача в сраче!
Igor
Doge
Как на хаскеле ты на скале будешь дома писать
То-то на работе вполне успешно на скале в хаскель стиле писал. Или вон, постучись в Тинькофф, спроси как они там пишут.
Igor
То-то на работе вполне успешно на скале в хаскель стиле писал. Или вон, постучись в Тинькофф, спроси как они там пишут.
Где-то слышал что как на беттер джаве, кроме команды Нижникова. По моему от Мельникова
Doge
И да, в Райфе тоже на ФП скале пишут
Igor
та мы поняли что Скала топ
там еще ml синтаксис завезут и все, все остальные языки загнутся окончательно
Romɑn
Когда завезут?
Vasily
Вот-вот.Нижников плюется заранее
Igor
уже даже микрософт свою опенждк начал собирать!
x
Мало того, был же какойто там j#
Диёр
Был, да
Ayrat
Когда завезут?
в третей под фича флагом https://github.com/lampepfl/dotty/pull/7083
Ayrat
дотти это и есть третья скала
Ayrat
а некий odersky это типа Сайм скала разлива
Ayrat
Ayrat
Вот такие вот скалисты не очень. любят скобочки
Ayrat
а ещё фпшники
Ayrat
я вот заебался уже скобки расставлять
Ayrat
Можно подумать в jvm и java система типов лучше
не лучше. Но та же скала просто плевать хотела на джаву и свою типо-магию только для себя делает через обильную метадату
Диёр
Обмазались дерьмом, но представляют что это смузи
Ayrat
Сайм против такого, т.к. если вдруг внедрить вот так ХКТ, а через год сишарп тиме моча в голову ударит сделать ХКТ, придётся с ними интеропиться
Ayrat
у скалы такой проблемы нет, моча в голову в джава тиме уже лет 10 не бьёт
Bonart
не лучше. Но та же скала просто плевать хотела на джаву и свою типо-магию только для себя делает через обильную метадату
Так эфшарповые типв из сишарпа тоже смотрятся как что-то обмазанное метадатой
Bonart
у скалы такой проблемы нет, моча в голову в джава тиме уже лет 10 не бьёт
У ява тимы есть голова? Да еще не дай бог с мозгом?
Ayrat
короче, фшарпу опять не повезло. Его сосед-доминатор подаёт признаки жизни и может разродиться похожими фичами
Ayrat
у скалы пациент скорее мёртв и можно гулять по полной
Ayrat
В сишарпе классы типов на 10 версию задвинули а hkt разве что к моей пенсии запилят
ну вот будет как с Асинками, Туплями, КвериБилдером, Нуллабл, и пр
Ayrat
которые в начале появились в фшарпе, а потом хуяк в совершенно другом виде в сишарпе
Ayrat
и сиди ебись с трансформом квотейшнов фшарпа в экспрешны сишарпа
Bonart
ну вот будет как с Асинками, Туплями, КвериБилдером, Нуллабл, и пр
Асинки и туплы норм, наллаблы - да, рекордная говнофича.
Ayrat
или из реф туплей фшарпа в стракт тупли сишарпа
Ayrat
Асинки и туплы норм, наллаблы - да, рекордная говнофича.
ну про асинки я имел в виду что у фшарпа свои асинки и видение, у сишарпа своё
Ayrat
ну и квотейшны блять
Ayrat
сукаблять
Romɑn
ну и квотейшны блять
Боль и тишина данные навек
Bonart
сукаблять
Не обижай честных профессионалок
Arseniy
у скалы пациент скорее мёртв и можно гулять по полной
в jvm есть стирание типов. в clr честные генерики. если пойдешь воротить что-то в обходит них, надо делать очень много, при том это будет видно только из одного языка, который эти костыли нагенерил.
Ayrat
Короче, подозреваю что Сайм говна поел с интеропом фшарп фич в сишарповые говнофичи и не хочет больше ничего пилить вперёд паровоза
Ayrat
То есть существование генериков в рантайме НИКАК не мешает реализовать type erasure
Ayrat
и всё остальное
« Rev
@fsharp_flood   1560
Fwd »