:D

После этого: stack install —resolver lts-7 codex

пришлось еще добавить в extra-deps: machines-io и machines-directory чтоб собралось

Зависимости кодекса?

угу

А покажи свой extra-deps?

Если кодекс собрался, попробуй снова поставить HVN

Если кодекс собрался, попробуй снова поставить HVN

угу как раз это и делаю

А покажи свой extra-deps?

ну вот там лишь кодекс и две его зависимости

хотел сказать спасибо большущее https://artyom.me, если он тут, за замечательную статью про aeson

Да, там прямо хороший разбор по косточками

а почему hlint/ghc-mod не ловит некоторые ошибки, например типы ф-й и типы того что они фактически возвращают? Компиляция ломается, а iDE молчит. В то же время ошибки синтаксиса подсвечиваются

А кто тебе ошибку выдаёт?

Ты этот код пробовал в ghci загружать?

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

Ха

Оно ж конфликтует с id из Prelude

Я в сообщение вчитался

Я тоже

Оно ж конфликтует с id из Prelude

Ну и еще с id в тройке других записей в этом же модуле. Дело в том ведь что DuplicateRecordFields позволили мне это определить в одном файле, но как теперь недвусмысленно референснуть один из них тут же?

"the renamer will determine which is meant at use sites."

походу оно само как-то должно

https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields тут написано, Вроде, как можно, а как нельзя

с селекторами просто так все равно нельзя, походу(

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

Вот на SO пост объясняет проблему, и в ответе вроде вариант который должен работать, но нифига подобного: https://stackoverflow.com/questions/37395098/how-to-disambiguate-selector-function

а если сделать import Prelude hiding (id) ?

https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields тут написано, Вроде, как можно, а как нельзя

Да читал, но там многовато сложного спича и ноль примеров для нуба ?

чтобы id из прелюда не вылезал

и конфилик был только с твоими объявленными под DuplicateRecordFields функциями

конфликт*

а если сделать import Prelude hiding (id) ?

Спасибо, попробую

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

во всех сорцах включена прагма DuplicateRecordFields

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

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

Я тоже парсил чужой, но просто руками писал инстансы fromJSON в таком случае. Не очень удобно, но у меня и приложение не очень большое было

дык, вроде (id t :: Int)

или что там

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

по-моему нет. Насколько я понял, эта штука работает так - если из контекста понятно, из какого рекорда ты функцию используешь, то на этапе компиляции ее переименовывают вместе со всеми использованиями. А если не понятно, то извиняй, чет не вышло)

id t попробуй в скобки взчть

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

А попробуй сюда функцию полностью выложить

Там компилятор есть откуда тип t вывести?

ну судя по верхним скринам, там кейс по Maybe t

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

и понятен

Maybe task, т.е.

Там на скрине выше в case стоит Just t а потом обращается к st

тогда застыли в ожидании кода)

подкиньте группу по Scala

https://telegram.me/scala_ru

благодарю

Хотелось printf или забыто (++)?

Ребят, кто понял теорию категорий?

Ребят, кто понял теорию категорий?

Зачем тебе это?

блин ну что за фигня, как к id то обратиться тут?

Там printf надо

Тв спрятал id из Prelude?

Тв спрятал id из Prelude?

угу

И что теперь пишет?

И что теперь пишет?

ну тож самое: Ambiguous occurrence ‘id’ It could refer to either the field ‘id’, imported from ‘VKAPI’ at app/Harvester.hs:34:1-22 or the field ‘id’, imported from ‘VKAPI’ at app/Harvester.hs:34:1-22 or the field ‘id’, defined at app/Harvester.hs:59:28 or the field ‘id’, defined at app/Harvester.hs:51:3

Очень странно

Я проверял у себя

Все норм

Это ты stack build запустил?

ага, ghc-mod то же самое

Похоже что у тебя не 8

Но я помню что ты говорил что 8

у меня 2 типа с id в этом же самом файле, и 2 типа с id из VKAPI, во всех файлах включено {-# LANGUAGE DuplicateRecordFields #-}

8.0.1

Агп

а какой сейчас тип у id? раз ты спрятал его из Prelude

Так не прокатит

>stack ghc — —version >The Glorious Glasgow Haskell Compilation System, version 8.0.1

Оно только в пределах 1го модуля может быть

Хотя погоди

Странно это все

угу, странно

вот в этом треде расписан именно такой же пример с которым у меня проблема, но ОП пишет внизу следующее: Of course it can easily be fixed by adding a type annotation but ideally I would rather not use such an annotation in this case. Не вдупляю как еще можно добавить аннотацию типа к id.

А попробуй в модуле vkapi

Написать функцию которая к id обращается

вот в этом треде расписан именно такой же пример с которым у меня проблема, но ОП пишет внизу следующее: Of course it can easily be fixed by adding a type annotation but ideally I would rather not use such an annotation in this case. Не вдупляю как еще можно добавить аннотацию типа к id.

https://www.reddit.com/r/haskell/comments/4vejt3/unable_to_infer_type_when_using/ тред

сек

Ещё вариант

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

И в него за импортить эти два

А потом этот модуль уже за импортить туда где ты хочешь им воспользоваться

Написать функцию которая к id обращается

Ambiguous occurrence ‘id’ It could refer to either the field ‘id’, defined at src/VKAPI.hs:118:3 or the field ‘id’, defined at src/VKAPI.hs:93:3

Та беда