SA
с оговорками нормальный. с ним можно меньше сделать, чем в тех же эрлангах и эликсирах
Size: a a a
2021 February 10
AM
афигенно.. то есть даже не сишный switch, а нормальный pattern matching как в нормальный функциональных языках.
Это так, жалкая пародия на for макрос из common lisp.
AM
с оговорками нормальный. с ним можно меньше сделать, чем в тех же эрлангах и эликсирах
В тех же эрлангах и элекмирах он всё ещё не умеет.
БС
Нет. В нормальных языках сопоставление с образцом умеет на этапе компиляции сказать, что у тебя не все кейсы покрыты и доказать это на уровне типов.
да хватит пургу нести
AM
Нормальные, это haskell?
F#, OCaml, тысячи их.
SA
В тех же эрлангах и элекмирах он всё ещё не умеет.
мм? чего не умеет? кто?
SA
я чот потерялся
SB
Нормальные, это haskell?
В Scala например, на счет ее нормальности можно усомниться, но вот статическая типизация есть
БС
F#, OCaml, тысячи их.
ну не тысячи.. но есть разные языки. Со строго и не строгой типизации, есть языки с выводом типов.. Питон не относится к ним. Как ты блин на этапе компиляции сделаешь такие проверки?
SA
А, я понял. Артем, с Эрланге другой подход. Там не надо все клозы покрывать. Наоборот, это вполне валидная ситуация, когда какую-нибудь дичь ты не покрываешь, и у тебя код эксепшном про
no function clause matching взрывается. Там же let it crash так-то. На практике достаточно удобно выходитAM
ну не тысячи.. но есть разные языки. Со строго и не строгой типизации, есть языки с выводом типов.. Питон не относится к ним. Как ты блин на этапе компиляции сделаешь такие проверки?
Так чем это тогда не сишный switch, кроме того, что умеет раскрывать выражения? Как собственно и любой assignment expression в питоне? С
for (a, (b,c)) in foo: почему-то так кипятком никто не писает.SB
Вот если я тут забуду сделать case _: и
```
```
То прилетит какой-то MatchException?
point = None```
def whereis(point):
match point:
case Point(0, 0):
print("Origin")
case Point(0, y):
print(f"Y={y}")
case Point(x, 0):
print(f"X={x}")
case Point():
print("Somewhere else")```
То прилетит какой-то MatchException?
AM
А, я понял. Артем, с Эрланге другой подход. Там не надо все клозы покрывать. Наоборот, это вполне валидная ситуация, когда какую-нибудь дичь ты не покрываешь, и у тебя код эксепшном про
no function clause matching взрывается. Там же let it crash так-то. На практике достаточно удобно выходитЯ готов с этим жить в эрланге, где можно фиксы на горячую заливать. Но не в питоне.
БС
Так чем это тогда не сишный switch, кроме того, что умеет раскрывать выражения? Как собственно и любой assignment expression в питоне? С
for (a, (b,c)) in foo: почему-то так кипятком никто не писает.а чё писать? норм сделали.. И от паттерн матчинга никто не обоссыццо. Просто у них был вариант делать сишный свитч, а сделали по нормальному.
SA
Реллапы - это практически антипаттерн. Ими очарованы только те, кто ни разу в продакшоне не пробовал)
Кроме того, какие реллапы когда везде докер
Кроме того, какие реллапы когда везде докер
БС
Я готов с этим жить в эрланге, где можно фиксы на горячую заливать. Но не в питоне.
зачем тебе на горячую заливать? Ты кстати в эрланге делал это? Там не всё так хорошо, если сложнее Hello world
БС
в питоне тоже можно на горячую менять importlib, только это никто не делает, ибо нефиг
БС
В эрланге, можно менять, благодаря иммутабельности памяти. Без этого не сделаешь даже как эрланге.
KK
Вот если я тут забуду сделать case _: и
```
```
То прилетит какой-то MatchException?
point = None```
def whereis(point):
match point:
case Point(0, 0):
print("Origin")
case Point(0, y):
print(f"Y={y}")
case Point(x, 0):
print(f"X={x}")
case Point():
print("Somewhere else")```
То прилетит какой-то MatchException?
Скорее всего нет. Ты ведь не ожидаешь исключений от питона, если забыл написать ветку else для if-чика? Скорее всего у тебя просто дальше что-то упадёт, от то-то что ты, например, не создал внутри match переменную с дефолтным значением, и потом пытаешься её использовать.