4 ms·
> maximum precision Sometimes maximum precision means having a first-class typechecker & type inference. (You could build some of that too in Racket if you re
by platz 8y ago
> maximum precision
Sometimes maximum precision means having a first-class typechecker & type inference. (You could build some of that too in Racket if you really need to. Of course, that code itself will not be verified or typechecked.)
> Why aren’t these languages DSLs?
They aren't DSL's because they need statically-linked binaries, and good error messages, and then your task is not as easy as desugaring to a LISP/dynlang.
- adjkant 8y ago> Of course, that code itself will not be verified or typechecked. Easy, just used typed Racket :)
- platz 8y agoOk, so now you have Typed Racket (that last point was a relatively minor comment on the larger argument). Does implementing the above then correspond to the strengths as described in LOP?
- adjkant 8y agoI'm not sure I'm fully following what you're getting at due to the terseness and my first comment was more of a fun note that you can always build on language features, but generally speaking you could inherit and use the types and checking of Typed Racket in your DSL and still add the syntax you want for increased precision.