Ho finalmente guardato la presentazione di dhall del nostro caro Fabrizio. Ho una domanda, se volessi scrivere un DSL con dhall, come stiamo a supporto degli editor? Se estendessi il linguaggio con "operatori" custom, come verrebbero indentati e highlightati" (lol!)

Io uso emacs, e c’è una dhall-mode: https://github.com/psibi/dhall-mode

Non sono aggiornato su altri editors (ma penso di ricordare una pagina sulla wiki a riguardo? Se non c’è sarebbe utile crearla)

Ma in generale puoi semplicemente usare il source highlighting haskell, ed è praticamente tutto giusto (per dire, sugli snippet github usiamo haskell come markdown mode)

Poi c’è qualcuno che ha appena iniziato una implementazione LSP: https://github.com/dhall-lang/dhall-lang/issues/312

Per quanto riguarda l’indenting gli operatori custom sono semplicemente delle funzioni, quindi non dovrebbero esserci sorprese (che poi, considera che è praticamente lambda-calculus, quindi lisp)

un po' di amore per Clojure, suvvia: https://stackoverflow.com/dev-survey/start?utm_source=so-owned&utm_medium=announcement-banner&utm_campaign=dev-survey-2019 🙂

> We're thinking about creating a coding music playlist. What is your favorite music artist or genre that helps you focus? eheh bella domanda :thinking_face:

Raramente ascolto musica mentre scrivo codice. Di solito mi distrae, invece di aiutare a concentrarmi.

non lavori in un open space con tante persone intorno a te immagino quindi

fatto in passato, ma in ogni caso la musica mi distraeva, nel senso che finisco per ascoltarla piuttosto che scrivere codice. 😉

Eh eh, ci sono stili di musica che possono portare “in zone”. Ovviamente e’ del tutto soggettivo. Per me sono alcuni album solo di Jarret e Kit Downes. In generale, ritmi o melodie cicliche.

guarda, per un po' magari funziona anche con me, magari se è musica elettronica. È che deve essere musica che mi piace mediamente, perché se è qualcosa che mi piace davvero è impossibile fare a meno di prestarci attenzione.

credo che c’entri anche la ripetizione. Le prime volte distrae, alla 50esima crea “assuefazione”

anche, ma nel mio caso dipende semplicemente da quanto mi piace quello che ascolto. Son malato 😉

Cmq, alla fine sono stato costretto dall’ufficio anch’io, poi ci ho preso l’abitudine. Normalmente mi piace un 50/50 non un 100% cuffie.

cioè una cuffia sì e una no?

ah ah, bell’idea 🙂

volevo dire in tempo totale di lavoro al laptop

👍

In passato usavo rumore bianco o Brian Eno.

Uso white noise per power napping, quindi per lavorare e’ fuori discussione 🙂

io cuffie noise cancelling della bose, a volte senza musica

o vari generi a seconda del momento/mood

Io se proprio non riesco a sopportare il rumore di sottofondo (in media avrei bisogno di essere quasi al buio e nel silenzio totale per focalizzarmi al 100%) cuffie con rumori naturali tipo pioggia, tuoni e risacca

Dopo essere stato alluvionato, il rumore della pioggia mi mette ansia... 😔