@fare I hear you're pretty good at lisp: do you know anything about schema languages for S-exprs?
It seems like it would be easier than making one for something like XML where you have to build on such a complex foundation.
-
-
I'm interested in the message schema ones specifically. JSON has JSON Schema (which is bad) XML has XML Schema (which is worse) S-expers have S-expr Schema(?) Does such a thing exist, and if not should it?
-
Some Lispy or functional languages you might look into include: Clojure.spec, Typed Racket, ACL2, Coalton. In the dependent type world, Cedille and its extrinsic / Curry-style approach might be lispier than Coq, Agda, Idris, Lean, NuPRL. Of interest? dhall, Ur, Ermine.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!