Ну он тормозной короче

Что значит нативной поддержки?

Первый пизже, второй легаси

linum тормозной, да?

Потом в сам имакс подвезли фишку отображения номеров и стало нормально

А, ок

Буду тогда первый юзать

Понял, спасибо

Я вообще их не использую, просто интересно стало

Если без слепой печати, то норм. Со слепой печатью для стрелочек приходится руку из home-row убирать. Хотя можно стрелки в какой-нибудь отдельный слой на раскладке засунуть, но тогда и C-[npbf] проблем не вызывают.

Avy

Понял, тогда надо переучиться

Home row overrated

Задача для любителей теории категорий: в Emacs есть completion и есть narrowing.  И интуитивно кажется, что эти две задачи двойственны друг другу.

Completion выглядит явно как задача построения продолжения, она же задача построения ретракции: множество A «полных» значений (например, строк, которые надо получить) вкладывается в множество X «неполных» (в этом же примере — строк, с которых осмысленно начать).  completion функцию можно рассматривать либо как ретракцию X → A, которая неполной строке так или иначе сопоставляет полную, либо (эквивалентно) как способ любую функцию A → Y продолжить до X → Y : если мы можем что-то сделать с полной строкой, рабочий комплишн означает, что можем это сделать и начав с неполной.

Интуитивно мне кажется, что narrowing (выбор одного кандидата из списка) это двойственная задача, но я могу и заблуждаться.  Сформулировать соответствующую двойственную задачу построения поднятия, или, эквивалентно, задачу построения сечения, я не могу.

как научиться так же рассуждать про имакс

катеорию могу и поучить*

Это не про имакс, комплишн и нарровин много где есть.

Математика иногда вдохновляет так думать про многое.

Я пишу нечто типа протокола completion, и меня мучают сомнения.  Мне кажется, что если б я понял ответ на этот вопрос, стало бы легче.  Но не факт.

К тому же если б я понял ответ, то я б совсем понял, что имел в виду Вильям Лавер, когда в своей (хорошей) книге для школьников про категории называл первую задачу Determination, а вторую Choice.

блин крута, я вот тока начинаю свой математический путь, интересно куда это приведет. алсо

> пишу нечто типа протокола completion?
можно поподробнее?

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

Это нужно для банальной цели: есть параметры для функции smth-connect, и в разных ситуациях есть разный стартовый набор параметров, и нужно дополнять недостающие опции (юзер, порт, пароль, …), и чтоб это было модульно (вообще говоря, дополняют разные библиотеки и т.д.).