3
Як працює деривація в Haskell?
Алгебраїчні типи даних (ADT) в Haskell можуть автоматично ставати екземплярами деяких типів класів (наприкладShow,Eq), виходячи з них. data Maybe a = Nothing | Just a deriving (Eq, Ord) Моє запитання полягає в тому, як це derivingпрацює, тобто як Haskell знає, як реалізувати функції похідного класу для похідного ADT? Крім того, …