SP
нет никакого энтерпрайзного и игрушечного. есть просто современные фокусы и многовековое древнее говно
Size: a a a
2021 February 26
ΑZ
Раст — это язык, в котором можно отдохнуть от всего вот этого энтепрейзного "на ходу", не надо сюда это всё тащить )
почему не надо?*
IL
почему не надо?*
Надо чтобы было такое место, где можно что-нибудь помастерить в своё удовольствие, без эффективных менеджеров.
IL
Кстати, вы не думали на такую тему, что Haskell и около-ФПшная тусовка она тоже всем этим отравлена, только не со стороны бизнеса, а со стороны академического сообщества.
ΑZ
эффективыне менеджеры не относятся к технологиям
ΑZ
посмотри на челика который на ЖС пишет формально верифицированный язык с оптимальным исполнением
ΑZ
жс - попсовее некуда, а делает для души крутую штуку без эффективных менеджеров всяких
IL
посмотри на челика который на ЖС пишет формально верифицированный язык с оптимальным исполнением
Что за язык такой?
IL
Ну, забутстрапить можно на чем угодно в принципе, почему нет
IL
Но я как-то сомнительно к theorem-prover-ам отношусь, если честно
DS
Кстати, вы не думали на такую тему, что Haskell и около-ФПшная тусовка она тоже всем этим отравлена, только не со стороны бизнеса, а со стороны академического сообщества.
Да где там академики-то. Это мифология какая-то про злых академиков, которые мешают писать в прод. Надо меньше Гранина слушать.
Вон, скала живёт в проде считай с очень-очень ФП подходами и с дико продвинутой системой типов, но её почему-то никто в академичности не обвиняет.
Вон, скала живёт в проде считай с очень-очень ФП подходами и с дико продвинутой системой типов, но её почему-то никто в академичности не обвиняет.
IL
Можно таким прувером разрешить гипотезу Пуанкаре?
IL
Да где там академики-то. Это мифология какая-то про злых академиков, которые мешают писать в прод. Надо меньше Гранина слушать.
Вон, скала живёт в проде считай с очень-очень ФП подходами и с дико продвинутой системой типов, но её почему-то никто в академичности не обвиняет.
Вон, скала живёт в проде считай с очень-очень ФП подходами и с дико продвинутой системой типов, но её почему-то никто в академичности не обвиняет.
Скала по-моему не больше ФП язык, чем любой другой современный язык.
p
Кстати, вы не думали на такую тему, что Haskell и около-ФПшная тусовка она тоже всем этим отравлена, только не со стороны бизнеса, а со стороны академического сообщества.
всем этим?
p
это чем?
IL
А с Сашей Граниным, кстати, мы по очень многим вопросам и взглядам солидарны, есть такое.
DS
Скала по-моему не больше ФП язык, чем любой другой современный язык.
Да?
Те же коты, которыми кучу народу пользуются - это калька с хаскелевского MTL один в один.
Шейплесс - это хаскелевские дженерики считай один в один.
Зио - это скаловское переосмысление ReaderT паттерна из хаскеля и т.п.
Современное ФП скала приложения от хаскель приложения не особо отличимы в подходах и стиле
Те же коты, которыми кучу народу пользуются - это калька с хаскелевского MTL один в один.
Шейплесс - это хаскелевские дженерики считай один в один.
Зио - это скаловское переосмысление ReaderT паттерна из хаскеля и т.п.
Современное ФП скала приложения от хаскель приложения не особо отличимы в подходах и стиле
DS
Причем это уже ой давно так в скала мире
в
заходишь в раст оффтопик спустя 40к сообщений