A64m
я именно про этот пост, который на скриншоте
Nikita
да xотел попробовать
A64m
надо было сказать, конечно, комментарий
Nikita
мне интересна теория но когда я начал с category theory как то все слишком абстрактно
Nikita
Но я знаю что для haskell не нужно знать сильно теория чтобы использовать, просто интересно
Leonid 🦇
Вообще не нужно. И даже вредно. Вместо того чтобы на хаскеле в прод писать начинают сраться про Hask и углубляться в муть типа рекурсивных схем.
parket
Вообще не нужно. И даже вредно. Вместо того чтобы на хаскеле в прод писать начинают сраться про Hask и углубляться в муть типа рекурсивных схем.
Ну, есть категория граждан ( я | rest ), кто ничего не пишет ( тем более в прод ), но с удовольствием углубляются ( не очень глубоко ) в муть рекурсивных схем. Каждому своё 😊
Leonid 🦇
кана
Разговор был о изучении хаскеля
так хаскель же изучают (да и создавали) не только для прода
а шоб рекурсивные схемы кодировать)
Leonid 🦇
parket
Ну, вот, я неспеша изучаю концепты, и достижения человеческой мысли. Прод код не пишу, и пока не собираюсь. У всех свой интерес :)
Oleg
так хаскель же изучают (да и создавали) не только для прода
а шоб рекурсивные схемы кодировать)
по-моему даже принципиально не для прода
Oleg
это ща народилось всяких брагитов и бетменов, которые "быстрее-быстрее в прод. рекламируй-пропагандируй хачкель младенцам, соседям, своему деду-коммунисту"
Хорошо, что таких мутантов меньшинство. Но они всегда будут гнуть свою линию. Можно просто игнорить их
parket
Сыровато для прода, разве нет?
Oleg
В две тысячи восемнадцатом либо устарело, либо сыровато. Стул тебе выбирать.
A64m
по-моему даже принципиально не для прода
а вот нет, с самого начала декларировалось, что и для прода делают
> It was decided that a committee should be formed to design such a language, providing faster communication of new ideas, a stable foundation for real applications development, and a vehicle through which others would be encouraged to use functional languages
parket
а вот нет, с самого начала декларировалось, что и для прода делают
> It was decided that a committee should be formed to design such a language, providing faster communication of new ideas, a stable foundation for real applications development, and a vehicle through which others would be encouraged to use functional languages
Ну, вот когда будет репозиторий пакетов, с покрытием большинства реальных кейсов - тогда можно пробовать. Причем реп должен быть консистентным. Stackage - это оно, но покрытие маловато :(
Leonid 🦇
Ну, как "И?". Смотрите, чуваки, каких я|они схем накодировал(и). И... Всё.
Причём тут изучение хаскеля через ТК? Гланды удаляют не через зад же
parket
Причём тут изучение хаскеля через ТК? Гланды удаляют не через зад же
Ну, дык, много терминов заимствовано. Много идей. Теоркат для elm не нужен. Для haskell - желательно.
parket
Т.е. базовый теоркат нужен by design
Влод
Ну да названия будут давать некоторую интуицию
Влод
Ну это скорее прелюдия и инфраструктура нежели сам язык
Влод
Правда монады невыпиливыемые
A64m
в каком смысле невыпиливаемые?
кана
IO вроде таки можно заменить
parket
Ну, просто не надо говорить страшное слово "Монада". Как в elm. Видели там монады? А они есть!
кана
от того, что они там есть, нет никакого профита
кана
никакого обобщенного по монадам кода там нет
а без этого и вводить абстркцию монад смысла нет
ну то есть смысл есть для документации мб, чтобы люди быстрее вникли (мол ммм, Task монада, значит есть andThen и можно дальше в доку не смотреть), но вот профита при написании кода нет
Oleg
Т.е. базовый теоркат нужен by design
Теоркат для фп в хачкеле нужен настолько же, насколько астрофизика для просмотра звёздных войн.
Т.е. знание поможет тебе лишь поглубже потошниться с сабжа
parket
никакого обобщенного по монадам кода там нет
а без этого и вводить абстркцию монад смысла нет
ну то есть смысл есть для документации мб, чтобы люди быстрее вникли (мол ммм, Task монада, значит есть andThen и можно дальше в доку не смотреть), но вот профита при написании кода нет
Ну, дык, оно так и спроектировано, для тех, кто не вникал в ФП и уж тем более, в теоркат. Из опрошенных фронтендеров все пищат от восторга. "Purs? Нее, там вообще страшная дичЪ, какие-то там монады.. что еще за forall"
parket
Ну, дык, оно так и спроектировано, для тех, кто не вникал в ФП и уж тем более, в теоркат. Из опрошенных фронтендеров все пищат от восторга. "Purs? Нее, там вообще страшная дичЪ, какие-то там монады.. что еще за forall"
Но стоит заметить, что не видел ни одного, кто бы что-то писал
кана
Ну, дык, оно так и спроектировано, для тех, кто не вникал в ФП и уж тем более, в теоркат. Из опрошенных фронтендеров все пищат от восторга. "Purs? Нее, там вообще страшная дичЪ, какие-то там монады.. что еще за forall"
еще раз, ты сказал, что можно не говорить страшное слово монада вот как в элме
но в элме и нет монад, так как в принципе нет возможности их заэнкодить даже через словарик
поэтому их и использовать нельзя, смысла называть некоторые конструкторы типов монадами нет (так как это абсолютно ничего не дает)
parket
Так, но монада это же способ композиции, и набор законов, который должен выполнятся. С этой точки зрения монады там есть.
Oleg
Так, но монада это же способ композиции, и набор законов, который должен выполнятся. С этой точки зрения монады там есть.
с этой точки зрения их и в пурскрипте нет
кана
как и в хаскеле наверное, законы никто не чекает
parket
Не ломайте мой "маньмирок"
Влод
Ну разве что на листке
кана
или в тестах в рантайме (что все равно приблизительно)
Влод
Ну тесты это так. Рантайм + непруф
Андрей
Законы не чекают только плохие парни)
Влод
Да я ни разу не чекал
кана
ух какой плохой
Влод
Ну рос в неблагополучной семье.
Влод
Ладно, я набираю сообщения и стираю их тк слишком тупо
Андрей
Почекал и посадили?)
Oleg
Ладно, я набираю сообщения и стираю их тк слишком тупо
агрессивное стирание из идриса подхватил?
кана
никогда не стираю поэтому вечно столько тупых сообщений
Alexander
стирай не стирай, тут в чатике такая толпа тупых сообщений что толку не будет
Alexander
то т.к. предложат учить, то хаскель у них не для продакшна, то я что напишу
Кабачок
Евгений
как и в хаскеле наверное, законы никто не чекает
В хаскеле законы не чекают, но зато на них полагается компилятор. Можно считать, что где-то они неявно объявлены как аксиомы.
A64m
не полагается, если специально полагающиеся правила перезаписи не пишут
A64m
ну и некоторые чекают законы, доказывают законность инстансов (редко) и тесты делают (чаще)
Yura
Андрей
Вот генерировались бы эти проверки законов
Aliester
пруверы еще для них писать
Aliester
проверять на циклические зависимости
Oleg
Получился бы нормальный язык с завтипами, но нет, придётся прод писать на хашкере
Aliester
Идрис - Хаскель для других языков для Хаскеля
Alexander
завтипы в продакшне не нужны !!1
Alexander
нужны конечно, но пока продушн реди языков с ними не завезли
Alexander
(пруверы не в счёт)
Alexander
Вот генерировались бы эти проверки законов
кстати были плагины но там не достаточная сила, я так понимаю они на основе оптимизатора ghx
Alexander
GHC
A64m
потому что их раньше делать стали, чем ленивые, очевидно же
Aliester
Ленивые языки - для ленивых программистов!
andrei
Влод
с тобой всё в порядке?
Влод
как ты туда зашёл?
Aliester
Брось из рук