уже было, ладно

меня можно игнорировать

Ну да, аккумулятор вторым аргументом. Это я тупанул :)

Вижу a -> x -> x, и в голове "x - элемент, a - accumulator", а на результат не посмотрел

Тупая задачка: как сгенерировать число из неповторяющихся цифр?

Сгенерировать перестановку и взять первые N цифр?

Наверно хаскеллистов специально учат такие задачи решать.

Или она слишком тупая.

Тупая задачка: как сгенерировать число из неповторяющихся цифр?

f :: Int -> Int f i | i < 1 = 0 | otherwise = f (i - 1) * 10 + i ?

Тупая задачка: как сгенерировать число из неповторяющихся цифр?

Взять множество цифр S, N взять равным len(S) (основание системы счисления), взять произвольное L от 1 до N, потом пройтись от 1 до L, выбирая произвольный элемент из S и прибавить его к умноженной на N "заготовке"

f :: Int -> Int f i | i < 1 = 0 | otherwise = f (i - 1) * 10 + i ?

Что-то совсем странное.

f :: Int -> Int f i | i < 1 = 0 | otherwise = f (i - 1) * 10 + i ?

А где рундом?

а там было чет про рандом?

read "1234567890" :: Int

а там было чет про рандом?

Есди бы не было, то просто 1234567890

Не было, но подразумевалось. У тебя все равно с цифрами проблемы.

Есди бы не было, то просто 1234567890

ну я так и сделал, просто позволил указать длину числа, так как понял именно это под "сгенерировать"

возьми калькулятор числа пи

там есть повторяющиеся цифры :)

перемешать [0..9] и взять любой длины слайс?

подразумевается, что больше 9 никто не введет)

перемешать [0..9] и взять любой длины слайс?

так тоже будут повторы же

Откуда?

не будет

"перемешать" же

"перемешать" же

010 - тут нуль два раза

Взять множество цифр S, N взять равным len(S) (основание системы счисления), взять произвольное L от 1 до N, потом пройтись от 1 до L, выбирая произвольный элемент из S и прибавить его к умноженной на N "заготовке"

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

Попахивает джавой)

010 - тут нуль два раза

В [0..9] нет повторов

а, стоп, точно

Перемешать == сделать сколько-то попарных перестановок :)

На пейтоне это выглядело бы так: >>> l = list(range(10)) >>> random.shuffle(l) >>> l[:4] [1, 4, 0, 5] :) В хаскелепакетах наверняка есть shuffle для вектора или массива

На пейтоне это выглядело бы так: >>> l = list(range(10)) >>> random.shuffle(l) >>> l[:4] [1, 4, 0, 5] :) В хаскелепакетах наверняка есть shuffle для вектора или массива

Вы извращенцы решать задачу, которая за nlogn решается, за квадрат???

лолл

В данном случае это экономия на спичках :)

Пока цифры - десятичные :)

как за nlogn

хистопрепроморфизмом с проверкой имеющихся как естественное преобразование

"проверка имеющихся", это n^2 не?

я не об этом

был бы не с телефона — попробовал

хотя не, не думаю, что она под nlogn пойдёт

Можно ещё "n раз выбирать из мешка с m неповторяющимися цифрами без складывания выбранных цифр назад"

Тогда проверять имеющиеся будет не нужно

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

Вы извращенцы решать задачу, которая за nlogn решается, за квадрат???

А что shuffle за n^2 работает? Или где там n^2?

random.sample(population, k) Return a k length list of unique elements chosen from the population sequence or set. Used for random sampling without replacement.

чото я опоздал

import qualified Data.Set as Set decodePerm::Integer->Integer decodePerm x = snd $ foldr go ((Set.fromList [0..9], x), 0) [10, 9..1] where go i ((digs, code), num) = let (code', fromInteger -> d) = code `divMod` i dig = Set.elemAt d digs digs' = Set.deleteAt d digs num' = num * 10 + dig in ((digs', code'), num')это за n log n?

перемешать [0..9] и взять любой длины слайс?

а, вот, на выходе же список. Весь мой код - это по сути склеивание цифр в число

mconcat $ map show можно чуть короче написать как foldMap show

все окончательно записался в fpconf

mconcat $ map show можно чуть короче написать как foldMap show

Какие-нибудь IDE для х-ля умеют такое подсказывать? 🤔

есть шанс что hlint

Какие-нибудь IDE для х-ля умеют такое подсказывать? 🤔

hlint может только для конкретного правила, то есть если в его конфиге есть правило: заменять mconcat $ map f на foldMap f, тогда может. И если IDE подсвечивает подсказки hlint, тогда и IDE может. Проверил сейчас на дефолтном конфиге: такого правила там нет.

Можно в хаскеле объявить абстрактный тип и его реализацию в другом модуле? что-то типа такого: module A where data X class MyClass a where a :: X -> a —- module B where import A data X = X String instance MyClass String where a (X v) = v

можно, но это новая фича с ghc 8.2 и cabal 2, больше нигде работать не будет

К стаку это прикрутить можно?

нет

печаль(

хотя, если все это используется в одном пакете то может и можно

использовать семейства тут нельзя?

а как предполагается это использовать-то?

использовать семейства тут нельзя?

я пока не в курсе за семейства)

т.е. вот как эти модули потом используются?

а как предполагается это использовать-то?

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

т.е. вот как эти модули потом используются?

импортится модуль с классами и модуль с типами

для этого еще можно использловьб многоаргументные тайпклассы

там уже достаточно толстая иерархия, не хочется ещё один аргумент добавлять к уже и так не малому списку

можно же тип X сделать ассоциированным

?

вот это вот^

не понял про отделение реализации от интерфейса

class Foo a where data X a :: * ...

я тоже не понял, если честно

но associated type with class вроде делают, то что надо

type вместо data если неинъективно надо

да это просто задел на возможность простого расширения без изменения тайпклассов

class Foo a where data X a :: * ...

ща попробую