да

в общем у AsJSON есть для String/ByteString инстанс

поэтому в ghci дефолтинг срабатывает

IsString есть и для Value, и для String

интересно, почему разные IsString не конфликтуют

если дефолтинг не сработает, будет не Nothing, а ошибка компиляции

у тебя именно Value выбирается

а почему они должны

в программе у меня value

т.к. там явно тип написан

в ghci простом тесте было string поэтому все работало

зачем у тебя явно Value написан, если ты из String _ :: Value не вытащишь key?

ну в программе то у меня Value бегает

для Value нельзя писать "{\"solution\":[1]}"

можно [aesonQQ| {"solution": [1]} |]

это ghci блин

я просто пытался понять откуда разница, теперь понятно

а как посмотреть default rules в ghci?

это ghci блин

а. ты проверил в ghci, всё работало, и ты перенёс строчку в файл?

нет

у меня был файл, в нём почему-то не работает

я включил ghci и стал разбираться, вижу что в функции возвращается Nothing

а примерно в том же примере в ghci Just

сначала разницы не видел почему так

теперь вижу

и оказывается все работало верно

но хоть тесты написал

хах

теперь с русскими буковами какая-то фигня

@petrodems будет жить. Поприветствуем!

Скорее всего нет, но всё таки, может есть ли какой-то аналог let конструкций, который можно применить на уровне типов?

можно ввести синоним типа в модуле, но не экспортировать его

Мне нужно что-то такое по функционалу: type family D a b where D a b = let x = P a b in (x, x)

type Pair x = (x, x) D a b = Pair (P a b)

А синоним типа на уровне модуля... нужно поробовать, что из этого можно вытащить.

Угу, благодарю, но выглядит как костыль :(

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

А если я хочу на них построить нормальные вычисления? Скажем меня интересуют не числа чёрча, а позиционные, чтобы можно было считать не за n от модуля, а за log от него же.

тогда пользуйтесь этими "костылями" или языками с более продвинутыми типами

для кого-то и let может выглядеть как костыль, ведь это всего лишь сахар над абстракцией и аппликацией

Ну так о том и речь, что нет локальной абстракции у типов

А если я хочу на них построить нормальные вычисления? Скажем меня интересуют не числа чёрча, а позиционные, чтобы можно было считать не за n от модуля, а за log от него же.

Скинешь потом?

У меня только сложение и умножение. А с отрицательными числами что-то не пошло :(

Плюс оно двоичное и задом наперёд.

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

Догадываюсь, что если спуститься с тайпфемелей на какие-то, например, Proxy, уже будет проще с тайп-синонимами

А на проксях можно строить функции на типах? Если да, то ссылку в студию ибо я жажду это зачесть.

Да мне не нужно верить в таких вопросах в отношении хашкеля. Я пока фантазирую прост. Может быть и нельзя

А я и не верю…

функторы опять набирают

интересно там опять требования как на 10 академиков

А на проксях можно строить функции на типах? Если да, то ссылку в студию ибо я жажду это зачесть.

не понял вопрос. Proxy — это всего лишь один из ADT

функторы опять набирают

ссылку дай, что ли

в твиттере глиминг ссылку на их сайт ночью опять постил http://www.functor.se/careers/openings/

с тем что набирают

У меня только сложение и умножение. А с отрицательными числами что-то не пошло :(

Я как-то делал знаковые целые в троичной логике https://github.com/Shimuuar/type-level-numbers

Так посоны, помню тут давали мне билдскрипт до тревиса

Можете повторить?

Уже не надо

cabal: The program 'ghc' version >=7.0.1 is required but it could not be found.

И снова здравствуйте

у hvr на гитхабе репа

@lightgreen будет жить. Поприветствуем!

@voidlizard Посмотрел https://www.youtube.com/watch?v=Ew8gl6WF9to&feature=youtu.be&t=2401 — как у вас дела с миграциями? Вы научились их нормально делать без того, чтобы все старые типы хранить в коде и версионировать все явно?

У меня просто в очередной раз мучения на тему “как нам обустроить базу данных в хаскеле”

ну в целом всё плохо

просто в каждом подходе по-своему

не именно в хаскелле с базами, а вообще с базами

миграции плохо у всех

могу рассказать как у нас сделано чтобы zerodowntime был

даже в случае не backward compatible миграций

но это ад ещё тот, я не уверен, что в другом проекте я хочу повторять

Да zero downtime даже и не нужен (и производительность не нужна), лишь бы было удобно кодить

У меня сейчас самописный TH для того, чтобы эти миграции генерить, и это тоже что-то неприятное (но safecopy я вообще не хочу, если уж на то пошло, потому что его только из хаскеля можно инспектить)

у нас вручную + версия в табличке

автогенерация ломается на каждый чих

но это делает версии линейными

но, в production они линейные

а локально у нас в nix-shell база пересоздается

и мигрирует куда надо

т.е. nix-shell и там start_db

в другой базе все на основе persistent и его миграций, но это говно

любые нетривиальные миграции он не осиливает

во время разработки (пока реальных юзеров не было) мы раза 4 дропали ту базу

сейчас надо ещё в одном проекте делать миграции и я даж не знаю что делать

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

с другой мерж веток изменяющих схему - сериализуется

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

поддерживаю

@nikiquark будет жить. Поприветствуем!

Колеги, в целях самообразования пытаюсь переписать следующую функцию из do-нотации на операторный лад