sergej
2018-4-1 07:57:07

is Turnstile the only available Racket DSL for adding types to a language? or are there others?


githree
2018-4-1 14:30:23

@sergej I don’t know if there are any other but you can use the same technique without Turnstile, e.g.: https://github.com/lexi-lambda/hackett


lexi.lambda
2018-4-1 18:11:21

@sergej @githree there are a few ways to add types to a Racket language, but I’m pretty certain Turnstile is the only DSL for doing so


lexi.lambda
2018-4-1 18:13:47

I guess Redex might also qualify, depending on your needs, but that’s only relevant if your language itself is also defined with Redex


dmitryhertz
2018-4-1 18:43:00

Hello everyone! Is there a function in lang scribble like author or author+email but for instance contributor. I have a problem with a documentation that I have to write, if I’m just trying to enumerate authors I get an empty string with a comma between authors. author one , author two


dmitryhertz
2018-4-1 19:14:54

Well, figured it out.


dmitryhertz
2018-4-1 19:15:40

@author[(author+email “author one” “email1”) (author+email “author two” “email2”)]


ben
2018-4-2 06:23:12