все норм работало пока не понадобилось работать с более чем 1 типом данных из JSON, в котором есть поле id...

может я конечно не о том, не понимаю, у вас там id переопределен, по синтаксису это должна быть функция, (id t) функция которая действует справа на строку, вы уверены в определении самой функции?

А почему print а не printf

?

А почему print а не printf

а уже на printf заменил, не вижу особо разницы

Ну ок

putStr тож работает ?

Даже не знаю что сказать

У меня точно работало

так типы не сходятся

?

я не знаю какой тип у printf, но print :: Show a => a -> IO ()

Он же там выше явно тип указал

А, про это

Ну уже ж заменил

А ам выше явно указал Maybe wall

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

все равно после $ все будет вычисляться, а там стоит выражение типа СТРОКА ЧИСЛО

А проекта нету где-то на гитхабе?

не сорян

Ну доллар с принтф реально убрать можно

Но ошибка наверное другая бы была

уже убрал, но оно не влияет ни на что наверное

попробуй скобки убрать

вместе с внутренностями

в качестве теста (а то как сарказм выглядит)

Пословиц для этого прагма не нужна

Оно по дэфолту включено

а п

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

а printf он откуда

data Wt = Wt {id :: Int} wt = Just Wt {id = 1} case wt of Just x -> id x Nothing -> 0

так работает

Text.Printf

data Wt = Wt {id :: Int} wt = Just Wt {id = 1} case wt of Just x -> id x Nothing -> 0

только у меня вот такая ситуация: data Zt = Zt {id :: Int} data Wt = Wt {id :: Int} wt = Just Wt {id = 1} case wt of Just x -> id x Nothing -> 0

Вот это не соберется из-за ambiguous occurence test {-# LANGUAGE DuplicateRecordFields #-} data A = A { test :: String } deriving Show data B = B { test :: String } deriving Show testme = putStrLn $ test (A 32)

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

(\(Wt i) -> i)

то же самое(

без id

(\(Wt i) -> i)

вот так

у t какой тип сейчас

можешь сказать?

WallTask

data WallTask = WallTask { id :: Int } deriving (Show, Generic)

значит вместо этой скобки попробуй $ (\(WallTask i) -> i) t

хммммммм. Ошибка пропала, на этой строчке все теперь ок. Только теперь оно будет принтить саму структуру похоже

ошибка была, видимо, из-за того, что компилятор не понимал id из какого контретно типа применять

ошибка была, видимо, из-за того, что компилятор не понимал id из какого контретно типа применять

угу, он это собсно и писал в сообщении об ошибке

только как теперь id то достать

ничего не поделаешь, теперь t может быть только определенного типа всегда, ну по другому и быть не может вообще

еще можно вместо того что добавил попробовать id (t :: WallTask)

только как теперь id то достать

та лямбда-функция что в скобках достает твое id

еще можно вместо того что добавил попробовать id (t :: WallTask)

офигеть. вот это я и искал ?

делал раньше вот так: Just t -> printf "[+] Parsing wall %d\n" id (t :: WallTask) а нужно было вот так: Just t -> printf "[+] Parsing wall %d\n" $ id (t :: WallTask)

=)

мдауш, ну спасибо, у меня нет слов

спасиб канеш

но ты первый чел кому с хаскелем помог!!! ?

хехех

ровно то же самое - ambiguous occurence id

проще всего id переименовать

если можно

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

да и идти по легкому пути не охота ?

если ты о строке 147, то надо t с объявлением типа в скобки взять

ну а добавить функцию которая берет id

а вообще я думаю, когда писал функцию decode не указывал ее полный тип

если ты о строке 147, то надо t с объявлением типа в скобки взять

да и правда

ой нет, вижу. тут я нерпав

со строкой 151 разобрался?

со строкой 151 разобрался?

угу!

?

интересно, мне hlint предлагает упростить (id (t::FriendTask)) до (t :: FriendTask)

попробуй!

это наверное потому что в нем одно лишь поле id, и show t эквивалентен show id?

это наверное потому что в нем одно лишь поле id, и show t эквивалентен show id?

вроде как нет

а что ты пишешь? Это что будет?

г-ди, собралось! пушка!

а что ты пишешь? Это что будет?

кравлер данных для вконтакта

Воскрес.

г-ди, собралось! пушка!

как?

а что ты пишешь? Это что будет?

я в принципе все написал и работало нормально с одним типом объектов из апи, потом обнаружил что в GHC 8 есть DuplicateRecordFields и вроде как можно в одном модуле определять дубликаты. Пердолился с переустановкой stack/ghc/ghc-mod/ide, и вот застрял на том как обратиться к этим дублированным полям типов. Оказалось что не хватало $ в printf ?

осталось еще CircleCI настроить чтоб бинарник из main автоматом как-то пушился на все машины, и будет ништяк

я в принципе все написал и работало нормально с одним типом объектов из апи, потом обнаружил что в GHC 8 есть DuplicateRecordFields и вроде как можно в одном модуле определять дубликаты. Пердолился с переустановкой stack/ghc/ghc-mod/ide, и вот застрял на том как обратиться к этим дублированным полям типов. Оказалось что не хватало $ в printf ?

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

ну сорри, я просто взволнован

знакомо =)

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

да, я тоже очень много времени экономлю с такой системой

не приходится постоянно перепроверять и тестить на всем подряд

угу. Слегка напрягает лишь непрозрачность компилятора, я не понимаю как он работает. Особенно STM и все что связано с конкурренси/параллелизмом. Вот например я воспользовался либой amqp, и вышло так что 50 параллельных воркеров грузили два ксеона Е5-4650 на 100%, и сообщения доставлялись внезапными очередями. Лишь потом случайно нашел крупными буквами в доках заметку о том, что реюзать один канал в разных тредах нельзя.

и интересно, все равно собираешь ли ты бинарник с -threaded или нет, ни разу не видел чтоб процессы форкались средством ОС. Нужно наверное еще читать и читать.

я с такими задачами не работал