Спасибо!

кажется этот чат обещает стать очень полезным :)

Но "давайте назовём Functor по-другому - Mappable" не поддержу. Есть математика и отстраняться от её терминологии, раз уж собираешься применять её приёмы, не стоит.

Это только усложнит дальнейшее изучение статей и знакомство с другими языками.

Для меня название Mappable понятнее чем Functor. Также как "таблица цифр" понятнее чем "матрица". Так же как "направление" понятнее чем "вектор". Также как "площадь под графиком функции" понятнее чем "интеграл".  Если отдельно обозначить что значит одно и другое, во взаимозамене терминов не вижу ничего страшного. Можно употреблять Mappable а потом в один прекрасный день обнаружить что это Functor и ничего за это не будет.

"Для меня" заметь

Но ты же ещё и склонен продавливать свою точку зрения на протяжении нескольких страниц чата. Это нездорово, прости уж за прямоту

> Можно употреблять Mappable а потом в один прекрасный день обнаружить что это Functor и ничего за это не будет.

Если оставаться в своём мирке и не общаться с другими сообществами, то можно что угодно и как угодно называть.

Но название "Functor", это, если хочешь, паттерн - говоришь функциональщику из другого лагеря и он тебя понимает, даже если языки у вас сильно разные. Это полезно. Математика - тот самый "язык, на котором все разговаривают". Да, нужно учить, но и профит огромный!

И за пределами этого чата и вообще русскоязычного сообщества я не наблюдаю такого оголтелого стремления к обособленности - наоборот, люди пытаются ассимилировать полезные концепции извне, пусть даже в виде идеи. И никто не пытается при этом "всё переименовать шоб понятно было!"

Склонен продавливать, потому что легче сделать простое сложным чем сложное простым и нужно иногда в первом случае бить по рукам. Но не будем продолжать, всем и так понятны наши стороны, а дальше уже политика, хорошо хоть на чём-то сошлись.

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

фантастика... )

Такое нужно останавливать. Но мягко. Либо просить объяснить

У меня тут был вопрос с утра. Есть ли способ генерить/выводить линзы для структур? Я устал их писать вручную.

Геттеры  у тебя бесплатно есть же :) А сеттеры придётся писать. Либо пистаь генератор :(

Думаю, напистать генератор линз для focus вполне можно

focus?

я вот от такого бойлерплейта хочу избавится:

propertyEnabledL : Lens (Property String) Bool
propertyEnabledL =
    Lens .enabled (\b a -> { a | enabled = b })

Я уж не помню, что там нынче популярно для оптики

Это у Эвана либа такая было - про линзы как раз