AZ
если нужно прямо в фильтре можно логгировать
Size: a a a
2020 June 04
AZ
как же больно после раста то
я бы педпочел резалты, но увы
p
А мог бы
foo: String -> Type
foo "Int" = Int
foo _ = String
bar: (t: String) -> (foo t)
bar s = case foo s of
Int => 1
_ => "2"
Тут нельзя в компайл тайме вынести
foo "Int" = Int
foo _ = String
bar: (t: String) -> (foo t)
bar s = case foo s of
Int => 1
_ => "2"
Тут нельзя в компайл тайме вынести
S
foo: String -> Type
foo "Int" = Int
foo _ = String
bar: (t: String) -> (foo t)
bar s = case foo s of
Int => 1
_ => "2"
Тут нельзя в компайл тайме вынести
foo "Int" = Int
foo _ = String
bar: (t: String) -> (foo t)
bar s = case foo s of
Int => 1
_ => "2"
Тут нельзя в компайл тайме вынести
Чё за андерскор
VS
если нужно прямо в фильтре можно логгировать
Мне все же с хандлером через контроллер больше вариант нравиться потому что в Сваггере сразу можно глянуть какие коды ошибок с какими body возвращаются . Ну это такое да. Дело вкуса
S
?
p
Чё за андерскор
Всмысле
p
Так в идрисе можно писать
S
Это типа нет типа
S
Или что
p
Где нет типа
S
В андерсклре блядь
p
foo: String -> Type
foo "Int" = Int
foo _ = String
bar: (t: String) -> (foo t)
bar s = case foo s of
Int => 1
String => "2"
Так лучше?
foo "Int" = Int
foo _ = String
bar: (t: String) -> (foo t)
bar s = case foo s of
Int => 1
String => "2"
Так лучше?
p
Это обычный паттерн матчинг
S
foo _ = String
S
Это что
p
Это что
Паттерн матчинг
AZ
foo _ = String
"любой тип", очевидно
S
Ну ок удачи
p
"любой тип", очевидно
"любая строка"