вроде

или там есть всякий финалайзинг

кстати насколько гхц написан на хаскеле?

точнее: гц тоже на хаскеле?

RTS на си

@xgrommx ну у тебя очевидная проблема, вот у тебя есть allocation area, она закончилась, твои действия?

с--?

си

си— там тоже есть но повыше

@xgrommx ну у тебя очевидная проблема, вот у тебя есть allocation area, она закончилась, твои действия?

у меня такого не было еще) я же не продакшены пишу

как это, есть

у тебя аллоцируются объекты на каждый чих

а allocation area если не выставить нормально имеет смешное значение

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

нашел такое)) https://github.com/Marwes/haskell-compiler

если GC отключить, то этот момент становится неочевидным

s/functional/fictional?

судя по known unimplemented features

чего-то я злой сегодня :/

fictional programming hmm, I like that

threaded putStrLn кстати напоминает лавкрафтщину https://www.snoyman.com/blog/2016/11/haskells-missing-concurrency-basics

почему?

хочешь сериализовать доступ к ресурсу или сделай лок вокруг него или выдели уникального воркера

и канал

frictional programming

в katip было аккуратно сделано

там просто было пнглуи фхтан и прочее

это? https://github.com/Soostone/katip

да

сижу ломаю голову над примерами в либе и не понимаю как они тайпчекаются, пока наконец не догадываюсь взять и проверить, и действительно, там: type JSON = Text

Ужас

сижу ломаю голову над примерами в либе и не понимаю как они тайпчекаются, пока наконец не догадываюсь взять и проверить, и действительно, там: type JSON = Text

сомнительный JSON :D

старая картинка. помню ещё просили пояснить

давайте ещё раз попытаемся поднять это: я посмеялся сразу как увидел и на уровне ощущений понял шутку так что вопреки бытующему мнению сигнатура не очень помогает в понимании семантики функции но types are lie - здесь немного неуместно

не надо пояснять шутку, это делает ее несмешной

ну это работает для дегенеративных мэмасов. шутку про доктора кто и аппликатив => монад можно пояснить и вроде более менее смешно. хотя не так как если бы сам её понял

(сорьки если не доктор кто был, я не знаком с сериалом)

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

о

в итоге все себе портит и приходит к выводу, что типы не нужны

ну да

так гораздо лучше звучит.

блин, тут все понимают эту картинку

как видишь, я не понимал

к слову, кто-нибудь задумывался как работают шутки?

этой картинкой я прокомментировал type JSON = Text

не обязательно отвечать на ответ

к слову, кто-нибудь задумывался как работают шутки?

да, конечно

кто-нибудь

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

совпадает с высказыванием о том, что объяснение шутки делает её несмешной

повтор шутки уже делает её не смешной

чаще путь шутки ещё короче: демонстрация глупости -> чувство превосходства -> удовольствие

=)

но пока ты её не понимаешь ты вообще такой в напряге, загоняешься

Шутки работают не так.

?

осторожно, а то откроете формулу смеха и будет как в том произведении

Шутки -- это криптография, которая позволяет различать свой/чужой.

Когда шутку понимаешь и тебе смешно, то ты верифицируешь, что имеешь с автором общий контекст в понимании ситуации.

Почитайте про теории юмора, это исследованная тема. Зачем вообще могло появиться такое явление, эволюционно.

Поэтому объясненные шутки не смешны. Нет процедуры верификации, тебе просто рассказали какую-то вещь, которая может быть внешне тривиальной.

Почитайте про теории юмора, это исследованная тема. Зачем вообще могло появиться такое явление, эволюционно.

according to wikipedia, there are many theories

в смысле, если нет консенсуса, значит всё-таки недостаточно исследованная тема

Ладно, я не смог найти пейпер, в котором изложена упомянутая мной теория, но на собственном опыте просто заметил, что вроде хорошо объясняет все шутки, которые мне кажутся смешными.

похоже, что есть два вида шуток: превосходство над другим человеком 1) в неприятной ситуации 2) не принадлежащим особому кругу 2а) не знающим мем

Про классификацию юмора http://www.lib.csu.ru/vch/226/007.pdf

Есть вот такой вот код: readJsonText file = do exists <- doesFileExist file if exists then readFile file else return "[]" writeJson file value = do print "Hello" writeFile file $ encode value parseJson value = either throwError return $ eitherDecode value runApp action file = db >>= ioAction where saveResults = either (hPutStrLn stderr) (writeJson file =<<) ioAction = saveResults . runExcept . toIOT . (parseJson >=> evalStateT action) db = readJsonText file При выполнении на несуществующем файле падает вот так: todo-list: ~/.todos: openBinaryFile: does not exist (No such file or directory) "Hello" ЧЯДНТ? P.S. readFile/writeFile из lazy bytestring P.P.S. Сильно не бейте - первый велосипед для менеджемента TODO

@saksmt а есть полный ход, я чего-то сходу проблемы не вижу

по разному разбирают какие-нибудь относительные пути?

короче, хорошо бы путь распечатать и посмотреть

ну, например кто-то тильду расширяет, а кто-то нет

ну, например кто-то тильду расширяет, а кто-то нет

Спасибо)

так и есть, кстати

там есть функции, которые расширяют относительные имена файлов

и нормализуют

я как-то не ожидал этого подвоха)

грешил на ленивость, но закоменчивание readFile не помогло и решил постучать сюда

doesFileExists разве расширяет?

хм, нет

вообще из-за ленивости проблемы бы могли быть, но не такие

но расчепятать что читали полезно может быть

до "hello" тоже не доходит

да не, до hello как раз дошло

тогда я бы не сказал, что оно падает..

т.е. то что оно падает, а не исключение всередине написано - не очевидно

Оно падает, но после этого на попытке записи

а что у тебя в передается в file если нету аргументов?

стоп - так это writeFile же падает? λ> Prelude.writeFile "~/.wtfqqq" "AAA" *** Exception: ~/.wtfqqq: openFile: does not exist (No such file or directory)

Ага

а в чём тогда вопрос?

что-то я невнимателен

а что у тебя в передается в file если нету аргументов?

Если файл пуст и был немутабельный экшн, то "[]"

а file!

в

runApp action file <-