Ментальная связь сквозь нации, сквозь страны

combot.org/chat/-1001043143583

Если у меня функция ассоциативная то есть ли разница между foldl и foldr

?

Да, разница в работе на бесконечных последовательностях

А в чем эта разница? Foldl вроде тоже не завершится как и foldr

Наверное foldr всю памчть скушает?

Наоборот, foldr не начнет ничего делать, пока не понадобится результат

В если понадобится, то будет столько же памяти использованной как и с foldl?

В если понадобится, то будет столько же памяти использованной как и с foldl?

Зависит от операции. foldl может быть преобразована в цикл и за счёт ленивости использовать постоянное количество памяти, но если не форсировать вычисление thunk-а, то он может всю память сожрать. Канонический пример: -- Падает со stack overflow main = print $ foldl (+) 0 [1..10000000] -- Нормально работает и печатает результат main = print $ foldl' (+) 0 [1..10000000]

важна строгость, нестрогость функции

А что такое строгость?

когда вычисляется агрумент

если функция ленивая по второму агрументу то с foldr возможен short-circuiting

т.е. она может работать с бесконеычным списком

https://en.wikibooks.org/wiki/Haskell/Laziness

А вот print $ foldr (+) 0 [1..10000000] тоже рванет?

про ленивость ^

for some definition of рванет

при вычислении будет юзаться стек

http://www.well-typed.com/blog/90/

вот хороший материал по теме

хм.. щас у них ещё хороший материал был

ну и https://wiki.haskell.org/Foldr_Foldl_Foldl'

кстати как scope по русски, контекст?

Варианты перевода "in scope": Видна, обозрима, доступна

это-то понятно

разбавлю англоязычные материалы про свёртки неплохой русскоязычной статьей на ibm

https://www.ibm.com/developerworks/ru/library/l-haskell4/

А вот print $ foldr (+) 0 [1..10000000] тоже рванет?

.

кстати как scope по русски, контекст?

Область видимости

да, там уже это обсудили

-(

=)

Но лучше таки Altium, конечно.

Вечная проблема - ради разовой простой задачи не хочется ставить могучий тяжелый софт. Но я не ошибся в предчувствиях - последнее время много чего, что раньше было локально-десктопным, появилось в виде бесплатных онлайн-сервисов.

.. а если такой софт ставится безболезненно? Например, JDK - наверное, считается тяжёлым. Ставится легко.

ну JDK нужен если на джаве или ее хостинцах разрабатываешь, без него никуда. а опычному юзеру JRE более чем достаточно

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

Винда чистая к сожалению только при установке. Как впрочем и линукс, если ставить что-нибудь из сырцов. Про мак не знаю.

Ради разовой простой задачи JDK / JRE ставить не лень. Скорее всего, пригодится ещё для чего-нибудь 😝

Винда чистая к сожалению только при установке. Как впрочем и линукс, если ставить что-нибудь из сырцов. Про мак не знаю.

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

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

думаю, в debian-based это не сильно сложнее, хотя я не знаю как там идет сборка из src-пакетов

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

Не знал. Спасибо! 👍

собственно, есть и универсальный рецепт: ставить в префикс, и добавлять бинарники в PATH вручную

потом всего 2 операции - удалить префикс и удалить пути ввнутри этого префикса из PATH

гента делает примерно то же самое, но после установки в префикс перемещает файлы в корень (с проверкой на конфликты) и записывает какие именно

точнее записываешь ты вручную через find в префиксе и засносишь в ебилд

хотя может и вру

Похоже на ручную работу, не? Легко ошибиться, забыть.

Сборка из исходников действительно похожа на ручную работу

Если там обычный configure make make install, то работа сводится к 4 срокам в файле, двум командам в консоли, копипасте, и последней коианде в консоли

Можно и скрипт написать, а скорее всего он даже уже есть

В дебиане вроде был такой

Т.е., чтобы вернуть чистую ось, проще установить её заново, не?

Ну если самоцель это чистая ос то да

А если хочется откатить конкретный пакет то определённо нет

Узнал что Кложа умеет хот код релоад! Пока не узнал зачем оно нужно

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

Ещё нашел что в хаскеле с костылями тоже можно

Узнал что Кложа умеет хот код релоад! Пока не узнал зачем оно нужно

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

Запуск жирного монолита может быть медленным

В проде скорее не нужно

Ну выглядит как фича ради фичи

Там же никакого отката при падении точно нет

Ну пусть она нужна в 0.01 % случаев

Но не больше

а зачем в реланге хотрелоад?

ерланге

В rails все используют хот релоад, но там просто загрузка очень долгая

и вообще, вы что, никогда на динамическом языке не писали?

Да я не думаю что в Эрланген его кто-то юзает

поправил файлик - ф5 и все видно

не знаю как вы без этого живете

Я никогда не писал чего-то что HTML отдает

Может поэтому оно мне не надо?

наверно да

html json не особо большая разница

И это у меня взгляд с другой стороны

Я не дёргаю жсоны смотреть

Вернее если дёргаю - то на какой-то удаленный сервер