т.е. нету неявного параметра для типа

это как с let x = 5, sprint x x = _, и let x = 5 ::Int sprint x x = 5

undefined это _|_, не?

особенности реализации? надо компилять в корку без оптимизашек и там понятно будет

Prelude> let x = (Just 4, False) Prelude> :sprint x x = (Just 4,False)

Prelude> let x = (Just 4, False) Prelude> :sprint x x = _

(True, undefined) :: forall a . (Bool, a) (True, undefined::Int) :: (Bool, Int)может просто в первом случае ему не хватает "пустой дикт"?

@optician_owl у тебя 4 это функция я поэтому Bool и использую

(,) True _ - это thunk с конструктором. а (True, _) - слабая голова

Prelude> let x = (Just (+(1::Int)), False) Prelude> :sprint x x = (Just _,False)

(,) True _ - это thunk с конструктором. а (True, _) - слабая голова

вот это похоже на правду

ну не thunk, а ap

ну да

ладно лучше дальше работать буду

Leonid в общем-то тогда (Int,undefined::Int) и (Bool, Bool) сходятся

но какого черта он сразу whnf делает

там же код это let a = .. ; b = .. in (,) a b

жалко sprint thunk от функции не отличает

Whnf потому что CAF?

возможно

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

undefined это функция

undefined is not a function

а какой сейчас последний ghc в nix ?

А кто-нибудь уже пользовал compact regions?

Я с ними экспериментировал. Они работают.

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

но какого черта он сразу whnf делает

strictness analysis?

Такой уж ли фатальный?

Ну если у тебя в данных функций нет, то не такой уж.

@cblp_su сомнительно, особенно в ghci

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

Оно умеет шейринг сохранять

Я просто сейчас не оч втыкаю как с ними работать.) То есть вот есть компактный регион(compact b) ты к нему прибавил что-то типа a и получил IO (compact a)

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

Самое кайфовое, что можно на диск дампать структуры бесконечные, вроде 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 ?

нельзя

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

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

не считается

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

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

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

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

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

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

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