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

Привет. Пока отложил GPWH, прохожу курс про хаскелл на степике.

Задания там поинтереснее. Например:

Сколько разных всегда завершающихся функций с типом a -> a -> b -> a -> a можно реализовать?

Две функции одинаковой арности считаются разными, если существует набор значений их аргументов, на котором они дают разные результирующие значения.

Сначала я сразу ответил, исходя из описания типа, и такой ответ посчитали за правильный. Но на самом-то деле разве их не больше?

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

2 ответов

18 просмотров

тут подходит функция только одной арности заданная типом

Одно из основных свойств хаскеля - чистота всех функций, что включает в себя детерминированность, то есть однозначную зависимость результата от аргументов. Нетрудно догадаться, что функция, возвращающая рандомный аргумент, детерминированной не будет.

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

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

Мужики и девушки, привет) в В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
Карта сайта