IP
декларативному языку негоже иметь лямбду вида () => {}
Size: a a a
2021 January 07
IP
или вас другая лямбда бесит?
L
то есть по Иванову все языки должны тупо быть хаскелем?
Нет, "почему Хаскель" это ролик о том, почему среди прочих способов программировать в функц. стиле
AM
Вредны для изучения программирования декларативного.
Я всё ещё считаю, что вреден не синтаксис, а недостаточное количество возможностей для написания в подходящем стиле -- вряд ли кто-то в здравом уме будет декларативное программирование на крестах осваивать, пусть там что-то для этого и есть.
AM
Но спорить об этом у меня примерно ноль желания. По крайней мере я, похоже, понял наконец, о чём вы.
IP
или вас другая лямбда бесит?
чья именно, в общем, лямбда плохая, чья хорошая
ML
https://gopiandcode.uk/logs/log-bye-bye-monads-algebraic-effects.html
Так, а говорить, что анимацию залатали алгебраическими эффектами и сохранили чистоту функций - это не читерство?
Так, а говорить, что анимацию залатали алгебраическими эффектами и сохранили чистоту функций - это не читерство?
L
Я всё ещё считаю, что вреден не синтаксис, а недостаточное количество возможностей для написания в подходящем стиле -- вряд ли кто-то в здравом уме будет декларативное программирование на крестах осваивать, пусть там что-то для этого и есть.
Иванов отлично учит (умеющих кресты/питон.что угодно). написанию на этом всякого, вплоть до тайпклассов
IP
Иванов отлично учит (умеющих кресты/питон.что угодно). написанию на этом всякого, вплоть до тайпклассов
ну круто, что
ML
Иванов отлично учит (умеющих кресты/питон.что угодно). написанию на этом всякого, вплоть до тайпклассов
А Левша блоху подковал!
AN
Я принял ваше разделение на языки вроде крестов с пайтоном, где лямбды появились позже, и хаскелля с котлином, где они были со старта. Окей, откинем первые. Почему и как в котлине и хаскелле лямбды должны выглядеть одинаково, и как это следует из того, что они примитив с т.з. семантики?
Они на примитив никакой, в котлин не используется лямбда исчесление per se
AM
А Левша блоху подковал!
Вот да. То, что это возможно, не значит, что это эффективный путь. Даже при учёте, что эффективность -- штука субъективная.
AM
Они на примитив никакой, в котлин не используется лямбда исчесление per se
Я часть тезисов принял как вводные, мне хотелось понять мысль человека и уточнить его основную мысль.
L
Блин, как теперь сослаться на ивановский чатик?
"ШАГ в функциональное программирование" только дало скопироватью
"ШАГ в функциональное программирование" только дало скопироватью
AN
Я часть тезисов принял как вводные, мне хотелось понять мысль человека и уточнить его основную мысль.
Простите, я не буду читать всю дискуссию, поскольку внезапный отчет прилетел. Но если основывать все на лямбда-исчеслении, то это одно - там все пляшет от лямбд. Если нет - это совсем другое.
L
Простите, я не буду читать всю дискуссию, поскольку внезапный отчет прилетел. Но если основывать все на лямбда-исчеслении, то это одно - там все пляшет от лямбд. Если нет - это совсем другое.
Не хочу ничего знать об автомате, потому что умею ездить на ручке.
Автомат для неумех
Автомат для неумех
AM
Блин, как теперь сослаться на ивановский чатик?
"ШАГ в функциональное программирование" только дало скопироватью
"ШАГ в функциональное программирование" только дало скопироватью
Может, он закрытый? Я его по такому названию поиском не нашёл.
Но я всё равно не пойду ещё один чат читать, простите.
Но я всё равно не пойду ещё один чат читать, простите.
IP
Простите, я не буду читать всю дискуссию, поскольку внезапный отчет прилетел. Но если основывать все на лямбда-исчеслении, то это одно - там все пляшет от лямбд. Если нет - это совсем другое.
а у нас вообще где-то есть TLC, кроме млей и хаскеля?
AN
Не хочу ничего знать об автомате, потому что умею ездить на ручке.
Автомат для неумех
Автомат для неумех
сериоусли?
L
сериоусли?
Хочу убедиться, правильно или неправильно прочитал