Clojurians Log v2

’gionn

ola#

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

giorno

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?

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

visto che tutti gli editor principali supportano LSP che io sappia

@reborg usiamo LSP per imandra

e` ottimo

bene… andate di std in/out come trasporto?

socket

vi siete implementati sync dei files?

che intendi?

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.

ah, no noi teniamo il filesystem sul client

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

LSP lo usiamo solo per client-side editor support

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

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

yep