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

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

Да ладно, что вы так. Просто заготовьте ответы на три вопроса: 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 будет)

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

есть разве что такая штука 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 скорее

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

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

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

потому что mappend не удовлетворяет законам

Хотя не, магма тоже опрецию имеет, просто не ассоциативную

по-моему @qnikst что-то такое спрашивал давно

и ему нашли тогда

не помню ответа

но наверное был

потому что mappend не удовлетворяет законам

Какому именно?

Непонятно, как может быть нейтральный элемент, если нет операции?

default

Она может быть неассоциативна

Тогда точно Магма

У магмы операция есть, но ассоциативность не гарантируется

так у магмы и нуля нет

а тут вроде только нуль нужен

Магмоид

Нуль относительно чего, если операции нет?

тут нужен специальный класс под задачу и домен, который отдает НУЖНЫЙ дефолтный элемент под задачу

Default :)

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

Что значит дефолтный

Дефолтный /= identity element

так я и говорю, про дефолтный элемент сказал, а что ещё в классе есть?

ладно. когда моноид я обычно считаю, что это mempty

кроме этого элемента?

но бывет и не моноид

Вот есть набор параметров для какого-нибудь численного алгоритма. И есть значения по умолчанию

для инта это обычно ноль