Haskell

24 Jun 2025 22:53

по моему даже без него

Haskell

24 Jun 2025 22:43

рекорды не раскрываются при нормализации

Haskell

24 Jun 2025 21:26

завтипы без рекордов сомнительная затея

Haskell

24 Jun 2025 18:55

Тут скорее было просто обсуждения подхода, представленного мной выше, формата вопрос-решение как такового не было. Но это все уже не имеет значение. Мне просто было интересно нужен ли Вам пример, который бы показывал превосходство моего решения над линзами, как я понял нет, вот значит на этом и остановимся.

Haskell

24 Jun 2025 18:50

про эту штуку я знаю, просто мне кажется, что у @Wave4334 основная задача — не та, которую решает prismSum

Haskell

24 Jun 2025 18:48

это часть твоего вопроса, так что если ты уже получил ответ, то меня детали не очень волнуют

Haskell

24 Jun 2025 18:46

Вопрос исчерпан, или мне все же привести пример ? Просто для меня это будет не быстро, так как мне придется доставать свой старый проект, вырывать от туда кусок кода и объяснять контекст, в общем, скорее всего только завтра смогу.

Haskell

24 Jun 2025 18:41

Вот этот вариант мне нравится больше

Haskell

24 Jun 2025 18:37

Скорее всего это не взлетит, давно не писал такой страшный код, но думаю, что свет в конце тоннеля там есть.

Я правда сомневаюсь в огромной осмысленности такого класса типов и действительно ли нужна такая абстракция, а не просто функции и конкретная реализация.

Haskell

24 Jun 2025 18:35

Возможно я не прав но более верная, это класс типов для типа данных A, который предоставляет геттер и линзу. Например:

class NoIdeaHowToCall a where
type View a :: Type
type Mod a :: Type
getView :: a -> View a
edit :: forall f . (Mod a -> f (Mod a)) -> f a -- Хаха я линза

Haskell

24 Jun 2025 18:31

а, теперь понял твою идею, да, тоже должно работать

Haskell

24 Jun 2025 18:31

в телеге можно выбирать часть сообщения, на которую отвечаешь

Haskell

24 Jun 2025 18:28

Это как выдать getter-ы для всего, а линзы только для того, что можно менять? Зачем для этого классы типов? (Я честно не понимаю проблему и зачем этого хотеть)

Haskell

24 Jun 2025 18:26

вот тут /channel/haskellru/486155 задача и предлагаемое решение. я не понимаю, как то же самое через [одни только] линзы сделать

Haskell

24 Jun 2025 18:22

Я подумал, все же согласен, пример неудачный (можно сделать без переусложнений, твой способ будет лучше), но справедливости ради я все же старался рассуждать в более общем случае.

Haskell

24 Jun 2025 22:44

no-eta-equality которое?

Haskell

24 Jun 2025 22:19

А почему? Даже сейчас на гадтах проще произведения пар динамического размера выражать и не страдать с той же невозможность выбора произвольных имен полей

Haskell

24 Jun 2025 19:02

Возможно, мои последнии сообщения могли показаться немного токсичными, извиняюсь за это.

Haskell

24 Jun 2025 18:50

да, но это для того, чтобы помочь вам найти решение вашей задачи

Haskell

24 Jun 2025 18:49

Ну Вы все же сами попросили привести пример....

Haskell

24 Jun 2025 18:48

@cheese_hs https://hackage-content.haskell.org/package/lens-5.3.5/docs/Control-Lens-Unsound.html я не уверен, но возможно вопрос про prismSum

Haskell

24 Jun 2025 18:42

Ну as-is не взлетит, там наверняка много вопросов, решение которых приведёт к усложнению решения

Haskell

24 Jun 2025 18:40

Ну а вдруг взлетит) Такое же не делали. Думаю у этой идеи есть потенциал. В общем, нужно много анализировать.

Haskell

24 Jun 2025 18:36

В этом случае не было бы завязки на m можно было смотреть всё и модифицировать кусок, эту логику можно было бы встраивать в любой контекст, как чистый код, так и нет. Вкручивать в MonadState a, или какой ещё трекер эффектов.

Haskell

24 Jun 2025 18:32

Тут класс типов повех m. Т.е. будто бы это свойство контекста m. Такие решения вполне возможны, но лично мне кажется, что у такой абстракции нет фиического смысла

Haskell

24 Jun 2025 18:31

Да я все время забываю про это))) Так уж получилось.

Haskell

24 Jun 2025 18:30

"Это как выдать getter-ы для всего, а линзы только для того, что можно менять?" - да, все именно так. Классы типов просто для этого хорошо подходят (на мой взгляд).

Haskell

24 Jun 2025 18:26

Если я правильно помню, то беззаконные позволяют зазумиться по друм параметрам

Haskell

24 Jun 2025 18:24

Ничего не понял. Почему это должно помогать разделять и какое решение помогает?

Haskell

24 Jun 2025 18:21

непонятно. покажи, пожалуйста, какой именно юзкейс покрывает твой класс и не покрывают линзы