Size: a a a

2020 November 09

YS

Yan Shkurinskiy in Haskell
Х)
источник

YS

Yan Shkurinskiy in Haskell
(шучу, спасибо)
источник

AV

Alexander Vershilov in Haskell
Тебе ещё пакет и блогопост дали 😉
источник

AV

Alexander Vershilov in Haskell
В статье реализацию только не смотри
источник

YS

Yan Shkurinskiy in Haskell
Да я сразу наверное в пакет полезу
источник

AV

Alexander Vershilov in Haskell
источник

AV

Alexander Vershilov in Haskell
По самому reflection не всегда понятно нафига оно надо
источник

AV

Alexander Vershilov in Haskell
ghost of departed proofs тоже же про это?
источник

AV

Alexander Vershilov in Haskell
И у Олли библиотека про проверку прав
источник

к

кана in Haskell
Yan Shkurinskiy
Инстанса в рантайме
да это по идее просто ансейфкоерс функции от констрейнта в функцию от рекорда
источник

к

кана in Haskell
делал так и без рефлекшена
источник

к

кана in Haskell
не работает только с KnownSymbol
источник

AV

Alexander Vershilov in Haskell
Ну это уже техническая деталь, в статье без Unsafe Coerce
источник

MK

Maxim Koltsov in Haskell
кана
да это по идее просто ансейфкоерс функции от констрейнта в функцию от рекорда
А в рефлекшене есть что-то кроме этой вот мысли?
источник

AV

Alexander Vershilov in Haskell
Но тормозит
источник

DR

Denis Redozubov in Haskell
Maxim Koltsov
А в рефлекшене есть что-то кроме этой вот мысли?
нет
источник

DR

Denis Redozubov in Haskell
ну т.е. там две мысли: safe reflection и "unsafe” reflection
источник

DR

Denis Redozubov in Haskell
первый - олеговый, второй на самом деле сейф, т.к. ghc-implementation-dependent
источник

к

кана in Haskell
так становится все проще
источник

к

кана in Haskell
Yan Shkurinskiy
Инстанса в рантайме
вот техническая реализация
источник