речь тут не про расширяемые эффекты, если что (то есть не про freer-либу)

Гм, гм

Я немножко подзапутался

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

Чем собираешь?

могу чем угодно, наверное

cabal init sandbox & cabal install скачает всё в песочницу

Я немножко подзапутался

https://gist.github.com/kana-sama/6fc14ce18bc10303a36c047fbf36a043#file-2-freer-hs речь про этот freer, который как free, но не требует функториальности, вместо глубокого мапа в бинде композиция функций, а так же gadt для команд

https://gist.github.com/kana-sama/6fc14ce18bc10303a36c047fbf36a043#file-2-freer-hs речь про этот freer, который как free, но не требует функториальности, вместо глубокого мапа в бинде композиция функций, а так же gadt для команд

Спасибо. Буду позже этим всем заниматься. Сейчас надо сначала главной цели достичь

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

На самом деле, мне думается, что на Haskell можно было бы легко (сравнительно) аналог IncrediBuild для C++ написать. Была бы очень полезная штука

cabal init sandbox & cabal install скачает всё в песочницу

stack init && stack install

@qnikst поглядел IRC-демку, понял, что ничего не смыслю в современном хаскеле. Спасибо за код и потраченное на него время %)

@qnikst поглядел IRC-демку, понял, что ничего не смыслю в современном хаскеле. Спасибо за код и потраченное на него время %)

Так, что за демка? Я тоже хочу осознать, что ничего не смыслю в Haskell

https://github.com/qnikst/irc-simple

Спасибо

@qnikst поглядел IRC-демку, понял, что ничего не смыслю в современном хаскеле. Спасибо за код и потраченное на него время %)

если там какие вопросы то я объясню

Посмотрел. Там русского текста больше, чем кода. Теперь я осознал, что не знаю не только Хаскель, но и русский язык ?

это у меня скорее с русским проблемы

https://github.com/qnikst/irc-simple/blob/master/src/Server.hs#L188

Класс)

мне лень отправку ошибки и retry делать

там просто fix делается и все хорошо, но я решил что такой комментарий будет смешнее

Да я не против. Просто улыбнуло.)

надо было туда ещё какие-нибудь истерэги засунуть

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

cabal get {lib} cabal sandbox add-source {path to lib}

да, выглядит неплохо, спасибо!

@qnikst пиши новеллы на literate haskell

у тебя хорошо получается :)

Скорее басни. Никто не поверит что на Хаскеле можно писать.

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

А подскажите по нубасной проблеме. Есть пакет, на стеке его нет. Кабал инсталл выплёвывает Backjump limit reached, если поставить 1000 - то же самое. Если -1 зависает на несколько часов, приходится убивать

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

Только не MFC... (Vietnam flashbacks)

А подскажите по нубасной проблеме. Есть пакет, на стеке его нет. Кабал инсталл выплёвывает Backjump limit reached, если поставить 1000 - то же самое. Если -1 зависает на несколько часов, приходится убивать

Попробуйте --reorder-goals

Попробуйте --reorder-goals

Попробую, спс

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

Ха, мир полон страшных вещей. В нём существует и процветает матлаб, например.

матлаб вроде ок для своих целей

Только батарейками. И то, батарейки матлаба несовместимы друг с другом.

А вот язык -- это тихий ужас по современным меркам.

С другой стороны -- питон и плюсы не ок для своих целей?

от индивидуальной переносимости боли зависит

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

+1 неистово плющило от эрланга и нодежс

С плюсами походу стокгольмский синдром работал

С другой стороны -- питон и плюсы не ок для своих целей?

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

Я на симулинке даже диплом делал

Или это курсовая была...

Адаптивное шумоподавление

Даже на железку от TI хотели записать

Чтоб там выполнялся

Но Толи железок не было, Толи ещё какая бида была

Хотя там вся работа была соединить квадратики в визуальном редакторе

Ну, симулинк -- это да, это хорошая вещь. Но, по-моему, та же моделика сильно впереди симулинка.

Там нормальный человеческий дсл, а не это мышевозное таскание блоков.

Мне нечего сказать про моделику

Да и про симулинк, наверное, тоже :)

Это было долбаных 13 лет назад

Счастливый человек, чо. Я бы тоже хотел, чтобы моё знакомство с матлабом закончилось в вузе ;)

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

Ленивость по умолчанию не нужна

Ленивость по умолчанию не нужна

нет

А подскажите по нубасной проблеме. Есть пакет, на стеке его нет. Кабал инсталл выплёвывает Backjump limit reached, если поставить 1000 - то же самое. Если -1 зависает на несколько часов, приходится убивать

есть 2 стратегии - 1000, поставить мало 1-10

Как раз наоборот. Для строгости нужны новые примитивы (seq), а для создания отложенного вычисления просто завернуть в лямбда-функуию с unit-аргументом. Примерно так + немного сахара в Скале

И мемоизация идёт лесом

и смотреть на то, что выдаст cabal install в логе ошибок поиска

к ним сложно привыкнуть, но там вся инфа есть

И мемоизация идёт лесом

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

для любителей неленивости ксть ocaml

data Once a = Once () a если таскать такое вместо a то последующие форсы не будут пробегать структуру

Вот это и называется костыль

ну так NFData-то тоже костыль

для любителей неленивости ксть ocaml

для них есть C++, окамл это полумера

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

Как оно там, в башне из слоновой кости?

С другой стороны -- питон и плюсы не ок для своих целей?

А какие у них цели?

но статья про жиес

Я даже, кажется, помню эту статью. Помнится, ещё подумал, что как-то костыльно это выглядит

для них есть C++, окамл это полумера

В C++ не параметризованных модулей

И непараметризованных, кстати, тоже

темплейты есть зато

@graninas ты, кстати, не думал о переходе на freer? Вот там действительно gadt описывается (а так же лучше перфоманс и не нужен инстанс функтора) мб у freer есть какие-то недостатки?

@kana_sama а где можно про Freer монады почитать? А то я не понимаю, что это такое

http://okmij.org/ftp/Haskell/extensible/more.pdf

темплейты есть зато

Мономорфизация с проверкой констрейнтов после подстановки типовых параметров? Ну такое

http://okmij.org/ftp/Haskell/extensible/more.pdf

О, пасиб

Мономорфизация с проверкой констрейнтов после подстановки типовых параметров? Ну такое

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

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

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

мешает исторический багаж и убогость имплементаторов, ну так и со строгостью по умолчанию то же самое

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

Но лень это тоже костыли от бедности. Просто она ближе к идеалу чем строгая редукция и всё

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

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

В принципе я согласен. Просто привык по умолчанию из теории исходить. Конечно на практике ничего лучше лени сейчас нет

@qnikst пиши новеллы на literate haskell

ха!

да что новеллы - прямо статьи в журналы и посты в мессенжеры )

В принципе я согласен. Просто привык по умолчанию из теории исходить. Конечно на практике ничего лучше лени сейчас нет

о, а какие есть теоретические альтернативы?

о, а какие есть теоретические альтернативы?

Lamping style optimal reduction вот это вот все

Я что-то мельком слышал про lenient evaluation, с чем его едят?

это такой костыль из 90-х, который не взлетел (как и все костыли из 90-х)

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

По описанию похоже на Future

@qnikst https://github.com/qnikst/irc-simple Более хорошее использование либ или другие либы: stm-conduit, streaming, megaparsec, len Len или Lens? Хотя я вообще не уверен, что Lens это либа, но вдруг.

lens

я там в паре мест использовал но не по делу

Кстати, можно было ещё писать код в lhs-файлах.

Мб для такого типа проекта было бы проще.

А вообще спасибо тебе большое, я буду теперь читать этот проект как учебник по Haskell.

может, но я добавил каменты после кода