Hacker News Reader

> I use Common Lisp and I develop relatively large DSLs in the language, and even if I want to, it's hard—if not impossible—to write large DSLs that have nice error messages, source locations, etc. without writing an entirely new "reader" (lisp's term for a code parser) myself every time.

We have to go deeper! Could you write a DSL in CL to help you write new DSLs as easily as in Racket?

View on HN

I have a project to do that, https://github.com/ruricolist/vernacular, although I'm not working on it right now.

This is what Racket people have done to write Typed Racket in it. I think it is called Turnstile: https://docs.racket-lang.org/turnstile/.

I don't think typed racket uses turnstile? At least, typed racket is far older than turnstile is.

Huh, I was under the impression, that it was based on turnstile and was sure, that I saw that somewhere, but now I cannot find any indication of it being the case. So maybe I am mistaken.

Nevermind then, turnstile is still something fitting for this topic : )

You are correct; typed racket does not use turnstile.

Reply on news.ycombinator.com