да

не, это фигня

такую функцию частично не применишь

слишком узкое множество функций

Хотеть от хаскель вариардик это какое-то странное извращение

Иди на жс тогда пиши)

при чём тут жс?

такую функцию частично не применишь

можно

можно

так, хм

Не понятно зачем такое от хаскель требовать?

что значит требовать? хаскель это поддерживает

я даже выписал тип уже

Есть какой-нибудь стандартный тип данных, чтобы хранить функции произвольной арности a -> a -> a -> a -> ... -> a -> a?

пока придумалось такое data F a = N (a -> F a) | C a, например plus = N (\x -> N (\y -> C (x + y)))

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

чтобы самому не писать бойлерплейт

Глупости всякие)

при чём тут жс?

На Js такие вещи очень удобно делать. Кстати, на Эрланге тоже. Поддерживать - сплошное удовольствие.

Глупости всякие)

nuff said

я скорее смотрю в сторону Data.Fix

Хотеть от хаскель вариардик это какое-то странное извращение

у Олега было решение

но до этого не работал с этим модулем, вот разбираюсь

вообще там пара классов типов и все

у Олега было решение

Да, там с принтом

только аннотацию типов добавить, что уже значение нужно и больше аргументов не будет

я скорее смотрю в сторону Data.Fix

:D

не только с принтом, вон ради Лора я такую штуку с sum писал

cata cata cata cata hylo hylo :D

так, хм

потому что арность функции выводится из контекста использоавния

не только с принтом, вон ради Лора я такую штуку с sum писал

Какого Лора?

если сделать map (sumV 1 2) то он поймет, что ожидается Int -> Int но вообще да, это такое себе решение имхо, просто интересное

я бы массивом делал

пока придумалось такое data F a = N (a -> F a) | C a, например plus = N (\x -> N (\y -> C (x + y)))

проблема такого подхода в том, что ошибки арности будут в рантайме

хотя можно добавить фантомный счетчик как в идрисовекторах

но тогда в чем суть)

Да, там с принтом

может и ссылка завялалась?

может и ссылка завялалась?

Я с телефона, ну и на сайте Олега много чего

может и ссылка завялалась?

http://okmij.org/ftp/Haskell/polyvariadic.html#polyvar-fn

С телефона не ок все делать)

благодарю премного

Есть какой-нибудь стандартный тип данных, чтобы хранить функции произвольной арности a -> a -> a -> a -> ... -> a -> a?

[a] -> a

[a] -> a

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

по поводу частичного применения: partially :: ([a] -> b) -> [a] -> ([a] -> b) partially f args = \args' -> f (args <> args')

class (Monad m) => ConfigMonad m where getConfig :: m Config instance (Monad m) => ConfigMonad (ReaderT Config m) where getConfig = ask instance (ConfigMonad m) => ConfigMonad (ReaderT r m) where getConfig = lift getConfig При попытке вызова выдает Overlapping instances for ConfigMonad (ReaderT Config (ServerPartT IO))(инстансов всего 2), вроде бы с точки зрения математики тут никакого пересечения нет. Я что то не так делаю или это ограничение компилятора?

и если сделать newtype с GeneralizedNewtypeDeriving, быдет ли это лучше?

class (Monad m) => ConfigMonad m where getConfig :: m Config instance (Monad m) => ConfigMonad (ReaderT Config m) where getConfig = ask instance (ConfigMonad m) => ConfigMonad (ReaderT r m) where getConfig = lift getConfig При попытке вызова выдает Overlapping instances for ConfigMonad (ReaderT Config (ServerPartT IO))(инстансов всего 2), вроде бы с точки зрения математики тут никакого пересечения нет. Я что то не так делаю или это ограничение компилятора?

есть пересечение, ведь ConfigMonad тоже Monad лучше так наверное: class Monad m => MonadConfig m where getConfig :: m Config instance MonadReader Config m => MonadConfig m where getConfig = ask data SomeComplexConfig = SomeComplexConfig { config :: Config , meta :: Meta } instance MonadReader SomeComplexConfig m => MonadConfig m where getConfig = asks config

ну оно же ругается не на теоретически возможное пересечение

а на конкретное инстанцирование, в котором нет пересечения

есть, я же говорю

видимо меня нужно ткнуть носом как

второй инстанс перекрывает первый, так как ConfigMonad тоже Monad

клево

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

мало того, второй инстанс очень страннй

ты типа цепочку ReaderT делаешь

по моему в mlt вложенные ридеры вообще невозможны

а с чего бы им быть невозможными?

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

поому что MonadReader и фандепы, полагаю

(без newtype то же самое, не может сделать ask String, когда MonadReader Int)

сдается мне дело в GeneralizedNewtypeDeriving

ERROR: S client not available

я же написал, что без newtype то же самое

а ок

а какой самый правильный способ завернуть readerT в свой трансформер?

видел красивое решение mtl с фантомными метками-тегами, тогда можно вложенные ридеры (наверное типа ask @"number")

и всё-таки, почему конкретно мой код фейлит?

чисто из академического интереса

он же не может использовать второй инстанс так как констрейнт на втором инстансе не проходит

можете куда то направить в поисках материала чтобы научиться и заодно что то полезное написать на haskell. через поисковики быстро закончились материалы, вдруг что укажете новое

@patinity https://www.cardano.org/en/what-is-cardano/

@patinity https://www.cardano.org/en/what-is-cardano/

видел выступление Дениса Шевченко на эту тему, благодарю за ссылку, имеете в виду втянуться в это направление, как интересное и полезное? рассуждал с чего простого начать типа парсера что то такое чтобы обучиться хоть чему, криптография конечно любопытно, исходил до этого нужно еще что то уметь, благодарю за наведение на полезную мысль

втянуться имеет смысл во что-то, что будет использоваться ежедневно и/или приносить деньги. а писать парсер как бесцелевое упражнение - как напишете, так и забудете

Не согласен

Раскрывать мысль не буду, но @patinity посоветовал бы пилить то, что наиболее интересно самому.

видел выступление Дениса Шевченко на эту тему, благодарю за ссылку, имеете в виду втянуться в это направление, как интересное и полезное? рассуждал с чего простого начать типа парсера что то такое чтобы обучиться хоть чему, криптография конечно любопытно, исходил до этого нужно еще что то уметь, благодарю за наведение на полезную мысль

Для обучения можно курсы на стерике найти, можно что-то типа такого пописать "Write yourself a Scheme in 48 hours". Можно вот отсюда идеи черпать https://eax.me/programming-language-learning/

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

Раскрывать мысль не буду, но @patinity посоветовал бы пилить то, что наиболее интересно самому.

вы оба правы, благодарю

Для обучения можно курсы на стерике найти, можно что-то типа такого пописать "Write yourself a Scheme in 48 hours". Можно вот отсюда идеи черпать https://eax.me/programming-language-learning/

благодарю, такого до этого не встречал

Кто-нибудь пытался самостоятельно реализовать на хаскеле логику кольца вычитов?

Не могу придумать как их следать классом Number

просто хотел сделать поле Z_p и чет ума не приложу как реализовать

хотя казалось бы такой простой пример

ну поле Z_p и правда простой

p должен быть "произвольным"

Я просто не хочу таскать за собой постоянно знание о числе p.

Я просто не хочу таскать за собой постоянно знание о числе p.

почему?

data Z = Z (Int, Int) и вперед

Так то можно было бы сделать объявив data Zp = Z (Integer, Integer)

лишнее нагромождение

не кажется?

не кажется?

а как иначе