<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, May 8, 2014 at 9:53 PM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="">At Thu, 8 May 2014 20:40:35 +0200, Laurent wrote:<br>
> At the end of Matthew's (awesome and quite informative) "metaprogramming"<br>
> video [1] he uses a doc-string+contract `define`.<br>
><br>
> Is the "doc-define.rkt" file available somewhere? Google only led me to the<br>
> corresponding paper [2] but I could not find the file in the archives.<br>
<br>
</div>The complete implementation is below.As you can see, it's just enough<br>
to make the talk's example run.<br></blockquote><div><br></div><div>Thanks!<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">


<div class="">
> Also, I'm wondering why he chose not to show the usual in-source<br>
> documentation of Racket and instead went for something that is not built in<br>
> Racket as of today.<br>
<br>
</div>The current in-source documentation tool is an experiment to figure out<br>
what we want and how it can work. I think the "doc-define.rkt" sketch<br>
better illustrates what we've figured out that we want --- not all in<br>
place, yet, but within reach --- and so it makes more sense in a talk.<br></blockquote><div><br></div><div>Ooh, so this is still work in progress then? (sorry about my previous rant in a different post about the doc system then, I thought it was just never going to happen.)<br>

</div><div>This would be a much awaited feature! But certainly it's not easy to do Right.<br>Beside third-party libs, are there current plans to have such an in-source doc-string documentation feature? Or plans to work on it?<br>

</div><br></div>FWIW, I've also made a similar thing [1] for RWind, except that it's currently only for use on the command line, but I was planning to have it export to scribble/scrdoc too.<br></div><div class="gmail_extra">

I was hoping that Matthew's doc-string `define` would give me some guidance on how to do it properly ;)<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">@Greg and Neil: Thanks for your answers. I agree that terseness is not nice for the new user, but I also worry about verbose definitions (since defining forms is what a programmer does all day).<br>

</div><br><div class="gmail_extra">[1] <a href="https://github.com/Metaxal/rwind/blob/master/doc-string.rkt">https://github.com/Metaxal/rwind/blob/master/doc-string.rkt</a><br></div></div>