ну кое-какие пересечение у них есть, но не надо его переоценивать

тайпклассы вместо модулей в хаскеле не особо используются. это всякие сомнительные пакеты вроде листлайк, единственная популярная библиотека которая что-то вроде такого делает это vector, и то там модули костылятся не только на тайпклассах, но и на сишном препроцессоре что уже совсем ужас

есть туториал в янговском диссере https://github.com/ezyang/thesis/releases/download/rev20170925/main.pdf

спасибо, гляну

короче говоря, там где должны бы быть модули в хаскеле обычно просто копипаст, сишный препроцессор или вообще ничего

так что и какой-то реальной проблемы выбора между модулями и тайпклассами просто не существует

А когда ты говоришь "вместо модулей" ты имеешь ввиду беззаконные тайпклассы или что? Я просто плохо одного от другого могу отделить

да законность тут не при чем.

Тогда попробуй сформулировать критерии

Ну то есть я понимаю, что 45 вариантов строк и 14 мапов это юзкейс модулей

Но это интуитивно всё

смысл модулей, грубо говоря, в том, что мы можем рассматривать импорт вроде import Data.Text как некий параметр, а список импортированного - как тип этого параметра. т.е. мы ничего не меняя в коде можем подменить используемую библиотеку другой, которая подходит к интерфейсу который мы используем.

насколько это можно реализовать тайпклассами? да почти ни насколько.

Как там, кстати text-utf8 у hvr? Давно я не смотрел

мы можем превратить Data.Text в один здоровенный тайпкласс с зиллионом методов, но эта деталь просочиться в использующий модуль, у нас в сигнатурах не будет конкретных типов, а будет класс и параметры

с другой стороны - тоже проблема. в случае модулей нам достаточно имплементировать в подставляемом в параметр модуле только то, что реально используется в параметризованном модуле.

но с случае мегатайпкласса надо всегда имплементировать все либо нарываться на рантайм ошибки

модули, на самом деле, как и тайпклассы не полностью соотвествуют такому идеалу, в случае эмельных функторов импорт все же отличается от параметра - параметр не воображаемый а реальный и надо вручную подставлять другие модули в функтор

Затея сделать параметризованные модули в кабале -- это не очевидно, но звучит офигенно. Притащить вывод типов модулей в систему сборки -- это что-то очень доброе.

т.е. как и в случае тайпклассов надо сразу вкладываться в архитектурку, которая становится все навороченнее и дальше дела развиваются так: ехал функтор через функтор, видит функтор в функтор функтор сунул функтор функтор в функтор - функтор функтор функтор функтор

мы можем превратить Data.Text в один здоровенный тайпкласс с зиллионом методов, но эта деталь просочиться в использующий модуль, у нас в сигнатурах не будет конкретных типов, а будет класс и параметры

Когда я переходил 10 лет назад с sml на сабж, то так и делал в своих недопроектах

в 2000-х поэтому дреер с россбергом придумали миксины, которые уменьшают такие вложения в архитектурку и пытаются сделать весь этот функтор-пламбинг автоматически

А в бекпаке миксины?

не совсем

там есть разделение на сигнатуры и структуры - в мискинах нет

но автоматизация применения "функторов" и замаскированные под обычные импорты параметры есть

у этой автоматизации есть своя цена, очень тупая проверка соотвествия структуры и сигнатуры.

в макквиновских модулях она умная, с сабтайпингом, но миксины такое не осиливают

также янг не имплементировал рекурсию.

рекурсия это тоже улучшение миксинов по сравнению с макквиновскими функторами, которые с ней не дружат

впрочем, насчет придумали миксины - тут поправка нужна, миксины придумали в скриптах, дреер с россбергом придумали как их для нормальных языков сделать

Рекурсивные модули, которые ты скидывал недавно, мне очень dhall напомнили. Мне кажется, что у них и проблемы будут соответствующие с вербозностью

так это "дхолл сделанный правильно". впрочем, дхолл вроде как отходит от модулей, там же в новых версиях вроде нельзя значения и типы в одном "рекорде" иметь

вообще не факт, что гонзалес в курсе, что он фактически переизобретает модули, так что шансы изобрести велосипед с квадратными колесами не прочитав ничего про модулестрадания за последние 35 лет у него высоченные

где-то чатик прорекламировали что-ли?

Первый в поиске по запросу "Haskell"

?

ну 5 джойнов пачкой это не объясняет

Это просто случайность.

сейчас будут гербалайф или биткоины толкать

один (как минимум) из пяти окамлист

Да ладно, что вы так. Просто заготовьте ответы на три вопроса: 1) какие книги читать, 2) какую IDE использовать, 3) применяется ли Haskell в продакшене.

1) никакие 2) никакую 3) нет

Ubuntu 18.04, стоит GHC 8.0.2, в попытках что-то сомпилить с -fllvm говорит, что Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM 3.7 При этом по sudo apt install llvm ставится llvm-6.0 Что делать

поставить 8.2 или 8.4 для начала, они вроде работают с llvm 6 (но оба будут жаловаться, правда)

Ну оно ж собирается и работает?

Ну оно ж собирается и работает?

нет, ничего не собирается

поставить 8.2 или 8.4 для начала, они вроде работают с llvm 6 (но оба будут жаловаться, правда)

стэк то есть?

можно поставить другую версию llvm и указывать в параметрах ghc какие opt и llc использовать

или можно как-то ещё поставить, я просто стэком так и не научился пользоваться

можно поставить другую версию llvm и указывать в параметрах ghc какие opt и llc использовать

сейчас вот это попробую

стэк то есть?

не обязательно https://www.haskell.org/downloads/linux

ppa:hvr, возможно, ещё живой

если HVR ещё не ушёл на стэк

а я на что ссылку дал по вашему?

действительно, там ppa:hvr упоминается

не обязательно https://www.haskell.org/downloads/linux

спасибо, получилось, поставил ghc 8.4.3 через ppa:hvr, теперь всё работает You are using an unsupported version of LLVM! Currently only 5.0 is supported. We will try though...

ppa:hvr, возможно, ещё живой

долгих лет жизни ему

интересно, есть линзы из тип суммы и можно ли как-то сделать view (l1 or l2 or l3)? чтобы выбирать линзу как-то автоматически

линзы из суммы называются призмы

и можно вроде (чтобы получить в сумме тоже призму, то есть не view будет)

но если немного поиграться с тайплевелом, то наверное можно будет и из призм собраться линзу

ERROR: S client not available

есть разве что такая штука http://hackage.haskell.org/package/lens-4.17/docs/Control-Lens-Traversal.html#v:failing

> Left 1 ^? failing _Left _Right Just 1 > Right 1 ^? failing _Left _Right Just 1

> Left 1 ^? failing _Left _Right Just 1 > Right 1 ^? failing _Left _Right Just 1

а если больше 2?

p1 `failing` p2 `failing` p3

ну линзу это не даст, только призму

для генерации линзы нужно по типу генерить список конструкторов, както-то вычитать из списка конструкторов конструкторы для призмы, и делать линзу когда список пустой

если HVR ещё не ушёл на стэк

не могу понять, какой это уровень иронии

5-й или 17-й

несколько уровней, объединённых в стэк

https://twitter.com/Hillelogram/status/1019051564776878080

https://twitter.com/d6/status/1009305263235616769

https://twitter.com/Hillelogram/status/1019051564776878080

так нет же ничего лучше оптического анализа кода

нужно создать CV-нейросеть которая будет по оптическим образцам и с учителем-программистом который будеть ревювать и задавать коффы определять есть ли баги в коде или нет методом анализа форм и кластеров изображения

а потом натравить её на собственный код

и через несколько дней наблюдать закат человеческой цивилизации

Та третьей итерации она перестанет компилиться

достаточно ей поправить код компилятора, чтобы продолжить компилиться

https://twitter.com/Hillelogram/status/1019051564776878080

> is this a markov chain самый лучший пост в треде

когда-то закончится война "типистов" и "не тепистов"?:)

Сегодня в маршрутке хаскеллист лет 34х спросил чат: "А если всем попросить бога, он выключит войну типистов и не тепистов?" С клапауцием плакала половина чата... Боже, выключи войну!!!

когда-то закончится война "типистов" и "не тепистов"?:)

да, когда мы победим

типические чистки и статические лагеря

какой тайпкласс лучше использовать, когда есть что-то с нулевым (умолчательным?) элементом, но при этом не моноид?

Default из Data.Default.Class ?

какой тайпкласс лучше использовать, когда есть что-то с нулевым (умолчательным?) элементом, но при этом не моноид?

Никакой. Лучше явно писать defaulMyType

какой тайпкласс лучше использовать, когда есть что-то с нулевым (умолчательным?) элементом, но при этом не моноид?

Магма

какой тайпкласс лучше использовать, когда есть что-то с нулевым (умолчательным?) элементом, но при этом не моноид?

не моноид, а тогда что?

Сегодня в маршрутке хаскеллист лет 34х спросил чат: "А если всем попросить бога, он выключит войну типистов и не тепистов?" С клапауцием плакала половина чата... Боже, выключи войну!!!

Клапауцию же 38 скорее

какой тайпкласс лучше использовать, когда есть что-то с нулевым (умолчательным?) элементом, но при этом не моноид?

А почему не моноид?

кроме нулевого элемента что есть?