самое интересное в слайдах следующего дня

но их надо у @bravit спрашивать

Завтрашние слайды будут завтра!

сегодняшние завтрашние слайды :)?

Да!

-Wdodgy-imports название норм

от компиляции ghc у меня ноут расплавится сейчас

Интересно, в сообществе все больше и больше народу.

Это все Брагилевский.)

пошли в Идрис

там не так мейнстримно

там не так мейнстримно

Языки из 80'ых, фу

а есть посовременнее?

только чур коком не кидаться

Ну из теорем пруверов нет ничего современнее агды

нужно писать языки 10-х

Никто язык 90'ых написать не может

Потому что человечество остановилось в развитии xD

или может мы достигли границы закона Мура для языков?

Или просто всё IT свелось к производству одного огромного рекламного билборда

скоро зима

не "скоро зима", а "Зима близко!"

Пруф или красный рассвет

Фейсбук падает

Твитор тоже

нейросети и квантовые компьютеры - дутые инновации

еще блокчейн

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

помнишь кризис 2008?

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

помнишь кризис 2008?

Жижека почитай. Ну или посмотри

скоро и до комплексных чисел доберемся

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

а рекламируются как AI

Ну и чо?

эффект завышенных ожиданий

вот устанут дяденьки-инвесторы от обещаний

и начнуть инвестировать в биотехнологии

А гугл рекламят как deus ex machine. Буржуазное общество строится вокруг эксплуатации предрассудков и невежества

*да, мы там тоже будем*

однако не как производственная сила, а как субконтракторы

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

и чот так себе получается

плохому искусственному интелекту датасеты мешают

👍 Будь добр! Хоть узнаем, что потеряли..

https://compsciclub.ru/courses/Glasgow-Haskell-Compiler/2018-spring/classes/

вот там все слайды будут

ЗдОрово. Спасибо!!

$ inplace/bin/ghc-stage2 --version The Glorious Glasgow Haskell Compilation System, version 8.5.20180118

Не те сорцы сбилдил :(

Тоже ничего!

Все слышали, да, @чат? Берите пример!

общаться в личке? ок.

общаться в личке? ок.

Почему вы такой токсичный?

Подстраиваюсь под канал. А вы почему?

Подстраиваюсь под канал. А вы почему?

Я не подстёбываю незнакомых мне людей и выражаю недовольство напрямую. И не выступаю в качестве абсолютного морального авторитета, расхождение с которым автоматически лишает субъектности. Для меня все люди, с которыми я коммуницирую, субъекты, внутренний мир и мотивация которых мне интересна. Хотя это и не отменяет того, что в принципе я стараюсь ограничить потоки от людей, которые выливают только негатив, если от них нельзя получить никакой отдачи. Вот например Клапауций ходячая энциклопедия по истории развития программирования. А ещё наверняка он очень нереализованный забитый человек, который постоянно нуждается в одобрении. А откуда у вас токсичность -- непонятно, вроде и авторитет есть и карьера нормальная. Поэтому я и спросил

Я никого не хейчу, я отпускаю едкие замечания прост

Как-то слабо согласуется с нарисованным вами выше образом. Что же до личного опыта общения (в чате) - у нас с вами он как-то произошел, оставив мне весьма неприятные впечатления постоянных придирок и претензий не по делу - в истории канала можно найти. ЗЫ и вообще в этом канале у меня ощущение крайне агрессивной среды, где хамят с порога (требовали пруфы - приводил - не соглашались с моей оценкой), постоянно звучат неуважительные и надменные высказывания в адрес чего-угодно-что-не-сабж, администратор сам в этом участвует (Александр, я могу привести пруфы), но считает себя вправе предупреждать меня, когда я показываю как это выглядит со стороны. ЗЗЫ мне нравится Хаскель, это волшебный неземной язык. Но впечатления о части местного комьюнити такое, простите.

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

Я не общаюсь в личке с людьми, с которыми я не знаком лично, от слова совсем. Не помню нашего с вами общения в этом чате и нет, Клапауций не мой виртуал. Ну не знаю, обычно у людей, приходящих в "местное коммьюнити" обратное ощущение. Возможно потому что обычно их интересует не давление своим моральным авторитетом, а изучение хаскеля. Я лично не вижу ничего плохого в неуважительных и надменных высказываниях в отношении технологий. Потому что технологии не имеют ни разума, ни эмоций, их невозможно оскорбить. А вот если кто-то в ответ на такое отношение к технологиям, аналогично относится к людям, то это у меня лично вызывает ощущение токсичности. Если, конечно, вы верите в некую одушевлённость скалы или го, и мы задеваем ваши чувства, то это другой разговор. Возможно в таком случае наши разговоры нетактичны. Но, честно говоря, я сомневаюсь, что вы на самом деле придерживаетесь таких взглядов.

Например

Какое-то у вас доброжелательное сообщество. Никто не кидается ссылками и матом не орёт.

почему каждый раз когда тут нытье про плохое комьюнити то всегда это один и тот же человек? )

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

угу, как будто тут косяки "покидающих чат"

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

Почему вы такой токсичный?

плюсану вот..

По поводу конструктива: недавно кто-то (не будем уточнять) грозился сделать презентацию или доклад по способам писания на сабже в стиле максимально динамической типизации (так витиевато выражусь, чтобы не предъявили претензии). Можно ли узнать как продвигается дело?

Да хватит ныть уже. Какого заслужили своим отношением - такой и есть. А на один положительный отзыв могу найти 100 отрицательных. И не надо прятаться за "хаскелистов" и оправдывать этим свое поведение. Хаскель не виноват и тут достаточно адекватных людей (пока еще)

Да хватит ныть уже. Какого заслужили своим отношением - такой и есть. А на один положительный отзыв могу найти 100 отрицательных. И не надо прятаться за "хаскелистов" и оправдывать этим свое поведение. Хаскель не виноват и тут достаточно адекватных людей (пока еще)

тренировка перед зеркалом что ли? )

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

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

еще немножко вашего нытья о плохом комьюнити и все тролли резко станут благоразумные ) наверное

Что вы именно понимаете под конструктивностью? Вы можете очертить круг интересующих вас вопросов?

Просто у разных людей здесь очень разные представления и интересы

Ну как минимум обсуждение Хаскеля, а не провокации меня на оффтопный диалог с последующим нытьем троллей. По-моему Воид Лизард в ответ на обсуждение статик вс динамик грозился выдать структурированный материал по возможностям Хаскеля в этом плане. Мне бы было это очень интересно.

Вполне вероятно, что вас, например, интересует хаскель в продакшоне, например, а разговоры о том как правильно писать рантайм ФП вы считаете флудом. Туда же относите всякие катаморфизмы

Отнюдь, мне интересно второе и третье даже больше - ибо я не пишу прод на сабже

Но почему-то разговоры об этом игнорируете. Хотя наверное вам есть что сказать

Про статик vs динамик я не очень понял. Обычно когда говорят о динамической типизации, то имеют в виду, что в языке есть только словари, списки, элементарные типы и функции. То есть это слегка расширенный (функциями) aeson Value Тут я, наверное, немного понимаю, потому что пишу прод на питоне.

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

Конечно, вы правы, можно создать свой составной тип и уложить в него большинство требуемых кейсов значений - типа JSON. И гомогенность словарей по ключам обойти через тип-сумму выбранных элементарных, и прочие проблемы так же решать. Но наряду с этим есть Dynamic и наверное еще другие варианты.

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

Не знаю как в жс, но вроде также

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

Или извернуться и попытаться сделать наш супер-тип инстансом Орд - что провально с учетом функций как значений