AK
Ща покажу
Size: a a a
2020 June 23
AA
тут выше обсуждалось, что дженерик-ленз может быть слишком хитрым для кастомных инстансов
AV
У WithFields есть generic, но я не хочу, при общении с FooBar упоминать то, что там WithFields
AK
У WithFields есть generic, но я не хочу, при общении с FooBar упоминать то, что там WithFields
А ок
AK
Тогда тоже ща покажу
R
instance {-# OVERLAPPING #-} (R.Set field fields a' ~ fields', R.Set field fields' a ~ fields, R.Has field fields a, R.Has field fields' a') => GL.HasField field (Record fields) (Record fields') a a' where
field = coerced @(Record fields) @_ @(R.Rec fields) @_ . R.lens (R.FldProxy @field)вы как знаете, но я кликаю "report abuse"
AK
Ну что ж
AK
С джаспеем только договорюсь и тогда мб
к
тут выше обсуждалось, что дженерик-ленз может быть слишком хитрым для кастомных инстансов
нет, я был не прав, у артема получилось, а я просто не попробовал написать и генерик инстанс, и HasField инсатнс с оверапсом одновременно
AA
а, чет суперрекорд был особо тормозным (в смысле компиляции) это пофиксили что ли?
вижу в чейнджлоге
> Sorting fields is now done with merge sort instead of insertion sort.
вижу в чейнджлоге
> Sorting fields is now done with merge sort instead of insertion sort.
AK
Нет, я вообще тупо выкинул сортировку, мне она не нужна для транспиляции
DR
а, чет суперрекорд был особо тормозным (в смысле компиляции) это пофиксили что ли?
вижу в чейнджлоге
> Sorting fields is now done with merge sort instead of insertion sort.
вижу в чейнджлоге
> Sorting fields is now done with merge sort instead of insertion sort.
нет, он остался тормозным
D
солидная дока
АХ
Новый рандом зарелизен. 2020 астанавис!
MK
Ааааа