pusher хвалил их GC

он нормальный при bounded и небольшой куче

но средств сделать bounded нету

если задача удачная

это каких, форт?

ну хоть на нём

Я на нем для КР580ВМ80А в школе писал всякое. Даже работало, что особенно приятно – намного быстрее BASIC. в 2012 был на презенташке Vitali Tsevan про factor, впечатлился

Есть какая нибудь файловая система, которая поддерживала бы так сказать виртуальные файлы? Я создавал бы файл с программой, которая на вход принимает другие файлы и выдает результат. Результат кэшируется и представляется read-only файлом. Если другие файлы меняются, то виртуальный файл перегенерится (при следующем чтении).

может @antontrunov знает

Ответ от автора книг(и): https://stackoverflow.com/a/45461908/2747511 Грейдер, похоже, что здесь: https://github.com/arthuraa/sf-grader

@int_index inotify?

@int_index inotify?

Похоже на то что нужно

Есть какая нибудь файловая система, которая поддерживала бы так сказать виртуальные файлы? Я создавал бы файл с программой, которая на вход принимает другие файлы и выдает результат. Результат кэшируется и представляется read-only файлом. Если другие файлы меняются, то виртуальный файл перегенерится (при следующем чтении).

в bazel и т.п. такое для сборки

pusher хвалил их GC

А Шипилёв не хвалил

Я на нем для КР580ВМ80А в школе писал всякое. Даже работало, что особенно приятно – намного быстрее BASIC. в 2012 был на презенташке Vitali Tsevan про factor, впечатлился

ну продолжи мысль)

чем впечатлился то?

я честно не понимаю зачем он

А Шипилёв не хвалил

+1

А Шипилёв не хвалил

как-то аргументированно?

чем впечатлился то?

тогда впечатлился. сейчас-то я тоже не вижу смысла в.

Да, но без подробностей. Сказал что все и сразу получить нельзя и ребята натюнили нужную им характеристику, и что ничего особо нового в этом ГЦ нету.

как-то аргументированно?

https://www.youtube.com/watch?v=q1h2g84EX1M

у го гц заточен под гугл и сетевые сервисы просто

а раз вам не подходит значит у вас не тот scale

это просто самый первый псевдоконкурентный сборщик изобретенный вот и вся заточка

они действительно делают ГЦ заточенный под сетевые сервисы, но не сделали еще

нигде не получилось, нормальной прелюдии я еще не видел

А Protolude?

universum приятная :)

universum приятная :)

❤️

все плохо

universum терпим

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

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

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

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

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

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

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

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

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

даваше

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

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

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

где map = fmap?

universum же

idris?

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', но мне сложно придумать, чтобы это работало на любом коде

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