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

это попытка обыграть coffee + fixed price

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

может у этой кофейни кофе пережареный

Точнее пригорает не в этот момент. Пруф сохраняешь, а там КРОВЬ КИШКИ *************

они воду кипятят на пылающих пуканах

sounds plausible

главное чтоб really_believe_me не называлась

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

там есть такая функция?

fix для корекурсии же

fix для корекурсии же

Nu

кто-нить вкратце знает что там приняли за законы изменяющие порядок валютных операций?

сорри за офтоп

там вроде паспорт сделки не нужен теперь и т.п.

это когда случилось?

хз, в этом том месяце

щас скину все справки, почитаю что в новостях написано

инструкция от 16.08.2017

181-И

а

это с 01012018

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

Один такой саппортил хаскель в генту, так к нему приехали, шерсть на носу, объяснили всё и теперь он 1с занимается, смекаешь?

где 1с?

Один такой саппортил хаскель в генту, так к нему приехали, шерсть на носу, объяснили всё и теперь он 1с занимается, смекаешь?

на выселках*

А что вы скажете про деятельность Романа Викторовича Душкина?

Как националист он был хорош, но книжки у него нечитабельные.

@qnikst а есть резюме изменений? Как-то многа букав сходу

вот я и хотел спросить у кого

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

вот я и хотел спросить у кого

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

т.е. вместо договора нужно ставить на учет и т.п.

давай

собственно я про это спрашивал выше

и вроде теперь меньше шансов заплатить штрафы за поздние справки и т.п.

в чем подвох не ясно, но сейчас наверное нам ссылку дадут

А что ставить на учёт?

договор по которому деньги получаешь (как я понял)

@t91x0 ну так где сслыка? =) а то я сейчас тут глупостей наговорю и всех запутаю

@t91x0 ну так где сслыка? =) а то я сейчас тут глупостей наговорю и всех запутаю

http://rsdn.org/forum/shareware/6964523.flat#6964523

спасибо

@t91x0 ну так где сслыка? =) а то я сейчас тут глупостей наговорю и всех запутаю

С телефона неудобно

в общем похоже, что те же яйца, только справки не надо (или надо?)

http://www.banki.ru/news/lenta/?id=10093265

«Документ вводит порядок, исключающий необходимость представления резидентами документов, связанных с проведением валютных операций, по договорам (контрактам), заключенным с нерезидентами, сумма обязательств которых в эквиваленте составляет менее 200 тыс. рублей», — указано в сообщении регулятора.

Лажа какая-то

Включая кривость формулировки

Но оффтоп, конечно

Да ладно, вон, с 7 декабря надо будет указывать на посылках ИНН и ссылку на лот в эл.маге

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

пошел я на кикстартер и от широкой души пожертвовал сотню баксов на проект

а мне они в благодарность выслали что-нибудь

вот чо как в инн и ссылками и вообще?

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

Так вот под кого @qnikst косит

это он под меня! у него раньше другая борода была!!

у него кружечка прям как у меня, хм

а кто это?

Так вот под кого @qnikst косит

А кто это?

Дункан

dcoutts

хотя вот под его манеру отвечать на haskell-ные вопросы я пытался косить. но у меня не получается

нужно ещё и умным быть

Ты же, говорят, в генте Haskell поддерживаешь, не?

Хотя, там больше portage по идее надо знать.

Ты же, говорят, в генте Haskell поддерживаешь, не?

звучит как угроза

ERROR: S client not available

Не увидел тут угрозы.

Не понял шутёху.

@hotkosc загляни на #gentoo-haskell на freenode

Ого, какое есть.

39 человеков

Это прямо

\ (НИЧОСИ) /

там есть siarheit/slyfox он активно меинтейнит

Ясно-понятно.

Но ты тот самый персонаж из Гатчины или нет?

персонаж народного фольклорра

да, я тот персоонаж

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

Пожалуй начну задавать вопросы. Есть такой код: import Data.Singletons.Prelude data Doc (t :: Symbol) (poss :: [Symbol]) data Pos (t :: Symbol) data BR (docs :: [Symbol]) (poss :: [Symbol]) BR - это правила учета Pos - позиции (t - тип позиции) Doc - документы (t - тип документа) т.е. BR задаются списком позиций и списком документов. В свою очередь, документы состоят из списка позиций. Позиции одного типа могут входить в разные документы. Так вот, вопрос. Как правильней/проще задать ограничение, что если в BR задали список позиций, то в документах могут быть указаны позиции из этого списка?

data BR (docs::[Symbol]) (pass::[Symbol] where BR :: (True ~ Subset docs pass) => .... ?

type Family Subset a b where Subset [] b = 'True Subset (a:as) b = AND (Exists a b) (Subset as b) Subset _ _ = 'False

в singletons наверняка уже есть

например так можно

тайп фемили там такой нет, т.к. в прелюдии нет

можно ещё sAll, sAny и equals написать с prelude list

можно

Попутно вопрос для лучшего понимания. Когда описываю документ, я задаю только тип, и этот тип не имеет значений (не указываю конструкторы). А в предложенном варианте, задается уже и тип и конструкторы. Вот и вопрос. Это в принципе только так можно сделать? Или так просто проще?

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

ну констреинты можно уже только с конструкторами хранить. вообще можно и вне, но это путь к багам и проблемам

понял

чисто с типами такое выразить хз как

я сейчас тупые вопросы по серванту задавать буду

как там multipart данные разбирать в теле?

Servant.Multipart?

разобрался

смотрю видео на ютубе

и грущу