Hi Raoul, > to what degree can one leverage typed racket for new languages in the > racket ecosystem?
(You mean for *creating* new languages, right?) I'm actually in the middle of doing this right now. > tho i read that even if there are ways to use it, there be dragons in > terms of getting the new language just right wrt type enforcement. Where did you read this? On the whole, I have found the type system much more helpful than dragon-like. I have run into a couple of issues that I haven't had time/energy to understand/debug yet, especially with using syntax objects. I mostly chalk this up to my own ignorance, though. At the moment I am working around it with a very thin layer of plain Racket atop my TR library. One caveat: I haven't implemented a new language in plain Racket before, so I can't honestly give an opinion on whether TR makes the task relatively easier or harder. But I can say that TR has the only type system I've ever seen whose usefulness-to-learning-effort ratio has worked out favorably for me. Best, Richard _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
