Size: a a a

Programming Offtop

2021 January 07

AN

Alexander Nozik in Programming Offtop
LevT
Хочу убедиться, правильно или неправильно прочитал
Не знаю, что вы прочитали. Есть разные подходы к построению вычислений и языков программирвоания. Лямбда исчисление как основа используется очень мало где. Там, где оно не используется лямбды не являются примитивами. (точка)
источник

AM

Andrew Mikhaylov in Programming Offtop
LevT
Не хочу ничего знать об автомате, потому что умею ездить на ручке.
Автомат для неумех
Вы ж сами машину Тьюринга упоминали и наверняка знаете, что она равномощна с лямбда калкулусом. И одни вещи лучше выражаются в одном, другие -- в другом. Зачем вы пытаетесь поставить лямбды во главе стола, плохо понятно.
источник

ML

Mikhail Levchenko in Programming Offtop
Andrew Mikhaylov
Может, он закрытый? Я его по такому названию поиском не нашёл.

Но я всё равно не пойду ещё один чат читать, простите.
Блин, надо пойти почитать пейперы по суммаризации чатов. Наверняка же есть
источник

AN

Alexander Nozik in Programming Offtop
Andrew Mikhaylov
Вы ж сами машину Тьюринга упоминали и наверняка знаете, что она равномощна с лямбда калкулусом. И одни вещи лучше выражаются в одном, другие -- в другом. Зачем вы пытаетесь поставить лямбды во главе стола, плохо понятно.
+
источник

AM

Andrew Mikhaylov in Programming Offtop
Mikhail Levchenko
Блин, надо пойти почитать пейперы по суммаризации чатов. Наверняка же есть
Ничё-ничё, дождёмся ГПТ4, будем туда в качестве корпуса вкидывать содержимое чата, а потом вопросы ему задавать.
источник

IP

Iaroslav Postovalov in Programming Offtop
Iaroslav Postovalov
а у нас вообще где-то есть TLC, кроме млей и хаскеля?
призываю @happy_bracket
источник

Kd

Konstantin dmz9 in Programming Offtop
Andrew Mikhaylov
Ничё-ничё, дождёмся ГПТ4, будем туда в качестве корпуса вкидывать содержимое чата, а потом вопросы ему задавать.
gpt over zettelkasten
источник

L

LevT in Programming Offtop
Mikhail Levchenko
А Левша блоху подковал!
Он демонстрирует, что не надо быть левшой:
достаточно добавить в фреймворк лямбды-примитив
источник

AN

Alexander Nozik in Programming Offtop
LevT
Он демонстрирует, что не надо быть левшой:
достаточно добавить в фреймворк лямбды-примитив
Зачем? Пишите на хаскеле. Кто вам мешает-то?
источник

L

LevT in Programming Offtop
Alexander Nozik
Не знаю, что вы прочитали. Есть разные подходы к построению вычислений и языков программирвоания. Лямбда исчисление как основа используется очень мало где. Там, где оно не используется лямбды не являются примитивами. (точка)
Там, где LC не используется - там ещё не изобрели "автомата".
Со всеми вытекающими, для удобства и безопасности езды.
источник

AN

Alexander Nozik in Programming Offtop
LevT
Там, где LC не используется - там ещё не изобрели "автомата".
Со всеми вытекающими, для удобства и безопасности езды.
Пишите на Хаскеле.
источник

IP

Iaroslav Postovalov in Programming Offtop
Alexander Nozik
Пишите на Хаскеле.
источник

L

LevT in Programming Offtop
Alexander Nozik
Пишите на Хаскеле.
Попробовал.
Когнитивный оверхед великоват изучать всё сразу одновременно: и синтаксис, и концепты
Лучше факторизовать, вот с использованием котлина например
источник

АВ

А зачем Вам in Programming Offtop
Alexander Nozik
Пишите на Хаскеле.
а ты хорош
источник

IP

Iaroslav Postovalov in Programming Offtop
LevT
Попробовал.
Когнитивный оверхед великоват изучать всё сразу одновременно: и синтаксис, и концепты
Лучше факторизовать, вот с использованием котлина например
зачем тогда ругаться, что в котлине лямбда не как \ выглядит
источник

AM

Andrew Mikhaylov in Programming Offtop
А зачем Вам
а ты хорош
Дык он всё правильно говорит. Топикстартер, похоже, из касты любителей впихивать невпихуемое.
источник

AN

Alexander Nozik in Programming Offtop
LevT
Попробовал.
Когнитивный оверхед великоват изучать всё сразу одновременно: и синтаксис, и концепты
Лучше факторизовать, вот с использованием котлина например
Если вам нужно лямбда исчисление - пишите на хаскеле. Если вам не нужно лямбда исчисление - не пишите на хаскеле. Если вам нужно лямбда исчисление на котлин, то извините.
источник

IP

Iaroslav Postovalov in Programming Offtop
всегда буду этого медведя кидать, когда кто-то будет хаскель рекламировать
источник

АВ

А зачем Вам in Programming Offtop
Andrew Mikhaylov
Дык он всё правильно говорит. Топикстартер, похоже, из касты любителей впихивать невпихуемое.
так я и не спорю, просто ответ действительно хорош)
источник

AM

Andrew Mikhaylov in Programming Offtop
Alexander Nozik
Если вам нужно лямбда исчисление - пишите на хаскеле. Если вам не нужно лямбда исчисление - не пишите на хаскеле. Если вам нужно лямбда исчисление на котлин, то извините.
Ну почему "извините"? Можно и на котлине, если очень хочется. Да, придётся спотыкаться об котлин, потому что он не хаскель, но у каждого свой путь.
источник