Брежу

[lomeo]

Наконец то выучил функцию sequence.
Теперь не буду писать:

foldr (liftM2 (:)) [[]] [[1,2],[3,4],[5,6]]

Напишу по человечески:

sequence [[1,2],[3,4],[5,6]]

Заодно вспомнил, что такое {}.
Теперь буду писать всякую пургу:

case [1] of (:){} -> True

Comments

[thesz.livejournal.com]

А что такое {}?

(я серъезно не знаю;)

[lomeo.livejournal.com]

означает "любые параметры конструктора".
Вот допустим
data Foo = Foo Int Int Int

ты можешь написать для паттерн-матчинга Foo _ _ _, а можешь {}

[thesz.livejournal.com]

О! Вилдкард. Здорово. Буду использовать.

Спасибо. ;)

[lomeo.livejournal.com]

Ну, кроме ветвления по названиям конструкторов я больше не представляю, где это можно использовать.

[thesz.livejournal.com]

Это может кое-где упростить код и его генерацию.

Например, при создании instance Enum для терминалов языка.

[k0l7gxb1kicxm.livejournal.com]

Т.е. ежели data T = C1 A B C , то
С1 _ _ _ это C1 {}
C2 a _ _ это C1 a {}
так?

если оно так, то как С1 a _ c через {} ?

[lomeo.livejournal.com]

нет не так, {} обозначает все параметры сразу, а не частями. пример с С1 верен, с С2 нет.

[k0l7gxb1kicxm.livejournal.com]

Спасибо.

[-darkus-.livejournal.com]

А с точки зрения кодогенерации какой вариант интереснее? С foldr или sequence?

[lomeo.livejournal.com]

Э-э-э. Я не очень в теме, что ты имеешь в виду?

[-darkus-.livejournal.com]

Какой вариант даст более эффективный код?

[lomeo.livejournal.com]

Так sequence и есть foldr

sequence ms = foldr k (return []) ms
    where
        k m m' = do { x <- m; xs <- m'; return (x:xs) }

k здесь явный liftM2 (:)
Вот объявление liftM2:

liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) }

Т.е. определения одинаковы. Может быть при оптимизации вылезут какие нибудь тонкости, но я сильно сомневаюсь, мне кажется, что время исполнения в обоих случаях будет очень близким.

[-darkus-.livejournal.com]

Да, весьма похоже на то.