Hog
Вот ещё вам к праздничку - https://youtu.be/o53J6kdZc_c
Ilya
🦑Валсотявс Рабуз🦑
Одно другому не мешает.
Так я ведь вообще только начинаю осваивать программирование
Hog
Так я ведь вообще только начинаю осваивать программирование
Есть книжка вроде - Пайтон для детей. Говорят, с него проще начинать!
Hog
Церемоний меньше.
Критерий
learn you a haskell for great good
Hog
Но могу ошибаться!
Критерий
http://learnyouahaskell.com/
Hog
Вот склероз!
Ayrat
Но лучше идти в этом направлении
Критерий
в направлении имеющих право или тварей дрожащих?
Hog
Как там про русскую литературу - страдает либо автор, либо читатель, либо оба!
Hog
learn you a haskell for great good
Послушай, ну, вот, к примеру. Какое большее добро принёс тебе хаскель?
Критерий
только страдания
Критерий
будучи сишарп разработчиком, каждый рабочий день страдаю
Критерий
блаженны неведающие
Критерий
но лишь через страдания можно принести истинный вэлью
Критерий
я думал ты святой отец Григорий
Критерий
а ты самозванец какой-то
Anonymous
Хаскель развивает мозг
Anonymous
Иногда приводит к тому, что люди перестают использовать null
Anonymous
Понимают, зачем нужна безопасность на типах
Hog
Для себя вэлью через страдания могут только мазохисты приносить
Критерий
ересь
Anonymous
Большинство полезных вещей из хаскеля реализуемы на том же сишарпе
Крылатый
Где ересь?
Anonymous
Те же тайпклассы в явном виде не применить, но эта полезная концепция может натолкнуть на хорошие решения
Критерий
Те же тайпклассы в явном виде не применить, но эта полезная концепция может натолкнуть на хорошие решения
в лэнгэксте вроде даже применяют
Критерий
компилятор, разумеется, программисту тут никак не помогает
Критерий
Большинство полезных вещей из хаскеля реализуемы на том же сишарпе
ну да, hkt, gadt, deriving, закрытые суммы
Anonymous
Я сам в основном пишу на тайпскрипте, но я так думаю, что в сишарпе есть не меньшие инструменты выразительности
Anonymous
Hkt в явном виде, например, в сишарпе отсутствуют, но могут быть сымитированы
Anonymous
И компилятор таки поможет
Doge
Hkt в явном виде, например, в сишарпе отсутствуют, но могут быть сымитированы
Вопрос в том, что такая имитация абсолютно не эргономична в своем использовании
Критерий
да
Anonymous
Вполне эргономична, поспорю
Anonymous
Всего лишь пара вспомогательных типов
Doge
Очень эргономично
Anonymous
Будто сильно сложнее, чем в в скале с F[_]
Doge
И с постоянными Project, Inject
Doge
Будто сильно сложнее, чем в в скале с F[_]
Кардинально сложнее, т.к. у тебя нет даже того вывода типов, который есть в скале.
Приходится постоянно делать Project/Inject, чтобы перейти к реальным типами.
Нет никаких тайп-лямбд, как в скале, чтобы можно было каррировать HKT, где нужно
Anonymous
Критерий
мы же про сишарп вроде как
Anonymous
Каррирования типов, разумеется, нет
Критерий
да, но
Doge
В случае с тс таки вывод есть
Но все остальные проблемы точно так же остаются.
Плюс отутствие тайпклассов сильно мешает стандартным паттернам из ФП. Либо руками ресолвить инстансы, что в случае любого нормального стека трансформеров превратится в ад.
Anonymous
Безусловно, руками получается дольше, но я полагаю, что это терпимая плата
Anonymous
Не весь код должен быть таким
Критерий
плата за недостаточную выразительность языка
Anonymous
Не имеет смысла на сишарпе полностью чистую программу привет
Anonymous
Писать
Doge
(Да и не только трансформеров, любая сериализация на тайпклассах точно так же превратится в бессмысленную хрень без дерайвинга и вывода тайпклассов)
Anonymous
И как раз страдания от недостатка выразительности и постоянное тыканье в это носом разработчиков ЯП может привести к совершенствованию
Doge
Не весь код должен быть таким
Я бы сказал, что если хочется писать так код, то не надо это делать на C#. В эпоху микросервисов писать можно на любом языке в рамках системы, было бы желание
Критерий
окей, какие-то вещи реализуемы на сишарпе. через жопу, боль и боль в жопе, но реализуемы
Anonymous
Собственно, скала значительно повлияла на развитие жавы
Anonymous
Я бы сказал, что если хочется писать так код, то не надо это делать на C#. В эпоху микросервисов писать можно на любом языке в рамках системы, было бы желание
Не везде позволяют свободно жонглировать стеком разработки
Anonymous
Но я в целом согласен
Doge
Не везде позволяют свободно жонглировать стеком разработки
Переходить в те места, где менеджемент не вторгается в технические выборы, а-ля стэк
Anonymous
Тогда мы можем как минимум вывести пользу из хаскеля, что если его знает хотя бы часть команды, то на нем можно написать кусочек системы
Критерий
если б это был менеджмент
Anonymous
И он может оказаться лучшим
Hog
Переходить в те места, где менеджемент не вторгается в технические выборы, а-ля стэк
На Луну что ли улететь?