\о/

Sorry, this username is already taken. Please try something different.

replbot

ghci-bot ;)

Сквоттеры!

ghci111bot

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

Как они монитизировать-то собираются? Сквоттеры эти.

rughcibot

runhaskellbot

Во! точно

rushaskellbot

hrubot

lamdabotbot

а там не ascii символы можно?

hruhrubot

может лямбду лямбдой сделать?

румбда

> Usernames are 5-32 characters long and are case insensitive, but may only include Latin characters, numbers, and underscores.

Взял runhsbot пока, там посмотрим

Не факт, что я его осилю доделать :(

Ещё и 32 сверху. Так вообще вариантов мало.

а ещё бот умел делать /slap

тоже важная фича irc ботов

Ну хоть не викторина, и то хорошо.

мафия!

Что делает /slap ?

бот говорит тем стукнул того , кого указали

Решил-таки поробовать прикрутить лямбдабота к телеграму. Застрял на том, как его назвать, лол. Все норм имена уже кем-то заняты, причём не используются :(

Хочешь @haskybot отдам?

Мультиметоды в CLOS

Мне бы понравилось, если бы все функции могли принимать условно любой тип и внутри по кейсам определять свое поведение в зависимости от WHNF типа - но без того чтобы городить этот универсум-тип-сумму руками явно. И думаю (надеюсь) Dynamic здесь будет ближе к желаемому. Хотя я мало его пробовал - поэтому и хотел посмотреть как это делают умельцы.

Хочешь @haskybot отдам?

Пока нет, спасибо. Надо сперва хоть какую-то имплементацию набросать

@qnikst реквестирую канонических статей про fusion/deforestation

Дак тезис Данкана же

@qnikst реквестирую канонических статей про fusion/deforestation

https://dblp.uni-trier.de/pers/hd/c/Coutts:Duncan тут например

и Short cut to deforestation

Спасибо!

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

обычно, когда говорят о динамической типизации, как ни странно, говорят о динамической типизации. Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменнаясвязывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов.

Пока нет, спасибо. Надо сперва хоть какую-то имплементацию набросать

У меня была чья-то адаптация, с ликёром и всем таким, но я её где-то потерял...

*докером

а щас вы описали ским или кложу

обычно, когда говорят о динамической типизации, как ни странно, говорят о динамической типизации. Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменнаясвязывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов.

Это просто оксюморон, тип это область значений, который может принимать переменная

а щас вы описали ским или кложу

Js, python, ruby и любой другой динамический язык. Приведи контрпример

В скиме нету словарей, вот и всё отличие

обычно, когда говорят о динамической типизации, как ни странно, говорят о динамической типизации. Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменнаясвязывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов.

Ололо в расте динамическая типизация!

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

Ну класс в питоне и луа это именно словарь. Но не дикт, а нормальный такой map

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

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