@donat_kh ну, по факту я поддержал эту точку зрения - отдельная комната и я в ней не живу, только работаю

Звучит интересно. А в чатиках ты в ней залипаешь или как?

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

Типа у тебя ноут и десктоп для работы?

ага

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

Хотя судя по вышесказанному у тебя там колокейшон целый :)

ну и когда экранов не хватает, можно раскочегарить synergy и вообще огонь тогда

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

раньше коллега держал у себя в комнате два ibm-овских сервера, вот это была жесть

когда они стартовали, уши закладывало

у меня тоже есть сервер дома, но жить в квартире с энтерпрайзным сервером я бы наверное не вынес %)

найс :)

никто не сталкивался с языком Curry? любопытная штука по фану

Опиши

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

Прошу прощения :)

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

Лол

http://www-ps.informatik.uni-kiel.de/currywiki/

вот ссылка на язык

с лямбдами в логотипе они переборщили по-моему...

Нужно больше лямбд!

с лямбдами в логотипе они переборщили по-моему...

Главное, что нечётное число

с лямбдами в логотипе они переборщили по-моему...

а это лямбды, или ⊥ и ⊤ ?

а это лямбды, или ⊥ и ⊤ ?

Повернули прост

ну может, здесь как раз фишка именно в λx.x⊥⊤, т.е. ФП + логика

После лямбды должна переменная стоять, а не терм

После лямбды должна переменная стоять, а не терм

поправил

блин поговорил пару секунд в чатике про рас и уже => в case пишу :/

рас?

rust

хехе

блин поговорил пару секунд в чатике про рас и уже => в case пишу :/

учитывая, что там был срач python\ruby, странно, что begin end не написал

в скале тоже case X => Y - меня переодически переклинивает

я не читал тот срач

я не читал тот срач

святой

ну мельком видел, но это ж не интересно, так что не вчитывался

У меня всякие сниппеты на tab подключены. ca-tab выдаёт правильный сниппет сообразно языку, определённого по расширению файла. Помогает не потеряться в моём наборе из хаскеля, руби и кофескрипта.

учитывая, что там был срач python\ruby, странно, что begin end не написал

А в каком из чатиков про руст вы тусуете?

А в каком из чатиков про руст вы тусуете?

https://t.me/rustlang_ru

А, это основной. Есть ещё и оппозиционный, говорят

ну был ещё @pro.rust, но он умер вроде

https://t.me/rustlang_ru

этот нормальный или тот где какие-то анимешники и двачеры сидят?

этот нормальный или тот где какие-то анимешники и двачеры сидят?

Я запутался в них, если честно. Сначала думал, что это нормальный, а теперь хз

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

не знаю, на сколько это нормально )

Победили джаваскриптеры? 😆

этот нормальный или тот где какие-то анимешники и двачеры сидят?

нормальный, где анимечеры сидят

есть другой ненормальный, где никто не сидит

/dva_stula

нормальный, где анимечеры сидят

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

этот нормальный или тот где какие-то анимешники и двачеры сидят?

Везде сидят анимешники и двачеры, прими это

🍺

/dva_stula

» [User: ? animufag ?|UID:88583922|MID:32186|Reply to MID: 32177] Везде сидят анимешники и двачеры, прими это Не надо принимать, надо воевать

@vlastachu проблема в том, что там это является тематикой чата.

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

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

Они даже не ведутся на толстые хаскель-набросы :(

Они даже не ведутся на толстые хаскель-набросы :(

про 3-группоиды?

Они даже не ведутся на толстые хаскель-набросы :(

выглядит глупо

(считай что я повёлся)

Сделай лучше

изначально идиотский план

тип хыхыхы посоны с хаскиль чатика ворвались и пояснили что такое хаскиль

в совершенно посторонней теме

У них там срач руби vs плюсы

ну ладно, кажись ты туда вписываешься

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

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

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

ну тут выкладывали в одном чате картинку про хаскель-митап, не знаю сюда постили или нет )

та картинка врет, я был нидавно и там было больше 3-х человек

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

хехе

Ну что, берёт гордость за своё положение на кривой принятия миром новой технологии?

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

ну тут выкладывали в одном чате картинку про хаскель-митап, не знаю сюда постили или нет )

вот эта? http://classicprogrammerpaintings.com/post/143847262458/haskell-meetup-edward-hopper-oil-on-canvas

как нормализовать TH AST? у меня сейчас баги из-за того, что ListT ≠ ConT "[]"

У них там срач руби vs плюсы

Разные категории же

Martin Loef type theory vs TLA+ vs Isabelle vs что-то ещё, какую книжку стоит с собой взять туда где не будет компа и интернетов?

Intuitionistic Type Theory Мартин-Лефа самого