Самое кайфовое, что можно на диск дампать структуры бесконечные, вроде xs = 1:xs

И в сеть пускать :-)

Как оттуда теперь получить при необходимости объект b?)

Я может не понимаю вопрос, но есть же getCompact?

Ну, ты получишь корневой объект типа a

А я хочу тот, который раньше был корневым - типа b

Так у тебя же остался старый Compact b.

К тому же ты можешь добавить (a, b) и получить Compact (a, b)

Ну это понятно

Я просто думал, что есть возможность брать из региона некорневой объект)

Ну, не страшно)

Я не совсем понимаю идею корневого объекта. Если я сделаю compactAdd, то у меня будет Compact a и Compact b, а регион один.

Так что доставать я могу любой из объектов из одного компакта.

На счет функций - у меня в них хранится меньшая часть данных. Можно пренебречь.

Да, понял.

Я почему то думал, что Compact b использовать уже нельзя)

Спасибо!

если уж совсем хочется функции, то можно использовать distributed-closure или distributed-static

и страдать с ними

мне обидно, что компакты не падали в compile time если там mutable bytearray внутри

а падали в runtime

и то, что все же с ними все равно нельзя в shared memory

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

Ну вообще изначально хотели сделать тайпкласс Compactable, но чет забили

Имхо зря

кто-то знает способ заставить cabal в Setup.hs выполнять какой-то код всегда, вне зависимости от того, менялись файлы проекта или нет - или может, в .cabal можно воткнуть нехаскельные зависимости, что бы он их трекал?

@qnikst ?

Сделайте скрипт просто на баше?

Каким пакетом хорошо CLI-аргументы парсить? Попробовал HFlags, выглядит вкусно, но он для какого-то TemplateHaskell оказался; uu-flags пойдёт? Желательно, чтобы сразу ключи читало, то есть не тупо список строк

Optparse applicative

optparse-applicative +1

hpack + Setup.hs FTW: extra-source-files: - frontend/src/*.elm - static/*.js main = DS.defaultMainWithHooks DS.simpleUserHooks{buildHook = buildHook'}

скрипт просто на баше это уныло

т.е оно может трекать нехаскельные зависимости

cabal вроде бы тоже так умеет. так что вот.

hpack тут причем? он же просто кабалфайл генерит

считается ли возвращение _|_ сайд эффектом?

считается ли возвращение _|_ сайд эффектом?

Кажется, что ты не понимаешь зачем хаскеллю вообще понадобился undefined undefined :: a undefined = error "Prelude.undefined"

Вроде как тут говорили, что да, является Ну и действия от него вполне тянут на сайд-эффект - терминация программы

Вроде как тут говорили, что да, является Ну и действия от него вполне тянут на сайд-эффект - терминация программы

А можно сказать, что все вычисления в Haskell подразумевают чистые вычисления, завёрнутые в монаду MaybeU a = JustU a | undefined ?

А можно сказать, что все вычисления в Haskell подразумевают чистые вычисления, завёрнутые в монаду MaybeU a = JustU a | undefined ?

нельзя

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

считается ли возвращение _|_ сайд эффектом?

не считается

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

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

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

и монада никому не должна, кстати

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

побочные эффекты кодируются структурой данных

а аппликейтив оно или монад или просто ыунктор это другой вопрос

считается ли возвращение _|_ сайд эффектом?

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

Кстати, а что за кайнд (* -> *) -> * ?

Можно пример такого типа?

не совсем то

data Free f a = Pure a | Free (f (Free f a))

(ну просто оно запомнилось применением своего аргумента, наверное есть и проще примеры)

Fix f = f (Fix f)

видимо то что нужно

Fix f = f (Fix f)

а где тут конструктор типа?

newtype Fix f = Fix { unFix :: f (Fix f) } deriving (Generic, Typeable)

хм, интересно:)

про функцию fix я читал, а вот про тип нет

data Q f = forall a. Q (f a)

data Q f = forall a. Q (f a)

откуда это?

сам написал, меня попросили я написал

аа

после знака равно может быть что угодно главное что f кайнда *->*, т.е. принимает тип и возвращает тип, который может быть значением

именно этот вариант не очень осмысленный, но можно придумать и осмысленный

у фикс как написано выше будет (*->*)->*->*

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

и.е. это не то

здесь forall это экзистенциальный тип?

вполне можно представить себе применение

ну да можно убрать и написать Q (f Int)

= Q (f Int)

ну если его до ко-йонеды довести но будут

data User f = User { userName :: f String }

у фикс как написано выше будет (*->*)->*->*

а откуда там второй аргумент?

или классов типов добавить

вот да про юзера лучше

User Identity - валидный, User (Either Err) - результат валидации

data Fix f a

не?

а блин туплю

норм

там Free f a а Fix от ненр

Вроде как тут говорили, что да, является Ну и действия от него вполне тянут на сайд-эффект - терминация программы

не все согласны ?

да определенно тут периодически всплывает что бесконечная рекурсия и андефайнед - сай эффекты

User Identity - валидный, User (Either Err) - результат валидации

норм

ну _|_ ломает referential transparency если я правильно понимаю

пример

(не ломает)

Кстати, как формализовать понятие "сайд-эффекта"? Как я не бьюсь, у меня получается, что сайд-эффектов нет, есть неправильная типизация

Кстати, как формализовать понятие "сайд-эффекта"? Как я не бьюсь, у меня получается, что сайд-эффектов нет, есть неправильная типизация

любое наблюдаемое изменение в мире, не отражённое в возвращаемом значении

E x. f x ≠ f x ?

любое наблюдаемое изменение в мире, не отражённое в возвращаемом значении

Это не формализация, во-первых, во-вторых такого просто не бывает, если мы мыслим через формализацию вычислений посредством lambda calculus

E x. f x ≠ f x ?

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

любое наблюдаемое изменение в мире, не отражённое в возвращаемом значении

Ты хотел сказать, что тип возвращаемого значения скрывает часть информации о нём :)

Т.е. это неправильная типизация

Если функция возвращает разные значения, значит она зависит от чего-то, что изменяется, значит есть сайдэффект

Что значит "вохвращаемые значения"? Процедурная чушь какая-то. Нет возвоащаемых значений, есть редукция терма (f x)