AV
Грубо говоря, без полноценного паттерн матчинга в Хаскеле можно. Но он там полноценный, и его грех не использовать
в хаскеле же даже самый банальный обход списка через паттерн матчинг делается.
Size: a a a
2020 June 25
АГ
в хаскеле же даже самый банальный обход списка через паттерн матчинг делается.
Через деконструкцию. Это вообще только 5% от того, что он может
АГ
Деконструкция даже в Питоне есть для списков и тюплов
AV
Через деконструкцию. Это вообще только 5% от того, что он может
не только. еще и через выбор одного из вариантов же
АГ
не только. еще и через выбор одного из вариантов же
Ну на то он и матчинг
AV
ну вот я и говорю - выкинь их хаскеля паттерн матчинг, и ты на нем не сможешь вообще ничего. совсем.
PZ
Если когда-нибудь это попадёт в стандарт, я перестану ругать С++ :)
AV
это всё равно, что из С++ выкинуть указатели
АГ
ну вот я и говорю - выкинь их хаскеля паттерн матчинг, и ты на нем не сможешь вообще ничего. совсем.
И о чем это свидетельствует? По мне - о правильном подходе, когда единственная, не самая сложная, языковая фича избавляет от костылей, которых в С++ 100500
AV
или массивы
AV
И о чем это свидетельствует? По мне - о правильном подходе, когда единственная, не самая сложная, языковая фича избавляет от костылей, которых в С++ 100500
сомнительное утверждение. я не представляю как их можно сравнивать.
В хаскелле базовый тип, из которого всё строится - ленивый список. В С++ - массив и указатель.
В хаскелле базовый тип, из которого всё строится - ленивый список. В С++ - массив и указатель.
AV
натянуть паттерн матчинг на второе, это всё равно, что в хаскель добавить сырые указатели прямо в ядро языка.
АГ
сомнительное утверждение. я не представляю как их можно сравнивать.
В хаскелле базовый тип, из которого всё строится - ленивый список. В С++ - массив и указатель.
В хаскелле базовый тип, из которого всё строится - ленивый список. В С++ - массив и указатель.
Ленивый спискок базовый в Хаскеле? Не думаю
АГ
натянуть паттерн матчинг на второе, это всё равно, что в хаскель добавить сырые указатели прямо в ядро языка.
Есть там указатели в ядре
AV
в ядре языка? где?
AV
/me пошел смотреть описание языка
AV
ведь язык это же не реализация ghc, правда?
АГ
в ядре языка? где?
Ну в примитивах GHC . Именно его мы зовем ядром
AV
ну, зашибись, тогда и в c++ уже лайфтаймы реализованы да и сборщик мусора есть
AD
Если когда-нибудь это попадёт в стандарт, я перестану ругать С++ :)
pattern matching в приоритетах на С++23: wg21.link/p2000, wg21.link/p0592