- @GooRoo: *haskell *programming *types *kindsНаткнулся тут на работу чуваков из Microsoft Research и ещё откуда-то. Как я понял(?) по первым строчкам, предлагают ввести полиморфизм в систему type kinds в Haskell. Дальше раздела «Abstract» у меня дело не пошло, так что… я просто оставлю это здесь: reddit.com3 months ago
- @GooRoo: *programming *fp *haskell *книгиВ жуйке такой серьёзный народ собрался, что аж стыдно такое писать, но… Дочитал я на досуге «Learn You a Haskell for Great Good». Ничего так книжечка — IMHO лучше начинать всё-таки с неё, а не с «Real World Haskell». Хотя в последней упражнений куча, что есть гуд. Надо теперь попробовать почитать «The Haskell School of Expression» amazon.com
- @GooRoo: *programming *haskellНеплохая вводная статейка про type kinds (на примере Haskell) controlflow.tumblr.com3 months ago
- @sky:Ого, круто. Суперпроводимость и левитация. Я не понимаю как это работает, выглядит очень интересно.
Как говорится, "Any sufficiently advanced technology is indistinguishable from magic."
youtube.com3 months ago; 13 replies - @tilarids: *devВ журнале Nature была как-то опубликована статья с статистическими данными об отношении ученых к религии( stephenjaygould.org ). Результаты: среди математиков только 14,3% верят в Бога, у физиков этот процент еще ниже — 7,5%, у биологов всего 5,5%. @SannySanoff в обсуждении опроса посетовал, что не проводили такого опроса среди программистов. Ведь при всей математичности и научности программирования, у программистов есть интересный собственный опыт — в их личном измерении, в мире программного обеспечения они — Боги, Творцы. Программисты легко найдут в создаваемых ими системах аналоги сознания, души, физических законов и даже физических загадок(пример смотри в комментах).
Эта аналогия давно и успешно обсасывается научными фантастами, но при всей ее "фантастичности" так и не подверглась серьёзной критике. Так вот, вопрос для программистов: с этой точки зрения вы допускаете существование Бога? Остаетесь ли вы атеистами (если ими являетесь), если представить Творца в виде такого же программиста, как и вы? И если да, то почему?3 months ago; 20 replies - @GooRoo: *работа *книги *programmingКонторка прикупила книжечку amazon.com
Надо начинать расширять сознание :3 Хоть узнаю, что в мире языков программирования творится, окромя C++, Python и Haskell. - @tilarids: *contests *haskell *jsНа Хакатоне, который был на этих выходных, портировали досовскую игрушку 1994 года посредством написания транслятора из Pascal в JS на Haskell. Было очень весело. Оказывается, если Haskell не пытаться заюзать для неподходящей задачи, то на нём очень приятно писать. Сорцы: github.com . Саму игрушку мы не допортировали по причине того, что современные браузеры слабо поддерживают многозадачность в JS и виснут, если в коде слишком много yieldов. Поэтому в качестве примера можно посмотреть на папоротник, отрисовывается на canvas.
- @GooRoo: *monads *programming *haskell *c++Bartosz Milewski накатал статейку "Monads in C++". Надо будет почитать на досуге: bartoszmilewski.wordpress.com7 months ago
- @Cthulhu: *programming *мысли *c++По мотивам очередного нашествия черно-белого максимализма в #1277608 .
Пацаны, я тут короче сидел за монитором и попытался скомпилить какую-то шнягу из буста, не помню какую, но внезапно компилятор сказал мне "интернал еррор" много раз. И тут я вдруг задумался — какое же говно c++! <[ апплодисменты в зале ]>
Представляете, пацаны, он дает мне stdio и iostream, и я должен выбирать. А как я выберу, это же так сложно, прямо глаза разбегаются! А вдруг я использую и первое, и второе? Совсем беспредел же получится, пацаны, видите какой говно-язык? <[ зал продолжает рукоплескать ]>
А стандартная библиотека? Она же просто ужасна! Там даже строки кривые — не спрашивайте почему, я не знаю^W^W^Wэто же очевидно! И знаете, скажу вам по секрету, я открыл ее исходник... Да, исходник самой stl! Вот вы когда-то смотрели туда? Вижу по глазам, что не смотрели. А я вот посмотрел, и ничего там не понял!!! <[ Бурное проявление недовольства в зале, апплодисменты, крики "Страуструпа на мыло!" ]>
Вот смотрите сюда, пацаны. Я нашел кусок кода, в котором используются макросы с шаблонами, конструкторы бросают исключения, написана куча велосипедных аллокаторов, память течет как из ведра. Я читал его и ужасался, на каком же говно-языке все вокруг пишут! <[ Одинокий голос из зала "а может ты сам написал этот код?", раздается несколько ударов, несогласного выносят ]>
И инкапсуляция у них нарушается всегда!!! В только представьте, пацаны — они спят и видят, как бы ее нарушить! Просыпаются, и сразу же бегут ее нарушать; засыпают, мечтая о том, как пойдут нарушать ее завтра! <[ Дамы в зале утираются платочками, всхлипывая; мужчины сидят с каменными лицами, сцепив зубы ]>
И вообще, самое страшное — этот подлый язык заставляет меня думать! Думать над освобождением памяти, думать над нормальной иерархией классов, думать над всем!!! Так дальше продолжаться не может — пора закопать его! За-ко-пать!!! Такое говно не должно оскорблять своим существованием наш священный мирок! Кто со мной?!
<[ Все, сидящие в зале, вскакивают, словно распрямившаяся пружина, и выбегают в дверь следом за лидером. Кажется, старому язычку пришел пиздец. Армия скрывается в тумане, некоторое время оттуда слышатся крики "Батт-хёрт! Батт-хёрт! Батт-хёрт!", под которые марширует этот карательный отряд, потом и они затихают вдали ]>
Из потайной дверцы в опустевший зал входит Александреску, вертя в руках блокнот. "2011 год, реактивное говно-нашествие школоты номер 9681", записывает он туда; выходит из зала, запирая дверь на ключ. На крыльце его поджидает Страуструп, они заходят в соседний паб, заказывают по кружке темного пива, и с улыбкой смотрят на экран на стене.
На том экране виден гигантский небоскреб с двумя крестами на крыше, вокруг которого бегают мелкие на его фоне людишки, стуча кулаками в стены. Но стены почему-то не пробиваются; атакующие разбивают костяшки в кровь, и обиженно отходят, дуя на окровавленные пальцы. Вместо них к стенам пробиваются новые фанатики, но их становится все меньше; волна постепенно угасает.
"больше двадцати лет прошло, и все повторяется", — со вздохом говорит Бьёрн, потягивая пиво.
К небоскребу достраивают еще один этаж, новый подземный паркинг. Отбитые пальцы горе-разрушителей почти зажили.
"Пацаны...", — начинает свою проповедь очередной мессия.
Sergey Olendarenko (GooRoo)
C++/Haskell programmer more
