ломать userspace плохо

и ghci глобальный

> head, tail, last, init work with NonEmpty a instead of [a].

вот понаделают своих prelude с ерундой вместо фич

и полезного: Functions sum and product are strict now, which makes them more efficient.

кажется с @chshersh был недавно разговор по этому поводу

Да, мне HVR лично потом написал, что Prelude плохо экспортировать, и я потом на грабли от этого тоже наткнулся. В Summoner просто еще это не пофиксили, потому что как либо не подразумевается использовать, а поставить как исполняемый файл раньше проблем не было)

cabal-install ставит либу если она есть

вроде же нельзя executable only

можно конечно сделать песочницу, собрать и добавить симлинк на executable

> head, tail, last, init work with NonEmpty a instead of [a].

а это разве ерунда?

Вообще это интересный вопрос - как поиметь в проекте свою Prelude (+ base без оригинальной) и не сломать ничего тем, кто потом отдепендится от пакета проекта и от оригинальной base (c искоробочной прелюдией)

Сейчас, кстати, есть два способа целых. Один через base-noprelude, который мы рекомендуем (особенно хорошо для больших проектов), а второй — через миксины, но, думаю, со стеком работать не будет. Я не проверял, но есть у меня подозрение, что stack не поддерживает миксины.

вот понаделают своих prelude с ерундой вместо фич

Мы уже работаем над тем, чтобы добавить линейные и зависимые типы в нашу прелюду!

а это разве ерунда?

overrated во всяком случае

я фаззил большой проект на много тысяч строк, head и т.д. падают достаточно часто, правда это скала

cabal-install ставит либу если она есть

Я использовал cabal new-install и проблем не было. Когда делаешь cabal new-repl, то он каждый раз использует свое изолированное окружение, поэтому глобально установленная библиотека summoner не мешается.

интересно, ну у меня был старый cabal в том окружении, где я смотрел

Я использовал cabal new-install и проблем не было. Когда делаешь cabal new-repl, то он каждый раз использует свое изолированное окружение, поэтому глобально установленная библиотека summoner не мешается.

Да, возможно, дело в этом. Я использовал cabal-install

overrated во всяком случае

Я немного писал про мотивацию этого решения в комментарии на Reddit по мотивам блог поста. https://www.reddit.com/r/haskell/comments/9kuy7d/keep_your_types_small_and_your_bugs_smaller/e72vwiq

каждый head - это потенциальная ошибка. скажем в 1% случаев ты не сумеешь точно определить, что список (всегда) не пустой. в достаточно большом проекте это будет куча багов

Да, возможно, дело в этом. Я использовал cabal-install

Я хочу слегка внести ясность в терминологию. Билд тула называется cabal-install (иногда люди сокращают до более короткого но более неоднозначного cabal`). Но у этой тулы есть две команды: `cabal install и cabal new-install

Я хочу слегка внести ясность в терминологию. Билд тула называется cabal-install (иногда люди сокращают до более короткого но более неоднозначного cabal`). Но у этой тулы есть две команды: `cabal install и cabal new-install

Да, спасибо, я ошибся. Я говорю про команду cabal install

каждый head - это потенциальная ошибка. скажем в 1% случаев ты не сумеешь точно определить, что список (всегда) не пустой. в достаточно большом проекте это будет куча багов

head используется там ясно, что со структурой все ок

так же и про null говорят

я не помню 1 или 2 ошибки в большом проекте из-за head/tail

не скала правда

а haskell

~50kloc

при этом если у тебя бродит список, то конвертация его в NonEmpty ничего по сравнению с head не даст

я не помню 1 или 2 ошибки в большом проекте из-за head/tail

У меня был случай из реальной жизни с проблемой с head. Это еще было до колл-стеков. Во время преподавания я написал тулу, которая генерирует рандомизированные красивые варианты в LaTeX для контрольных и теорминов по своему курсу. И когда первый раз запустил, то увидел: Prelude.head: empty list Я потом два часа искал ошибку...

даёт, т.к. ты это делаешь рано, где можешь ошибки разумно обработать

нет

или ты делаешь это и так и так и используешь NonEmpty в структуре

и тогда наличие медленного и дурацкого head не помогает

давайте так

любой кто хочет доказывать мне, что head в Prelude плохой

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

напишет эссе на 3-4 абзаца по поводу того, почему он такой

и почему он так сделан был

(hint: потому, что NonEmpty не было - не ответ)

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

вот как-то так

76клок, 6 багов с head в Scala 3 компиляторе, 8 c null, 8 с partial match, 2 с индексацией, 10 с кастами (считай partial match), и дохрена с `assert`ами. все эти баги - следствие недостаточного использования системы типов

Да, мне HVR лично потом написал, что Prelude плохо экспортировать, и я потом на грабли от этого тоже наткнулся. В Summoner просто еще это не пофиксили, потому что как либо не подразумевается использовать, а поставить как исполняемый файл раньше проблем не было)

если делать stack install, то он ещё и либу установит, а не только executable скопирует

и порядок у них один и тот-же, ~1 баг на 7клок

нормальное решение с head это было бы liquid types

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

будет меньше проблем

(hint: потому, что NonEmpty не было - не ответ)

Потому что завтипов не было

Норм?

в NonEmpty их тоже нет

но вообще если бы были, то наверное проблема бы решилась

Но я специально не упоминал его, чтобы соответствовать требованиям рецензента

=)

не ну nonempty это вполне себе некое веяние завтипа, "синглтон свойства непустоты"

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

веяние завтипа

Как сформулировать задачу, чтобы Гранин не сказал "фримонада" ?

это вопрос про то, эквивалентом инструмента какой мощности является freemonad?

я думаю через них можно много почти все выразить

даже indexed free monad

даже indexed free monad

Эт как? И про какую индексацию речь?

тогда уж graded и с free monoidом, чтобы совсем free было

Про ту, где два индекса или один?

да ничего особенного, IFree f i j a = Pure :: a -> IFree i i a Join :: f i j (IFree j k a) -> IFree i k a run :: (forall ... f i j a -> m i j a) -> (IFree f i j a -> m i j a)

да ничего особенного, IFree f i j a = Pure :: a -> IFree i i a Join :: f i j (IFree j k a) -> IFree i k a run :: (forall ... f i j a -> m i j a) -> (IFree f i j a -> m i j a)

Чот странные индексы

Мне кажется у Pure должны совпадать

А у джойн котнрсимметрично связываться

Ага

Но это всё-таки indexed free, а не индексированная монада через free

Как сформулировать задачу, чтобы Гранин не сказал "фримонада" ?

Собираюсь поизучать FT поближе. Есть у меня подозрения, что с ней удобного разделения на чисто рантаймовые штуки и интерфейсные не получится.

Вот накидайте, плиз, кода из production, где FT используется с показательным качеством

FT?

Final tagless?

Да

будет выглядеть как: foobar :: MonadQ m, MonadBar m) => bla-bla -> m ()

в контексте все capabilities

Ну, это я знаю, да. Мне бы хотелось именно на код посмотреть. Вопрос не в синтаксисе все же, а в дизайне интерфейса eDSL (вот этих вот параметров bla-bla, которые передаются обычно в функции, и что возвращается в итоге)

@chshersh, тут @VividDesires спрашивает про servant-generic, можешь про опыт рассказать

head используется только совместно с group

head используется там, где ок, а ещё к функции его использующей добавляют HasCallStack

на head который ругается если в контексте нету HasCallStack я бы может и согласился