AZ
case addAssoc m n (mulP m n) of
match (addAssoc(n,m, mulP(n,m)) {
T.Refl => ...
}Вроде несложно.
Вроде несложно.
Size: a a a
2020 February 13
Вроде несложно.
В
я в 20 вкатился в сишарп и до сих пор не выкачусь
А сколько тебе сейчас?
AZ
27 будет
p
вебом вообще не надо заниматься просто и все
Был бы блять не жс а нормальный язык, было бы все заебись
В
27 будет
7 лет 100% на шарпе работаешь? Мощно
SP
Был бы блять не жс а нормальный язык, было бы все заебись
тс не так плох. в ризон просто стремно брать кек
p
тс не так плох. в ризон просто стремно брать кек
ТС всё ещё компилится в жс
p
Я писал вчера, что три часа искал баг undefined
SP
ТС всё ещё компилится в жс
на это можно почти не обращать внимания
p
Я писал вчера, что три часа искал баг undefined
>
p
Я делал pop() на пустом списке
SP
ну вот надо делать мап на списке
SP
либо отдавать явно туплы/то что тебе надо
G
ну вот надо делать мап на списке
Это разные вещи
AZ
7 лет 100% на шарпе работаешь? Мощно
А что удивительного?
AZ
Я писал вчера, что три часа искал баг undefined
если не писать any и валидировать то что получаешь снаружи то undefined не словишь
p
Я делал pop() на пустом списке
>
AZ
Я делал pop() на пустом списке
а pop какие типы имеет?
p
а pop какие типы имеет?
Array.prototype.pop()
AZ
это не тип