По-моему, ситуация в чате ровно такая: "Ну давай на на корпоратив, чо ты, это же весело!" ;)

Пора создавать секту, боряющуюся за права угрюмых

не люблю корпоративы

Угрюмый тоже квир

я с этими людьми 8 часов в день говно с одной системы в другую перекачиваю

мне еще с ними веселиться?

общительные ботаны, что может быть веселее

Семья из общительных ботанов.

Семья из общительных ботанов.

примет к себе угрюмую кошку, сиамских не предлагать

мне еще с ними веселиться?

Разные есть варианты, но можно и повеселиться.

мне еще с ними веселиться?

тру

У тебя просто корпоратива нормального не было. Дал бог команду, даст и тимбилдинг. У нас например на последнем угорали по формальным методам и матлогике, на природе и со всем полагающимся.

Вспомниается картинка с xkcd https://imgs.xkcd.com/comics/geeks_and_nerds.png

В телеграме нельзя съесть превью :(

В телеграме нельзя съесть превью :(

?

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

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

о, получилось

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

Вычисляем роботов в чате

Напомните мне вот лучше, seek дальше конца файла это error или seek в конец?

на чтение

чёрт, там всё мрачно

А как с cabal new-install установить пакет глобально?

cabal new-install —global после cabal new-build пишет такое и ничего не устанавливает: # cabal new-install --global Resolving dependencies... Up to date

возможно оно еще не доделано

Офигенно :(

Напомните мне вот лучше, seek дальше конца файла это error или seek в конец?

UB

Не, не ub. Можно сикать за конец файла. При чтении считай как eof. При записи или дырка или нули

The fseek() function shall allow the file-position indicator to be set beyond the end of existing data in the file. If data is later written at this point, subsequent reads of data in the gap shall return bytes with the value 0 until data is actually written into the gap. (POSIX.1, IEEE Std 1003.1, 2004 Edition)

The fseek() function shall allow the file-position indicator to be set beyond the end of existing data in the file. If data is later written at this point, subsequent reads of data in the gap shall return bytes with the value 0 until data is actually written into the gap. (POSIX.1, IEEE Std 1003.1, 2004 Edition)

в первом предложении вроде нет ничего про режим файла

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

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

Можно начать редактировать отправленное сообщение, тогда появится крестик, убивающий превью

Костыль, но работает

Можно начать редактировать отправленное сообщение, тогда появится крестик, убивающий превью

Я уже справился

Можно начать редактировать отправленное сообщение, тогда появится крестик, убивающий превью

можно просто нажать крестик при первичном написании

Чувствую в cabal 2.2 и обычный install —global поломали. Замечательно

Не докер-ориентировано :(

с ужасом прочел, что вы тут понаписали везде сижу как сыч, ни в какие гости никуда не хожу, как иначе-то?

а почему?

потому что я так лучше себя чувствую, очевидно же

с ужасом прочел, что вы тут понаписали везде сижу как сыч, ни в какие гости никуда не хожу, как иначе-то?

Братан, обнимемся?

Братан, обнимемся?

Погодите, вам нельзя, ведь обнимашки - это тоже взаимодействие с людьми.

Через интернет можно

Вот вынудите, начну постить релевантные мемасики

обнимашки через интернет это новый уровень хикк

очень старый

Для того, чтобы быть хиккой, нужно сначала научиться сидеть у мамы на шее

а нельзя быть самостоятельным хиккой?

Братан, обнимемся?

А если мне общаться с более чем двумя людьми ирл -- сложно, то можно в ваш клуб?

Да это не хаскеллисты, это хиккилисты самые настоящие

а нельзя быть самостоятельным хиккой?

Юзаешь интернет -- уже зависишь от админов провайдера

Давай. Членские взносы каждый третий четверг месяца.

Да это не хаскеллисты, это хиккилисты самые настоящие

*no clojure pun intended*

Давай. Членские взносы каждый третий четверг месяца.

Сначала мне нужны ваши программа и устав

А жилет, ботинки и мотоциклы?

мне нужны твои тайпклассы

всем привет, а можете помочь с вот таким вопросом? у MonadCont есть функция callCC которая говорит, что выбросит исполнение в позицию runContT, несмотря на то, как далеко во фреймах вы провалились

но вот такой forM_ выполняет все 10 итераций

казалось бы он при первой итерации попадает в callCC в helper и должен прервать

в чем я не прав?

он должен прервать выполнение helper и выйти дальше

strange :: IO () strange = runContT (callCC $ \q -> forM_ [1..10] (mapFunction q)) print mapFunction q 3 = q () mapFunction _ n = liftIO $ print "call"

@mekhrubon ^

вот тут как ожидается на 3, мы вызываем выход, который вытаскивает нас из контекста созданного callCC

в твоем же случае ты создаешь контекст и тут же из него выходишь

callCC ($ ()) можно вполне заменить на pure () - ничего не изменится

а, то есть мы попадаем в фрейм, где написан callCC, а не runContT

большое спасибо

да

> callCC (call-with-current-continuation) calls a function with the current continuation as its argument.

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

чакроватти?

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

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

@qnikst я знаю что ты умеешь в кабал

cabal sandbox add-source ?

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

да, добавлял черед эдд сорс

возможно проблема в том, что либу я собираю стеком(сложная судьба у неё)

с ним просто cabal build должен отлавливаьт

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

мне нужно какой-то reinstall звать?

➜ idris-codegen-wasm git:(master) ✗ cabal build Some add-source dependencies have been modified. They will be reinstalled... Resolving dependencies... In order, the following would be installed: ansi-wl-pprint-0.6.8.2 (via: idris-0.9.14.2 optparse-applicative-0.14.2.0 trifecta-1.7.1.1) (reinstall) (changes: ansi-terminal-0.7.1.1 -> 0.8.0.3) trifecta-1.7.1.1 (via: idris-0.9.14.2) (reinstall) (changes: ansi-terminal-0.7.1.1 -> 0.8.0.3, ansi-wl-pprint-0.6.8.2 removed) optparse-applicative-0.14.2.0 (via: idris-0.9.14.2 wasm-0.1.0) (reinstall) (changes: ansi-wl-pprint-0.6.8.2 removed) wasm-0.1.0 (reinstall) (changes: base64-bytestring-1.0.0.1 added) idris-0.9.14.2 (latest: 1.2.0) (new version) cabal: The following packages are likely to be broken by the reinstalls: idris-1.2.0 Use --force-reinstalls if you want to install anyway. Warning: Couldn't reinstall some add-source dependencies. Resolving dependencies... Configuring idris-codegen-wasm-0.0.1.0... Warning: To use the 'default-language' field the package needs to specify at least 'cabal-version: >= 1.10'. Preprocessing executable 'idris-codegen-wasm' for idris-codegen-wasm-0.0.1.0.. Building executable 'idris-codegen-wasm' for idris-codegen-wasm-0.0.1.0.. как-то так выглядит результат кабалобилда

то есть он вроде видит, что что-то поменялось, но потом ноет что Warning: Couldn't reinstall some add-source dependencies.

собственно внешняя либа это как раз wasm-0.1.0

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

А почему MonadCatch и MonadCont вместе не работают? MonadCont написан на эксепшенах и это может ломать пользовательский код?

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

Если местные deps меняются или удаляются, чищу песочницу Удобно для проекта создать скрипт, который создаёт песочницу, добавляет ссылки на местные либы и собирает deps.

А почему MonadCatch и MonadCont вместе не работают? MonadCont написан на эксепшенах и это может ломать пользовательский код?

cont не использует exceptions

иначе бы работали вместе

cont не использует exceptions

а почему тогда не работает связка cont и catch?

throw и cont работает

т.к. не написать инстанс для отлавливания исключения не теряющий состояния

MonadThrow m => MonadThrow (ContT * r m)

тут throw от нижележащей монады берется