Denis
Гвидо многократно выступал против лямбд и за то как это вредно и что не должно быть функционального программирования
kosc
во втором питоне была библиотечка functools, в которой всякие map/filter были и все такое
По-моему как раз таки во второпетоне даже reduce был builtin, а в тройке он в functools
Alexander
Киньте в меня тапком, но я считаю, что отсутствие проверки типов /= отсутствию типов.
не равно, это совершенно ортогональные вещи
Denis
в итоге пошли по пути выпиливания
kosc
map и filter всегда были builtin
Alexander
отсуствие котов /= отсуствию счастья
Alexander
но нам нужно счастье, а не коты
Влод
Ну я понял так, есть у нас два типа:
data M1 o = ...
data M2 o = ...
instance Monoid o => Monad (M1 o) where ...
instance Monoid o => Monad (M2 o) where ...
instance Monoid o => Applicative (M1 o) where
pure = return
(<*>) = flip (»=)
instance Monoid o => Applicative (M2 o) where
pure = return
(<*>) = flip (»=)
data (f <.> g) a = Comp { comp :: f (g a) }
для <.> есть Applicative, мы берем Monoid o => M1 o <.> M2 o и получаем Accy o
flip (»=) :: Monad m => (a -> m b) -> m a -> m b
A64m
Киньте в меня тапком, но я считаю, что отсутствие проверки типов /= отсутствию типов.
мнение распространенное, но неправильное
Влод
но не суть
Влод
один хрен не понятно зачем всё это
kosc
Аккуратнее, тебя сейчас @A64m_qb0 затопчет этим тапком.
Переадресовываю его тапок в согласного со мной @qnikst
Alexandr
flip (»=) :: Monad m => (a -> m b) -> m a -> m b
Тут что-то не то, это точно)
Ю ли я? 🤔
Но functools-то всё равно в стандартной библиотеке, не?
Alexander
Переадресовываю его тапок в согласного со мной @qnikst
я не уверен, что я с вами до конца согласен )
Alexander
не равно то оно не равно, но толку с этого не много
Alexander
и в питоне действительно 1 тип, наличие рантайм ассертов это хорошго
Alexander
в tcl и js нету, например
Alexander
и в php долго не было
Alexander
но это как сравнивать жизнь в пакистане и зимбабве
Ю ли я? 🤔
Тут я тоже подвис. Чем JS'ный typeof недостаточно ассертен по сравнению с питоновым type?
Alexander
тем что в a * b он попытается привести а и б к чему-то логичному
Alexander
или a + b, а в питоне выругается что одно из них str
Слава
можно гринку получить, если геем под репрессиями прикинуться
Про гринку не скажу, а один мой знакомый в ЕС, который не прикидывался, а получил убежище, в итоге там умер.
kosc
Ну если одно из них str, а другое int.
kosc
Складывать строки там можно, так конкатенация делается.
Alexander
я знаю
Alexander
а в js это сработает в любых комбинациях
Alexander
оттуда много видях в WUT
Alexander
т.к. по стандарту правила там весьма наркоманские
Alexander
в tcl вообще тегов нету
Alexander
которые в js и питоне хотя бы есть
Ю ли я? 🤔
А, ну в питоне тоже WAT-ные неявные приведения есть в паре мест. Но конечно, масштаб бедствия несравним с JS
Alexander
даже в hasklell есть length (a,())
Alexander
который конечно менее удивителен, но все же
Кабачок
пары foldable?
Alexander
конечно
Ю ли я? 🤔
Моё любимое - в py2 можно функцию с числом сравнить (на меньше-больше)
Андрей
и какой результат?
Влод
1 (не, не то, думал про length)
Кабачок
Моё любимое - в py2 можно функцию с числом сравнить (на меньше-больше)
Это уже было в The Cimpsons
Ю ли я? 🤔
У функции есть hex-адрес, вот он в итоге и сравнивается. Коллега так на баг налетел, забыв вызвать лямбду. В тройке уже пофиксили
Denis
Alexander
огромное
Alexander
кстати в java пофиксили сравнение строк
Alexander
раньше оно правильное было, по адресам в памяти, как всех объектов
Alexander
а сейчас на == можно сравнивать
Alexander
вот и помни теперь все исключения
Кабачок
Пруф?
Ю ли я? 🤔
Это ж совместимость ломает о_О
Alexander
может я правда и туплю
Ю ли я? 🤔
Кстати, GHC не оптимизирует == сравнением указателей в частных случах?
Alexander
не, опять туплю сравнение Integer нга == работает на мелких
Alexander
специально нет
Кабачок
Держу в курсе: со строками в java все нормально, == по прежнему сравнивает ссылки
Alexander
ок, хорошо
Alexander
а чего там с мутабельностью в jdk-1.7?
Кабачок
с чьей мутабельностью?
Alexander
String
Alexander
все ок вроде
Alexander
поменяли где строки выделяются только
Кабачок
иммутабельны как и дцать лет назад, выделение подстроки пофиксили (наверно)
Alexander
а то чего-то шумели
Кабачок
не помню такого
Влод
ну кстати если сравнивать только литеральные строки то всё ок
Влод
ну как в джс их использовать в качестве меток
Oleg
его для строк пофиксили
Alexander
а да точно
Alexander
пасиб
Yura
а кто-то stack lts-10.4 и cabal проекты с pkg-config пробовал скрещивать?
Yura
вопрос снят
Alexander
В Питоне удивительнее всего Mutable Default Argument.
Alexander
А так, я согласен с @catamorphism , это поделие двоечника.
Ю ли я? 🤔
@graninas А какие у вас любимые языки?
Aliester
не люблю питон
Aliester
недоООП и никакущий пакетный менеджмент
Aliester
а еще боль 2/3
Влод
то ли дело перл