YS
Ну да, с дататайпами тоже работает
Size: a a a
2020 May 24
А
в таком виде отлично смотрится
АХ
Конечно! Не дай бог пробелы будут симметричными
AV
Первый вариант, конечно
+
AT
foo
$ bar
$ baz
$ bar
$ baz
AV
Формолу в треде, все в файл!
LO
foo
$ bar
$ baz
$ bar
$ baz
Отвратительно. Пойду глаза промою с хозяйственным мылом
YS
Даже так можно, но со String проблемы - генерик для неё разворачивается как для списка х( Возможно, если перестать в коде использовать String совсем - это будет даже работать
YS
Ну либо не хотеть конверты вида String -> Text в своих типах
YS
Хочу, чтобы один и тот же инстанс мог быть как перекрывающим, так и перекрываемым (в зависимости от того, с каким сравнивать), такое работает в хаскеле? .-.
АХ
А в чём цель таких упражнений?
YS
Ну, конверт хочу. Чтобы разные типы с одинаковой структурой и конвертируемыми полями можно было конвертить
YS
Цель - бесплатная конвертация "почти одинаковых" типов, которые просто объявлены в разных местах
YS
Просто так я бы таким, наверное, не занимался(
YS
Хотя кто меня знает х(
YS
Руками написать конвертацию для таких случаев
ЗП
Ну, конверт хочу. Чтобы разные типы с одинаковой структурой и конвертируемыми полями можно было конвертить
а разве с generic lens это не работает?