Fork me on GitHub
#clojure-italy
<
2020-01-15
>
Lu09:01:43

👋:skin-tone-3:👋:skin-tone-3:👋:skin-tone-3:

reborg11:01:06

Sto iniziando ad implementare il supporto editing per un nostro linguaggio interno. L’idea e’ di implentare un backend basato su LSP (language server protocol). Sembra una buona idea. Qualcuno ha esperienza?

andrea.crotti13:01:09

solo come utente e beh si mi sembra un'ottima idea

andrea.crotti13:01:43

visto che tutti gli editor principali supportano LSP che io sappia

bronsa13:01:47

@reborg usiamo LSP per imandra

reborg13:01:43

bene… andate di std in/out come trasporto?

reborg13:01:25

vi siete implementati sync dei files?

bronsa13:01:57

che intendi?

reborg13:01:55

che coi socket uno puo’ avere client e server non necessariamente sulla stessa macchina, quindi la visione del file system sul client potrebbe non essere la stessa che hai sul server.

bronsa13:01:35

ah, no noi teniamo il filesystem sul client

bronsa13:01:48

abbiamo un protocollo interno per client/server di imandra (basato su comunicazione di preprocessed AST, non text)

bronsa13:01:56

LSP lo usiamo solo per client-side editor support

reborg13:01:49

ok… mi accingo a scrivere codice. Parto da clojure-lsp come idea generale, poi tolgo e metto.

reborg13:01:46

preprocessed? interessante. quindi avete mezzo compilatore in typescript? Che ha senso, immagino con js_of_ocaml?