хотелки

[lomeo]

Паттерн-матчинг в Haskell всё наворачивают.

А вот почему не сделают как в Прологе - если два идентификатора в паттерне совпадают, значит по этим позициям должны быть равные значения.

isDup (x:x:_) = True
isDup _       = False

аналогично более сложному

isDup (x:y:_) | x == y = True
isDup _                = False

И ещё! Не нравится мне, что при использовании многострочном объявлении функции приходится писать её название несколько раз.
А как было бы чудесно (объединяя оба примера)

isDup (x:x:_) = True
_     _       = False

Подчерк как повторение имени функции здесь условность, можно придумать что нибудь другое.
Это неважно.

Comments

[thesz.livejournal.com]

Это будет напоминать ситуацию с паттернами-числами - для них в Num введено требование Eq, и производится сравнение.

Иногда, говорят, мешает. Вот конкретно с числами это мешает переделать систему типов классов в более математическом стиле.

[lomeo.livejournal.com]

Как мешает, можно пример, а то я не понял?

Кстати, Eq там не обязателен. Пусть это будет аналогично сравнению с образцом, который не деривит Eq.

[thesz.livejournal.com]

f q = ... преобразуется в f x | x == Prelude.Num.fromInteger 1 = ...

Вот. Соответственно, Num нужем всюду, где есть числа, и Prelude требует серъёзной переделки для избавления от этого. Возможно, вместе с ghc.

Попробуй представсь себе полиморфный код, но без Eq.

f (x:x:_) = x

f [1,2]
f "Hello"

f [Just $ Data.Set.Set.fromList "Hello",Just $ Data.Set.Set.fromList "Hello"] ;)

Получится структурное сравнение, то же, что и получается при deriving Eq. ;)

[lomeo.livejournal.com]

спасибо. ты, как всегда, прав ;-)

[thesz.livejournal.com]

Barf: I know we need the money, but...
Lone Starr: Listen! We're not just doing this for money... We're doing it for a SHIT LOAD of money!
Barf: Oh, you're right. And when you're right, you're right. And you - you're always right.

http://imdb.com/rg/title-tease/quotes/title/tt0094012/quotes

;)

[lomeo.livejournal.com]

:-)

[thesz.livejournal.com]

Всё же, стоит заметить, что я только иногда бываю прав. ;)

На Lucky Starr не тяну, хотя и очень охота. ;)

[lomeo.livejournal.com]

спасибо за уточнение! поправляюсь: "ты, как иногда, прав!"

[thesz.livejournal.com]

А! Я понял! Ты издеваешься! ;)

[lomeo.livejournal.com]

Ты, как иногда, прав!

[potan.livejournal.com]

Прямо Рефал какой-то получается. Скоро дойдет до

isDup (x++x) = True
isDup _ = False

[lomeo.livejournal.com]

:-)) Кстати, идея!