A
Size: a a a
2020 May 04
AV
Задумался что с последними выходками Маска скоро спам с ним станет правдой...
что там?
AA
после 7.8 и перехода GND на коэрсы он много для чего не работает (впрочем, я особо не вчитывался)
MK
Хорошо что у нас есть археолог
AA
ето не археология, я в этом культурном слое жил
MK
А...
JS
Они оба один и тот же используют, судя по исходникам
Там копия, определённая в другом месте, получается несовместимо
JS
Почти как плюсы
Когда это плюсы научились структурировать ошибки?
2020 May 05
АГ
Всем привет! Я заскочил вас повидать и запостить мою новую большую статью:
"Hierarchical Free Monads: The Most Developed Approach In Haskell (And The Death Of Final Tagless)"
https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell
"Hierarchical Free Monads: The Most Developed Approach In Haskell (And The Death Of Final Tagless)"
https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell
АГ
Статья местами дискуссионная, местами провокационная. Иногда философская, и даже художественная, но все же техническая. Надеюсь, каждый найдет в ней что-то полезное для себя.
MK
А стихи есть?
A
АГ
А стихи есть?
Новые? В этом году туговато :(
АГ
AV
Хочу сделать так, чтобы тип проверялся, но при этом не выводился из конекста, т.е. так, чтобы функцию нужно было явно аннотировать типом. Как бы это сделать?
Можно было бы ввести обёртку
Так что может есть идеи получше?
Можно было бы ввести обёртку
f :: forall s . Params x, тогда x будет выводиться из окружения, а s нужно будет фиксировать. Но мне в этом случае надо как-то проверять, что s=x.Так что может есть идеи получше?
YS
Первое что пришло в голову - type equality
YS
Когда увидел про "проверять"