в итоге у тебя во внутреннем цикле не хранится ссылка на разворачиваемую функцию, а на обертку fix

у Ромы был пост про двойной цикл

с выводом AAAA ужас

а использовал бы fix - сразу все хорошо

я раньше использование фикс видел только в докладе у spj

там он предложил в ghci ввести fix error

а за последнеюю неделю уже 2 послезных кейса увидел

я постоянно вижу полезные кейсы, потом смотрю результат и переписываю на let :(

у Ромы был пост про двойной цикл

Это: https://ro-che.info/articles/2017-01-10-nested-loop-space-leak ?

+

worker написанный с fix просто работает

там он предложил в ghci ввести fix error

зачем?

/home/basov/ldap syslog1.mon.m

бери и удаляй

я попробовал положить поле в userPKSC или как там его

и в userMIME..

там и там можно спокойно держать ключ

ты хотел поле? Вот оно и есть

это реально работает всё?

такое впечатление что автор Jose делал всё что-бы из репла было невозможно использовать его апи

я когда выбирал библиотечку для jwt

я в какой-то ад попал

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

там ключи из файла вычитать уже проблема

сраный ад

MonadTime

вот что мешает ему брать всё это в аргументах? Нет, сделай мне монадку

но я вроде выбрал что-то без MonadTime

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

jose судя по jwt.io больше умеет

а ещё его сервант его использует

я сначала jwt использовал но как на сервант перешли, перевел все на jose

а в ghci же IO

для его есть инстанс MonadTime?

да

я вот тоже на jose

я кстати пока так и не прикрутил чтобы ключи из файлов вычитывать

для его есть инстанс MonadTime?

А ещё инстанс JWKStore и MonadError e m, AsError e

ну разве что тебе runEitherT надо сделать

А {-# INLINE somefunc #-} только на внешние функции может подействовать? На те, что в where, он же не действует? В компиляторе 8.0.2

угу

ну разве что тебе runEitherT надо сделать

ну а нормально можно было бы сделать verify :: JWKStore s, HasWhatever a => UTCTime -> s -> a -> ClaimSomething -> Either Error Whatever

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

+

По какому же тогда принципу раскиданы модули в Control.* и в Data.* в Haskell Hierarchical Libraries? Если выше писали, что список, Either, Maybe это control структуры, но там они всё же в Data

ни по какому, примерно аналогичные библиотеки есть и в Control и в Data, к примеру lens и data-lens, foldl и folds

А при помощи Template Haskell можно же сгенерировать прагмы? Например, сгенерировать someFunc и к ней {-# INLINE someFunc #-}?

PragmaD Pragma { {-# INLINE [1] foo #-} }

https://hackage.haskell.org/package/template-haskell-2.13.0.0/docs/Language-Haskell-TH-Syntax.html#t:Dec

Спасибо

https://hackage.haskell.org/package/template-haskell-2.13.0.0/docs/Language-Haskell-TH-Syntax.html#t:Pragma

ни по какому, примерно аналогичные библиотеки есть и в Control и в Data, к примеру lens и data-lens, foldl и folds

Но какая-то логика же предполагалась? Хотя бы изначально

Да я просто с TH мало сталкивался, сейчас предстоит волнующее погружение...

на сайте описано было где-то

я не представляю разумного описания

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

Подскажите, а с помощью stack можно билдить под другую платформу? А то распберри слишком долго собирает

тут даже не в стеке вопрос, вроде с кросскомпиляцией все плохо было, но я лично с ней не сталкивался

Подскажите, а с помощью stack можно билдить под другую платформу? А то распберри слишком долго собирает

А эмуляторы этой архитектуры есть? Можно попробовать в них собрать на быстрой машине.

А эмуляторы этой архитектуры есть? Можно попробовать в них собрать на быстрой машине.

Звучит как костыль) А что искать - эмулятор процессора или всего устройства?

Подскажите, а с помощью stack можно билдить под другую платформу? А то распберри слишком долго собирает

взять кросскомпилятор отсюда http://hackage.mobilehaskell.org/ (это все сильно экспериментально), указать стеку чтоб пользовался им

но это скорее всего не сработает

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

а чтоб его использовать надо new-build

https://wiki.haskell.org/Raspberry_Pi (впрочем там похоже старьё совсем)

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

"официальные" ghc собирают для той платформы на которой работают

т.е. "официально" никакой кросскомпиляции для гхц нет

И за это мы порицаем

И негодуем

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

Это: https://ro-che.info/articles/2017-01-10-nested-loop-space-leak ?

Там в poll ошибка. Его надо писать как poll = let x = return () >> x in x тогда всё это компилируется в цикл без аллокаций ну или через fix. В forever точно такая же прроблема была

А почему компилятор не может догадаться poll = return () >> poll в цикл превратить?

Не знаю. Наверное он недостаточно умный

А унас точно нет никакого способа поднимать значения на уровень типов?

Чтобы

type A 1 = Int

type A 2 = Char

???

синглетонс

можно взять в качестве 1 и 2 числа черча, сделанные из типов

в порядке наркомании

синглетонс

И я их смогу считывать динамически?

можно взять в качестве 1 и 2 числа черча, сделанные из типов

Почему наркомания, рабочая схема...

для для чисел-то и singletons не надо, это из коробки есть уже

хмммм

GHC.TypeLits

а сделаю ка я себе тип "число от A до B" на числах черча

чисто поржать

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

можно с Nat но это ад ещё тот и тоже неюзабельно

проще взять LiquidHaskell там человечно все

так ради наркомании

Не ну мне нужно что-то вроде... data T where T :: C t => t -> T data T1 = T1 data T2 = T2 class C t where fromInt :: Int -> t instance C T1 instance C T2

s/fromInt/fromNat/

а потом имея Int так хоп (decode :: T)