Телеграмм чат группы compilerdev страница 638

Evgenii Moiseenko

есть ещё first-class patterns, но я хз насколько ими удобно пользоваться
https://www.irif.fr/~kesner/papers/first-class-patterns.pdf
https://hackage.haskell.org/package/first-class-patterns

линзы-призмы есть для этого

14:40пожаловаться #1

хотя, наверно, визуально не сильно похоже будет

14:41пожаловаться #2

Evgenii Moiseenko

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

14:42пожаловаться #3

Andrei Kurosh

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

Хаскель — императивный язык, хотя автор, наверно, имел в виду реализацию в императивном стиле

14:43пожаловаться #4

Yuriy Syrovetskiy

Хаскель — императивный язык, хотя автор, наверно, имел в виду реализацию в императивном стиле

режим максимального троллинга активирован

14:44пожаловаться #5

Evgenii Moiseenko in Compiler Development

Andrei Kurosh

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

я давненько ту статью читал, но вроде там кроме лямбд ничего не требуется

14:45пожаловаться #6

Evgenii Moiseenko in Compiler Development

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

14:45пожаловаться #7

Evgenii Moiseenko

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

кроме С и Питона

14:46пожаловаться #8

Valerii in Compiler Development

но ведь в питоне есть лямбды?

Julian =) Coffee in Compiler Development

14:47пожаловаться #9

Возможно в Питоне какие-то не такие лямбды, но они там есть

14:47пожаловаться #10

Valerii

но ведь в питоне есть лямбды?

ущербные

14:47пожаловаться #11

там вроде только лямбда-выражения

14:47пожаловаться #12

лямбда-абстракцию в Питоне нельзя использовать для многих вещей, для которых можно во всех остальных языках

Vladimir Kazanov in Compiler Development

14:48пожаловаться #13

Yuriy Syrovetskiy

ущербные

Юрий, вы сегодня вот прям наброс за набросом: Хаскелл - императивный, в Питоне лямбд нет...

14:48пожаловаться #14

Evgenii Moiseenko in Compiler Development

Andrei Kurosh

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

впрочем, как тут уже выше подметили, скорее всего весь функционал этих first-class patterns покрывается линзами/призмами

14:48пожаловаться #15

Vladimir Kazanov

Юрий, вы сегодня вот прям наброс за набросом: Хаскелл - императивный, в Питоне лямбд нет...

это не набросы. у меня доказательства есть

14:48пожаловаться #16

и есть подозрение, что лямбда-функции впилить очень сложно из-за significant whitespaces

Sergej Jaskiewicz in Compiler Development

14:48пожаловаться #17

Yuriy Syrovetskiy

кроме С и Питона

Есть расширение кланга для их поддержки

Sergej Jaskiewicz in Compiler Development

14:49пожаловаться #18

https://clang.llvm.org/docs/BlockLanguageSpec.html

14:49пожаловаться #19

Алексей in Compiler Development

а именованные функции вместо лямбд что мешает использовать?