Телеграмм чат группы emacs

можно их так и хранить:

data Indent = Space
indent : Nat = 3
indent' : List Indent = [Space, Space, Space]

теперь добавлям табы и получаем списки уже из двух элементов:

data  Indent = Space | Tab
indent' : List Indent = [Space, Tab, Space]

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

15:36пожаловаться #1

Sergey Seliverstov in Emacs — русскоговорящее сообщество

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

15:38пожаловаться #2

Sergey Seliverstov in Emacs — русскоговорящее сообщество

ну ничего, подождать еще 10ка ядер и можно начинать пилить. идеальное выравнивание в каждом доме

15:40пожаловаться #3

ещё удобно хранить отступ не просто как строку, а как список компонентов этой строки, добавленных на каждом уровне вложенности

15:53пожаловаться #4

я даже использовал такое решение https://git.sr.ht/~sokolov/hef/tree/master/lib/hef.ex#L75-78

15:55пожаловаться #5

Sergey Seliverstov in Emacs — русскоговорящее сообщество

круто

16:32пожаловаться #6

подскажите по lsp-mode, в частности с интеграцией rust-analyzer

хочу в минибуффере видеть определение функции, какие типы принимает, какие возвращает

19:22пожаловаться #7

Screenshot 2020-07-20 19.03.13.png

(25.51 Кб)

вот в таком виде хочется видеть

19:22пожаловаться #8

19:22пожаловаться #9

19:22пожаловаться #10

а вот в таких представлениях отображается

19:23пожаловаться #11

какиеми-нибудь настройками это конфигурится?

19:24пожаловаться #12

(setq lsp-eldoc-render-all nil)

19:24пожаловаться #13

вроде так

19:24пожаловаться #14

Pig Greenest

(setq lsp-eldoc-render-all nil)

спасиб, не помогает

он core::convert::From показывает

19:36пожаловаться #15

от rust-analyzer насколько я понял прилетает

{
    "value": "```rust\ncore::convert::From\n```\n\n```rust\nfn from(_: T) -> Self\n```\n___\n\nPerforms the conversion.",
    "kind": "markdown"
  }

19:37пожаловаться #16

вообще да, я думаю что здесь rust-analyzer виноват, но протокол я не знаю

19:43пожаловаться #17

https://microsoft.github.io/language-server-protocol/specifications/specification-current/#textDocument_hover

microsoft.github.io

Specification

Language Server Protocol Specification - 3.15This document describes the 3.15.x version of the language server protocol. An implementation for node of the 3....

Valeriy L in Emacs — русскоговорящее сообщество

19:44пожаловаться #18

2020 July 21

Pig Greenest

лисп немного по другому принципу форматируется, ему indent-tabs-mode противопоказан категорически

Нужно когда-нибудь выделить все файлы имакса и сделать untabify

Shizoid in Emacs — русскоговорящее сообщество

09:56пожаловаться #19

Столлман дня — greenest_pig

Топ 10 за год:
1. aragaer — 49
2. xFA25E — 45
3. greenest_pig — 37
4. dbvvmpg — 23
5. thearcticcat — 14
6. d1g1tal_w0rld_kam1kaz3 — 14
7. akater — 13
8. isaurian_the_3rd_not_really — 11
9. Nekifirus — 11
10. Timifikator — 10