aaa.bbb = x это не создание структуры (как в плюсах или джаве), а добавление ключа в словарь

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

так раби-объект это и есть словарь

*я понимаю, что вы говорите о типичных деталях реализации, однако такой критерий немного не всеобъемлющ*

так раби-объект это и есть словарь

на си там внутри таблица для замыкания объекта

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

Уже нет

но тогда и в плюсах с джавой тоже динамическая типизация

В плюсах и джаве у тебя класс это рекорд

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

Через рекорд, да

насчат кибербуллинга

удалите когда прочитаете

Не зря "ООП" правильно называется структурной подтипизацией :)

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

Я вот не знаю разницы между катаморфизмом и хиломорфизмом, но я про это и не пытаюсь рассуждать

одно статическое

другое динамическое

Что тут у вас? Кибербуллинг в честь первого апреля?

Не можем без него

у нас тут вечный кибербуллинг

пока меня не зобанели

Сегодня те, у кого спины белые, объявлены динамическими программистами, ну и далее их традиционная травля

Проверяйте спины!

Я с конфы CodeFest. Интерес к ФП среди масс - имеется, евангелизм работает, люди конвертируются в нашу веру. Не шутка

Внезапно подходили незнакомые люди со словами "Читал твою статью на Хабре про STM". Аж двое. Приятно, чорд возьми.

Роберт Губин, молодой последователь нашей секты в области Скалы (2 года) делал доклад о рефакторинге и ФП. Загрузил людям в мозги монады и монадные трансформеры в стиле "Матрицы".

пока меня не зобанели

Меня @bravit111 уже забанил в честь первоапрельского розыгрыша 😂

Меня @bravit111 уже забанил в честь первоапрельского розыгрыша 😂

Продолжай в это верить ;)

Дефейс был ради скрина)0 Все было возвращено в исходное состояние Щас бан от самого твиттера прилетит и все будет ок

Дефейс был ради скрина)0 Все было возвращено в исходное состояние Щас бан от самого твиттера прилетит и все будет ок

Не прилетит. Уйдешь в Hell ban, - и даже не узнаешь об этом

На SO, вроде практикуют. Хотя, может байка

Роберт Губин, молодой последователь нашей секты в области Скалы (2 года) делал доклад о рефакторинге и ФП. Загрузил людям в мозги монады и монадные трансформеры в стиле "Матрицы".

Слайды докладов есть?

Слайды докладов есть?

Почти уверен, что да, но не спрашивал.

Проверяйте спины!

Проверил. Спин электрона стал 1.

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

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

ну так это типа "в прошлом"

это не в один релиз не попало

насколько я помню

там были и другие радости перед релизами

Но принципиально возможно

А насчёт релизов думаю выяснить легко

принципиально возможно написать несовместимые экстешнены

вообще перед релизами всякая веселуха бывает

я помню пару где выяснялось то что можно unsafeCoerce реализовать без unsafe

это один из самых громких примеров

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

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

https://ghc.haskell.org/trac/ghc/wiki/NewAxioms

вот это вроде

https://ghc.haskell.org/trac/ghc/ticket/1496 баг

так все таки долго жило

значит я с другим случаем путаю

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

type alias все же не семейство, там нету вычисления, а только переименование

это конкретно в текущией реализации

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

я не понимаю почему иньективны, но ладно

семейств иньективных у нас нету

к сожалению

я не понимаю почему иньективны, но ладно

ну то то, про что он говорил, что тело инстанса одинаково для любых 'a' (с учетом замены 'a') то есть type alias T a = G a -- вроде как то же самое (возможно не в -- текущей конкретной реализации), что и type family T a where T a = G a нужно только понимать компилятору, что a тут параметрический

type families во всяком случпе

инъективными только с TFFD будут

а они и близко не запилены

Простите за глупый вопрос, мне сказали что xmonad умер, это актуальная информация?

у меня работает

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

так все сделали

еще пять лет назад

Состояния умер и больше не развивается это разные состояния. Судя по активности репы, xmonad мейтенится активно. А умрёт только когда им перестанут пользоваться.

последний релиз был в феврале 17-го

у меня работает

А у меня не работает.

Состояния умер и больше не развивается это разные состояния. Судя по активности репы, xmonad мейтенится активно. А умрёт только когда им перестанут пользоваться.

Спасибо!!! Значит не умрет в ближайшие годы))

А у меня не работает.

Работает даже в дефолтном состоянии без настройки

Просто конфигурации копируешь дефолтный к себе в папку

Работает даже в дефолтном состоянии без настройки

Но у меня не работает. Хотя, может, его сначала стоит установить

Но у меня не работает. Хотя, может, его сначала стоит установить

Простите не правильно Вас понял)

А мне вспомнить, что сегодня день юмора)))

Да, сегодня мой день

Всех с праздником!!!

Как сделать что-то подобное: mListFix :: MonadFix m => (a -> m [a]) -> m [a]?