This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2018-07-23
Channels
- # beginners (169)
- # boot (8)
- # cider (20)
- # cljdoc (66)
- # cljs-dev (1)
- # cljsrn (1)
- # clojure (185)
- # clojure-greece (11)
- # clojure-italy (16)
- # clojure-nl (5)
- # clojure-spec (16)
- # clojure-uk (39)
- # clojurescript (11)
- # cursive (26)
- # data-science (2)
- # datavis (1)
- # datomic (40)
- # emacs (10)
- # figwheel-main (64)
- # graphql (10)
- # hyperfiddle (1)
- # jobs (2)
- # leiningen (9)
- # luminus (3)
- # nyc (1)
- # off-topic (19)
- # om (1)
- # onyx (6)
- # pedestal (2)
- # re-frame (35)
- # reagent (17)
- # ring-swagger (9)
- # rum (1)
- # shadow-cljs (42)
- # spacemacs (8)
- # specter (7)
- # tools-deps (4)
- # yada (6)
Buondì
@nilrecurring credevo che dahl fosse un linguaggio di configurazione... ora mi dici che ci posso "configurare" un DSL per farci verifica formale. Non e' che ad un certo punto i due concerns divergono?
È semplicemente un linguaggio non turing completo, e gli effort del costruire del tooling sono andati verso la configurazione (e.g. output to json/yaml). Ma è sostanzialmente un typed-lambda-calculus, quindi puoi farci tante altre cose
È strongly typed (ma non ha i dependent types, and se c'è l'idea di aggiungerli), quindi puoi usarlo per fare "typechecking" del tuo DSL
Il deal-breaker più grosso di solito (per quanto riguarda il limitare gli usecases) è che non è Turing completo
AFAIK c'è della gente che lo sta già usando per compilarci sopra il loro DSL per contratti
Se finisco il compilatore in tempo per la CfP molto volentieri 🙂
@nilrecurring immagino questo l'hai già visto allora: https://github.com/joneshf/purcel 🙂
Yep, l’ha scritto un altro Dhall contributor
Anche se ho un’opinione più drastica sul sistemare il package management di Purescript, quindi penso finirò a fare un altro package manager 😄
Il problema principale è che questi sono scritti in Haskell, mentre ti servirebbe qualcosa scritto in PureScript in modo da integrarti con il resto dell’ecosistema js