все плохо

universum терпим

Готовые прелюды от беса, ну то есть с universum понятно, это просто то, что в Serokell используется, а так у каждого проекта свои нужды

Берешь и делаешь свой Prelude per project

со всеми utils и т.д.

еще Хаскелю не хватает teaching prelude без тайпклассов

еще Хаскелю не хватает teaching prelude без тайпклассов

Нафига такая нужна?

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

Нафига такая нужна?

Чтобы сначала учить, а потом переучивать

даваше

Нафига такая нужна?

Чтобы в нормальной fmap map-ом назвать

а есть ли такая?

где map = fmap?

universum же

idris?

==29619== Memcheck, a memory error detector ==29619== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al. ==29619== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info ==29619== Command: ./88 ==29619== valgrind: Fatal error at startup: a function redirection valgrind: which is mandatory for this platform-tool combination valgrind: cannot be set up. Details of the redirection are: valgrind: valgrind: A must-be-redirected function valgrind: whose name matches the pattern: strlen valgrind: in an object with soname matching: ld-linux-x86-64.so.2 valgrind: was not found whilst processing valgrind: symbols from the object with soname: ld-linux-x86-64.so.2

кто-нить такое видел?

куда копать?

а понял

glibc с debug символами пересобрать

блин лениво

Я тут видел срачи про редакторы... так вот, кто-то же пользуется vscode? Поставил и я её себе на nixos. Включил плагин haskelly, тоже кто-то тут хвалил вроде бы. Только вот не работает. Пробую навести на символ курсор — мне пустой квадратик показывает. Go to definition не работает, при этом в консоль свою браузерную пишет: ERR Cannot read property 'slice' of null: TypeError: Cannot read property 'slice' of null at HaskellDefinitionProvider.extractRange (~/.vscode/extensions/UCL.haskelly-0.4.29/out/src/Providers/Definition/index.js:42:13)

Я тут видел срачи про редакторы... так вот, кто-то же пользуется vscode? Поставил и я её себе на nixos. Включил плагин haskelly, тоже кто-то тут хвалил вроде бы. Только вот не работает. Пробую навести на символ курсор — мне пустой квадратик показывает. Go to definition не работает, при этом в консоль свою браузерную пишет: ERR Cannot read property 'slice' of null: TypeError: Cannot read property 'slice' of null at HaskellDefinitionProvider.extractRange (~/.vscode/extensions/UCL.haskelly-0.4.29/out/src/Providers/Definition/index.js:42:13)

Надо поди из nix-shell проекта запустить

Хм... интересненько, авторы плагина про это не пишут. А причём тут nix-shell?

У меня нет в проекте default.nix или чего-то такого.

Бля, и тут это

Извините

Я тут видел срачи про редакторы... так вот, кто-то же пользуется vscode? Поставил и я её себе на nixos. Включил плагин haskelly, тоже кто-то тут хвалил вроде бы. Только вот не работает. Пробую навести на символ курсор — мне пустой квадратик показывает. Go to definition не работает, при этом в консоль свою браузерную пишет: ERR Cannot read property 'slice' of null: TypeError: Cannot read property 'slice' of null at HaskellDefinitionProvider.extractRange (~/.vscode/extensions/UCL.haskelly-0.4.29/out/src/Providers/Definition/index.js:42:13)

хаскелли и хаскеро практически нерабочие плагины, да и они intero требуют для работы, а оно только со стеком работает. более менее рабочий плагин который haskell language server, он требует установки haskell-ide-engine и может и без стека работать, но не факт что с никсом

universum приятная :)

вы шутите, я надеюсь?

Хм, вот если у меня есть некий thunk a, как мне его изменить, то есть сделать мутабельное присваивание? Юз-кейс: допустим, у меня есть два семантически эквивалентных представления, и ни одна операция их не различает, но высчитать второе из них затрано; если я его вычислил, то я хочу, чтобы операции уже работали с ним, то есть перезаписать thunk в памяти.

Я могу, наверное, 1-элементный вектор таскать, а потом его анфризить, модифицировать, и фризить назад.

Можно проще?

(Без векторной обёртки)

memoization?

Не уверен как именно? Вот имею две функции: f :: A -> B g :: A -> B и вызываю их f a <> g a В ходе вычисления f a может получиться, мы высчитаем более эффективное представление для a, и вызывать g уже хочется на нём. Конечно, я без проблем мог бы сделать так: let (a', b) = f a in b <> g a' но я хочу, чтобы оптимизация была прозрачной для юзеров этой API

а может не получиться?

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

Ну в случае если не получится, то ситуация эквивалентная (можем модифицировать через id)

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

Ну вообще говорят же что lazy/pure это искусство контролируемого mutable, операционная семанткиа с graph reduction на мутабельности основана, здесь мне просто нужно domain-aware mutation

могут ли 2 разные функции оптимизировать по разному

что они будут пытаться делать

если у нас есть функция считающая структуру, то у нас исчезает referencial transparency

может ли f (f a) обновить a сильнее?

я понимаю, я хочу unsafe-функцию

может

мне тупо хочется императивное присваивание

ST :)

но это не прозрачно для юзеров API, если я верну STRef

я не вижу разумного способа, который ещё и GC не увидит

ты можешь вернуть MyVar a

и у них будет f myVar <> g myVar

Смысл в том, что это присваивание оказывает ноль влияния на семантику, поэтому я хочу чтобы оно было прозрачно для юзера. Еще потенциальный вариант, что может быть я как-то смогу убедить компилятор через rewrite rules превратить f a <> g a в let (a', b) = f' a in b <> g a', но мне сложно придумать, чтобы это работало на любом коде

Может это плагином в компилятор делается как-то?

мне не очевидно, что 0 влияния, если это общий домен

вот с rules наверное такое провернуть можно

Можно, но зачем? Держаться это будет исключительно на честном слове

вы шутите, я надеюсь?

нет, не шучу, а вы порекомендуете какую-то другую прелюдию?

нет, не шучу, а вы порекомендуете какую-то другую прелюдию?

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

нет, не шучу, а вы порекомендуете какую-то другую прелюдию?

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

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

за это и любим:)

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

С обычной прелюдией кол-во импортов огромное и partial функции

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

ну на самом деле partial функции не так страшны, вот сразу затащить все пакеты нужные и импорты - самое приятное

ну и мелочи вроде варнингов о trace - тоже порадовали

ворнинг для трейса это нормальная идея

ERROR: S client not available

насчет линз я пока не уверен

ну всмысле насчет их урезанности

вот фтпборчество, текстовое ио, всякие странности вроде переименования id и боязни head - идеи вредные

Text IO FWT

хочу новую прелюдию c first level liquid haskell support, разбитую на части и с модулями

и согласен без IO

только интерфейсом

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

все же хаскельная экосистема проделала большой путь, 10 лет назад О'Салливан - это был знак качества, а теперь мрак, ужас, днище

чего кстати тексту нужно, правильному7

хочу новую прелюдию c first level liquid haskell support, разбитую на части и с модулями

В планах есть завести LiquidHaskell в universum: https://github.com/serokell/universum/issues/113 Хочется в итоге в cardano-sl, но сначала нужно же, наверное, в основные используемые библиотеки (в которые мы можем). Дефолтная прелюда выглядит как хороший кандидат для экспериментального поля.

надо подумать, мне даже причины многих странностей text не понятны, к примеру почему ио тормозит

Text utf8 допилить надо

Правда там вроде хвр занимается...

там разве не почаровые записи и конвертации туда-сюда?

Правда там вроде хвр занимается...

или занимался по крайней мере

там разве не почаровые записи и конвертации туда-сюда?

не знаю

ну вроде там с кодировками что-то неприятно

а зачем IO в тексте то

тоже загадка

ты посмотрю код Data.Text.Interal.IO

видимо так было нужно чтоб на интерфейс String больше походить

в ghc вокруг буфферов меньше

т.е. там очень похоже но переизобретено

тройная буфферизация!

а не, таки переиспользуют из Handle

там что-то странное

но все равно зачем тексту IO я не понимаю

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

стримингам там фолдам всяким

и чтение тоже

В планах есть завести LiquidHaskell в universum: https://github.com/serokell/universum/issues/113 Хочется в итоге в cardano-sl, но сначала нужно же, наверное, в основные используемые библиотеки (в которые мы можем). Дефолтная прелюда выглядит как хороший кандидат для экспериментального поля.

вот это более здоровая идея чем все эти страдания с нонэмпти списком