Как вы делаете универсальное программирование на Haskell?

Это тесно связано с вашим другим вопросом о Haskell и быстрой сортировке. Я думаю, вам, вероятно, нужно прочитать хотя бы введение книги о Haskell. Звучит так, как будто вы еще не поняли ключевой момент, а именно то, что он запрещает вам изменять значения существующих переменных.

Обмен (как он понимается и используется в C++) по своей природе связан с изменением существующих значений. Это значит, что мы можем использовать имя для ссылки на контейнер и заменять этот контейнер совершенно другим содержимым, а также настраивать эту операцию так, чтобы она была быстрой (и без исключений) для определенных контейнеров, что позволяет нам реализовать подход «изменить и опубликовать». (крайне важно для написания безопасного от исключений кода или попытки написать код без блокировки).

Вы можете написать общий обмен на Haskell, но он, вероятно, будет принимать пару значений и возвращать новую пару, содержащую те же значения с перевернутыми позициями, или что-то в этом роде. На самом деле это не одно и то же, и не то же самое использование. Нет никакого смысла пытаться специализировать его для карты, копаясь внутри этой карты и меняя местами ее отдельные переменные-члены, потому что вам просто не разрешено делать подобные вещи в Haskell (вы можете сделать специализацию, но не модификация переменных).

Предположим, мы хотим «измерить» список в Haskell:

measure :: [a] -> Integer

Это объявление типа. Это означает, что функция measure принимает список чего угодно (a является параметром универсального типа, поскольку начинается с буквы нижнего регистра) и возвращает целое число. Так что это работает для списка любого типа элемента - это то, что можно было бы назвать шаблоном функции в C++ или полиморфной функцией в Haskell (не то же самое, что полиморфный класс в C++).

Теперь мы можем определить это, предоставив специализации для каждого интересного случая:

measure [] = 0

то есть измерьте пустой список, и вы получите ноль.

Вот очень общее определение, которое охватывает все остальные случаи:

measure (h:r) = 1 + measure r

Бит в скобках на LHS — это шаблон. Это значит: возьми список, оторви голову и назови его h, оставшуюся часть назови r. Затем эти имена являются параметрами, которые мы можем использовать. Это будет соответствовать любому списку, в котором есть хотя бы один элемент.

Если вы пробовали метапрограммирование шаблонов в C++, все это будет для вас старым, потому что оно включает в себя точно такой же стиль - рекурсия для выполнения циклов, специализация для завершения рекурсии. За исключением того, что в Haskell это работает во время выполнения (специализация функции для определенных значений или шаблонов значений).

Как говорит Эрвикер, в Haskell этот пример не так важен. Если вы все равно хотите его получить, вот что-то похожее (поменяйте местами две части пары), c&p из интерактивного сеанса:

GHCi, version 6.8.2: http://www.haskell.org/ghc/  :? for help
Loading package base ... linking ... done.
Prelude> let swap (a,b) = (b,a)
Prelude> swap("hello", "world")
("world","hello")
Prelude> swap(1,2)
(2,1)
Prelude> swap("hello",2)
(2,"hello")

В Haskell функции максимально общие (полиморфные) — компилятор выведет «наиболее общий тип». Например, пример подкачки TheMarko является полиморфным по умолчанию при отсутствии сигнатуры типа:

*Main> пусть swap (a,b) = (b,a)
*Main> :t swap
swap :: (t, t1) -> (t1, t)

Что касается частичной специализации, у ghc есть расширение, отличное от 98:
file:///C:/ghc/ghc-6.10.1/doc/users_guide/pragmas.html#specialize-pragma

Также обратите внимание на несоответствие терминологии. То, что в C++, Java и C# называется универсальным, в Haskell называется полиморфным. «Универсальный» в Haskell обычно означает политипный: http://haskell.readscheme.org/generic.html
Но, прежде чем я использую C++ значение универсального.

В Haskell вы должны создавать классы типов. Классы типов не похожи на классы в объектно-ориентированных языках. Возьмите класс типа Numeric. В нем говорится, что все, что является экземпляром класса, может выполнять определенные операции (+ - * /), поэтому Integer является членом Numeric и обеспечивает реализацию функций, необходимых для того, чтобы считаться Numeric, и может использоваться где угодно. Ожидается цифра.

Скажем, вы хотите иметь возможность работать с Ints и Strings. Затем вы должны объявить Int и String экземплярами класса типов Foo. Теперь везде, где вы видите тип (Foo a), теперь вы можете использовать Int или String.

Причина, по которой вы не можете добавлять целые числа и числа с плавающей запятой напрямую, заключается в том, что add имеет тип (числовой a) a -> a -> a a является переменной типа и, как и обычные переменные, может быть привязан только один раз, поэтому, как только вы привязываетесь это Int каждый a в списке должен быть Int.

Прочитав достаточно в книге Haskell, чтобы действительно понять ответ Эрвикера, я предлагаю вам также прочитать о классах типов. Я не уверен, что означает «частичная специализация», но похоже, что они могут быть близки.