169 похожих чатов

Всем, кому еще не надоели вопросы про GPWH, привет. В 15.5

предлагается ввести type class Cipher, который "captures the general behavior of encoding and decoding messages".

class Cipher a where
encode :: a -> String -> String
decode :: a -> String -> String

data Rot = Rot

instance Cipher Rot where
encode Rot text = rotEncoder text
decode Rot text = rotDecoder text

И пример использования: encode Rot "Haskell".

Тут возникает два вопроса:

1. Раньше в книге в качестве аргументов передавались значения или функции. А тут (по-моему, в первый раз в книге) передается type constructor. (Убедился, что это именно он, путем переименования). Может быть, type constructor это функция? Но тогда Rot – это функция с нулевой арностью? Непонятно, почему про это ничего не сказано в книге, или я плохо читаю?
Если так, то и константы могут быть аналогичными функциями.

2. Сам пример выглядит как-то искусственно. Какой смысл в выделении general behavior, если пользователю функции все равно надо вручную указать некий "Rot". С тем же успехом можно знать, что надо вызвать rotEncoder.
Конечно, одна функция и аргумент, управляющий выбором конкретной реализации, это более гибкий подход, чем разные названия функций, но все равно "правильным", на мой взгляд, было бы автоматическое определение варианта реализации. Вот как у minBound, maxBound, например. Почему тут не сделано так?

--

Отдельный вопрос вызывает предлагаемая реализация xor, тоже могу запостить, если интересно

1 ответов

11 просмотров

тут передается data конструктор

Похожие вопросы

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
как быть с принтером? такой подход прокатит?
zamtmn
12
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Карта сайта