если у нас тюринг полный язык

избегать а не избавится полностью же

хотя бесконечные списки это слишком удобно, конечно

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

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

хотя бесконечные списки это слишком удобно, конечно

Млин, иногда мешается тот факт, что списки в Хаскелле — это и дата, и кодата

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

или взаимная

очевиндо, что все следствия мамой клянусь тоже мамой клянусь

а там уже не важно что Hask это мамой клянусь категория

но если мамой клянусь подходит, то Hask это мамой клянусь категория

не вижу в этом ничего плохого

Если оставить боттом, но убрать явное управление ленивостью/строгостью, то Hask -- категория?

да

и наоборот, если я не ошибаюсь

Интересно

блин тупой кабал

если он не ругается на станзу то он же её поддерживает?

> I don't want to bash anyone here for not knowing one thing or another, but I am aware that you are (seem to be? I can only go by the name and post history) a prominent figure in the Haskell community, and I think it would help no one if outsiders perceived the Hask community to be a bunch of petty and salty people who need to downplay other languages. > And your post certainly gave off that vibe.

это откуда?

ух-ты

какой-то из кабалов уже нормально никс поддерживает и в nix storage все кладет

вообще красота

Лишпер отчитывает Кметта за то, что тот недостаточно уважает лишп

и оказывается все работало

разобрался с Cabal

оказывается надо было всего-лишь почитать сорцы

это же очевидно

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

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

че за сорцы, исходный код?

исходники

исходники

понял, благодарю за рекомендацию, типа можно определить как функции работают?

вообще там выше в саркастической форме было, но совет работает

на самом деле лучше бы документация и логи были лучше

че за сорцы, исходный код?

source же

source же

+

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

allEq (x:xs) = all (x ==) xs allEq _ = False

:)

👍

мне кажется allEq _ = True

"Все равны (ничему)"?

foldr (==) True array так вроде тоже можно

Ну all f [] == True

foldr (==) True array так вроде тоже можно

all хорош ранним остановом, а так свёртку можно заюзать, конечно

foldr (==) True array так вроде тоже можно

попробуй проверить эту гипотезу в repl

Не скомпилится :)

allEq xs = and $ zipWith (==) xs (tail xs) вот так ещё можно

Тут allEq [] = True

да. Потому что and [] == True

"Все равны (ничему)"?

Все элементы пустого множества равны

maybe True (uncurry all . first (==)) . uncons

(<2) . length . take 2 . nub

allEq xs = and $ zipWith (==) xs (tail xs) вот так ещё можно

Если тут проверяется, что все элементы друг другу равны, то код не верный

а не, гоню, верный

первый сравнивается со вторым, второй с третим и т.д

слишком хипсторский код, не проще ли явно сравнивать все элементы с первым например?

Я такой вариант выше и предложил :)

это первое что предложили

тред не читай

(вредные советы)

хехе

посоветуйте простую и красивую структуру данных (библиотеку) для работы с DAG

мы эту переделали https://hackage.haskell.org/package/fgl-5.6.0.0/docs/Data-Graph-Inductive-Graph.html

вроде эту

вот там в доксах есть автор оригинальной либы https://github.com/Enecuum/DirectAcyclicHyperGraph

Martin Erwig

all хорош ранним остановом, а так свёртку можно заюзать, конечно

foldr тоже рано останавливается

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

λ> import GHC.Exts λ> the [1, 1, 1, 1, 1] 1 λ> the [1, 1, 1, 1, 2] *** Exception: GHC.Exts.the: non-identical elements

λ> import GHC.Exts λ> the [1, 1, 1, 1, 1] 1 λ> the [1, 1, 1, 1, 2] *** Exception: GHC.Exts.the: non-identical elements

Все бы ничего, но вот эксепшн не очень..

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

ДА!

Лишпер отчитывает Кметта за то, что тот недостаточно уважает лишп

крисдон?

о, у кметта на твиче видосики появились. теперь вообще некогда код писать будет.

твич также рекомундует видео "Список требований к национальной ОС".

а посоветуйте видосик по TypeInType и вот это вот всё

не понятно что ты хочешь от видосика, но тут все расписано же

https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1

https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell

https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1

прочитано

крисдон?

нет, настоящий лиспер, Кметт зачем-то напал на их гнездо, тред про SBCL в рпрограмминг