https://gist.github.com/ndtimofeev/582eb... — предлагаю небольшую игру. Суть игры в том, что вы будете пытаться доказать мне что реализация легковесных регионов по ссылке неполноценна и надо взять regions, а я буду вносить правки в gist и делать вид что так и было.
2017-11-25 16:00:36

Участники:
@qnikst - 7, @ndtimofeev - 4

@qnikst
как запромоутить res' в внешний регион тут?
#2890527/1 2017-11-25 18:01:43
@qnikst
22 type family TEQ (a :: * -> *) (b :: * -> *) :: Bool where 23 TEQ m m = True 24 TEQ m1 (IORT s m2) = False не так давно не работало, интересно, что у тебя выводится
#2890527/2 2017-11-25 18:09:27
@qnikst
но вообще это верный путь
#2890527/3 2017-11-25 18:19:12
@ndtimofeev
Не очень понял как должна работать эта тупофамилия. Покажи контекст использования? Алсо ghc 8.2.1.
#2890527/4 → /2 2017-11-25 18:21:50
@qnikst
эта штука проверяет что два стека эквивалентны, с этим не надо вводить промежуточные Trans
#2890527/5 → /4 2017-11-25 18:27:49
@qnikst
https://ghc.haskell.org/trac/ghc/attachment/ticket/9918/Minimal.2.hs
#2890527/6 → /4 2017-11-25 18:28:35
@ndtimofeev
Стоп. Trans у меня существует исключительно для того чтобы показать, что наличие промежуточного трансформера не мешает обращаться к ресурсу.
#2890527/7 → /5 2017-11-25 18:29:12
@qnikst
покажи, что как что-то использующее ресурс, а не тупо touch работает, проблемы там были с подъемом операции
#2890527/8 → /7 2017-11-25 18:33:49
@ndtimofeev
Бамп. Хотя Dup мне не нравится поскольку нельзя явно запретить утекание конкретного ресурса из региона.
#2890527/9 → /1 2017-11-25 20:38:13
@ndtimofeev
Бамп? Или ты хочешь что-то другое?
#2890527/10 → /8 2017-11-25 21:31:35
@qnikst
не совсем то хотел, но ок, завтра продолжу
#2890527/11 → /10 2017-11-25 21:48:16