https://github.com/int-index/ether/blob/master/src/Ether/Internal/HasLens.hs#L17

откуда HasLens

есть те, кто применял. работает

не оставляет ощущение, что можно было более лучше

@int_index вероятно ты сталкивался

попытка сделать более лучше (transient) не работает

@int_index вероятно ты сталкивался

Я знаю про него, но не пользовался

вут?

Я знаю про него, но не пользовался

https://gist.github.com/s9gf4ult/f75b77a92cbc1677887a0547bf564e4e

я про это

я тут пытаюсь генерить инстансы для твоего HasLens

(не спрашивай зачем)

Я думал про cloud haskell

нет

ерунду писал выше

у меня воспроизводится

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

ок

Навскидку там var и con перепутаны

По сообщению об ошибке

это как?

вот такое сообщение B.hs:15:1: error: Illegal type variable name: ‘SomeApp’ When splicing a TH declaration: instance Ether.Internal.HasLens.HasLens B.Typ1 B.SomeApp B.Typ1 where Ether.Internal.HasLens.lensOf = lens B._taTyp1 (\s_0 a_1 -> s_0{B._taTyp1 = a_1}) | 15 | makeEtherHasLens ''SomeApp | ^^^^^^^^^^^^^^^^^^^^^^^^^^

я прикрепил комментом к гисту

аналогичное

genHasLens (VarT name) fields

гист обновил

Почему VarT

Там ConT

Если ''Rec

вот это я тупой

лан спасиб

Illegal type variable name variable VARIABLE

подозреваю, что фундеп Typ1 SomeApp -> Typ1 не выполняется

потому что у Typ1 не тот кайнд

Скорее всего Typ1 имеет не правильное представление в core

изза коерсов

я вот пожаловался, например, на Alexander Vieth из Well-Typed, который консалтит не пойми как и в коде страшные вещи наворотил, но в то же время не буду отрицать, что он умный, крутые вещи время от времени придумывает (вроде https://github.com/avieth/type-lambda), и в GHC полезные contributions делает, и т.д.

Тоже сталкивался с этим типом. Считает что DI в любом виде, даже Reader это мерзкая ООПщина и все нужно передавать ручками в лямбды до посинения

или в фундепах пробел не аппликация?

Тоже сталкивался с этим типом. Считает что DI в любом виде, даже Reader это мерзкая ООПщина и все нужно передавать ручками в лямбды до посинения

Именно так

подозреваю, что фундеп Typ1 SomeApp -> Typ1 не выполняется

В смысле, почему не выполняется?

В смысле, почему не выполняется?

потому что аппликация невозможна

я думал это тролинг ...

сорян

Так это не аппликация

У фандепов a b -> c это (a, b) -> c

Синтаксис такой

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

Но @A64m_qb0 должен радоваться, что символ сэкономлен

да, (a, b) -> было бы ужасно

Так и знал

Вот так срыв покровов.

остаётся мнение WT или IOHK послушать, чтобы обе стороны были..

твиг то скорее к снойману тяготит?

У фандепов a b -> c это (a, b) -> c

вот, спасибо

уважаемые мэйнтейнеры katip, а не могли бы пояснить отсутствие последнего в stackage?

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

А, вот оно что, спасибо

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

Там только еще надо будет пример подправить и доку немного

а может другие либы с катипом не собирается

тоже блокер для добавления в стакан

А рантайм GHC не собирает информацию вроде: сколько какой тред исполнялся? А то непонятно кто тормозит

А рантайм GHC не собирает информацию вроде: сколько какой тред исполнялся? А то непонятно кто тормозит

вроде профилировщик какие-то пламенные графики рисовать умеет

Надо почитать про него. Но в идеале хотелось бы обойтись без него

есть threadscope, есть ghc-events-analyze (правда он может сгнил уже)

для них билдить с профилировкой не надо эвентлога достаточно

http://www.well-typed.com/blog/2014/02/ghc-events-analyze/

Спасбо! Поиграюсь

А рантайм GHC не собирает информацию вроде: сколько какой тред исполнялся? А то непонятно кто тормозит

ghc-events же и eventlog

прикольная штука

его ещё можно как дешёвый трейсер использон

https://github.com/Fuuzetsu/ghc-prof-aeson-flamegraph есть

это про другое

это методы, а не треды

а, ну да

Сап двач, нуждаюсь в хелпе по небольшому таску (http://codeforces.com/gym/101845/problem/A), написал настолько же небольшой код

но он вылетает на 5 тесте))

хз мозги не работают, но хочу уже избавиться от него

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

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

(борется с желанием использовать лексику из /pr, а то и из /s)