AZ
Size: a a a
AZ
AZ
AZ
EG
-> T
может вернуть либо объект типа T
, либо не вернуть ничего (вернуть !
).T = Empty
, мы сконструировать его точно не можем. Стало быть, без дополнительных ограничений на тип, эту задачу решить невозможно.AZ
Prelude> maxmin 5 4 3
5
EG
EG
(a -> b) -> a
(F<F<T, U>, T>
) проблематичен.𝙰𝙸
EG
!
нельзя только из функций quiz_\d
или из любых функций вообще?AZ
AZ
AZ
EG
AZ
mid a b c = let _ : mid' : _ = Data.List.sort [a, b, c] in mid'
; main = print $ mid 3 5 1R
mid a b c = let _ : mid' : _ = Data.List.sort [a, b, c] in mid'
; main = print $ mid 3 5 13
p
mid a b c = let _ : mid' : _ = Data.List.sort [a, b, c] in mid'
; main = print $ mid 3 5 1EG
R
3
p
AZ