_:
record-dot-preprocessor как-то имплементировали же
Size: a a a
2020 September 07
p
x :: HasField "x" r a => r -> a
OverloadedRecordFields есть, короче
_:
OverloadedRecordFields есть, короче
Оно еще сломается если есть x который не аксессор
KV
Оно еще сломается если есть x который не аксессор
Но так и должно быть
_:
Там вроде где-то был еще пропозал чтоб не генерить аксессоры
_:
Короче, куча проблем
KV
Там вроде где-то был еще пропозал чтоб не генерить аксессоры
Да, он уже готов по-моему
p
Короче, куча проблем
короче да. Берите кметтовские линзы, тренеруйте глаза. :D
KV
короче да. Берите кметтовские линзы, тренеруйте глаза. :D
+
KV
Если чисто взять линзы и сделать синтаксис с точечкой, ну типа это ещё куда ни шло
_:
Кстати, у пурсы есть другая проблема
_:
Все рекорды создаются с помощью тайп алиасов, т.е. ты не можешь сделать инстанс для рекорда, в отличии от хаскеля
_:
Приходится заворачивать в newtype, но ты не можешь больше . использовать
KV
Что поделать, номинальные vs структуральные типы
p
Не дочитал... 😐
ЗП
record-dot-preprocessor как-то имплементировали же
но с ним нельзя писать композицию как g.h нужно ставить пробелы между точкой и функцией
_:
но с ним нельзя писать композицию как g.h нужно ставить пробелы между точкой и функцией
Ну да, как и в любом код стайле хаскельном
_:
Но говно, да
_:
Потому что он с некоторыми расширениями языка плохо работает
ЗП
Ну да, как и в любом код стайле хаскельном
это очень хрупко