Haskell: функция монодичного подъема Variadic

Question

Я новичок в Haskell, и я стараюсь монады. Я читал о лифтеM2, и я хотел знать, можете ли вы сделать его вариативным.

Answer 1

В общем, вы не можете иметь вариативные функции Haskell, потому что функции, которые принимают разные значения параметров, имеют разные типы.

Однако, есть обобщение liftM2 с использованием операторов из Control.Applicative, которые могут найти интересные:

liftM2 f a b = f <$> a <*> b 
liftM3 f a b c = f <$> a <*> b <*> c 
liftM4 f a b c d = f <$> a <*> b <*> c <*> d 

(Технически, это применимо только если вашей Монада также Аппликативная, но по GHC 7.10, все Монады Аппликативный)

и т. Д. Стоит изучить типы, чтобы выяснить, как работают эти выражения.