как я только ни пытался подставлять к id вот этот тип на этой же строчке, нифига не получается

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

Ты этот код пробовал в 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

теперь на prelude не ругается, но все то же

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

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

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

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

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

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

или что там

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

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

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

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

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

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

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

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

и понятен

Maybe task, т.е.

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

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

ну вот такой код, t тут будет конкретным инстансом я так думаю

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

https://telegram.me/scala_ru

благодарю

ну вот такой код, t тут будет конкретным инстансом я так думаю

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

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

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

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

ну вот такой код, t тут будет конкретным инстансом я так думаю

блин ну что за фигня, как к 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/ тред

сек

Ещё вариант

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