<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi Sam & Matthias,<div class=""><br class=""></div><div class="">Thanks for the clarification.</div><div class=""><br class=""></div><div class="">And thanks to Alexander for pointing out the typed/json module — been a while since I’ve pulled down a nightly build.</div><div class=""><br class=""></div><div class="">Speaking of that: with the splitting of the repos, if I want to contribute code to the TR repository, is there a quick reference doc yet for running that repo’s code against an existing Racket installation (or a clone of the main racket repo)? (The first time I wrote a TR wrapper lib, I found Greg Hendershott’s “<a href="http://www.greghendershott.com/2013/04/a-guide-for-infrequent-contributors-to-racket.html" class="">Guide for Infrequent Contributors</a>” tremendously helpful in getting over the initial hump in the Racket+Git learning curve — so I suppose I’m hoping the procedure will be similarly straightforward, post-split.)<br class=""><div class=""><br class=""></div><div class="">Thanks again,</div><div class="">jmj<br class=""><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Jan 18, 2015, at 12:16 PM, Sam Tobin-Hochstadt <<a href="mailto:samth@cs.indiana.edu" class="">samth@cs.indiana.edu</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">I've added an example of this to the documentation.<br class=""><br class="">Sam<br class=""><div class="gmail_quote">On Sat Jan 17 2015 at 9:48:36 PM Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu" class="">matthias@ccs.neu.edu</a>> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br class="">
On Jan 17, 2015, at 9:32 PM, Sam Tobin-Hochstadt wrote:<br class="">
<br class="">
> No, it can't be adapted. That error message is an instance of this<br class="">
> caveat: <a href="http://docs.racket-lang.org/ts-guide/caveats.html#(part._.Typed-untyped_interaction_and_contract_generation)" target="_blank" class="">http://docs.racket-lang.org/<u class=""></u>ts-guide/caveats.html#%28part.<u class=""></u>_.Typed-untyped_interaction_<u class=""></u>and_contract_generation%29</a><br class="">
> which applies to `define-predicate` as well. There's no way to check<br class="">
> if something is a `Foo`, because Typed Racket wouldn't know what you<br class="">
> meant for `A` to be.<br class="">
<br class="">
<br class="">
I think the section [title] is misleading here. You need to know<br class="">
TR's ideas well to see that the generation of a run-time object<br class="">
is the same thing as moving from the typed to the untyped world<br class="">
(and vice versa).<br class="">
<br class="">
Perhaps an example like Jordan's could be included in the docs.<br class="">
<br class="">
-- Matthias<br class="">
<br class="">
<br class="">
____________________<br class="">
Racket Users list:<br class="">
<a href="http://lists.racket-lang.org/users" target="_blank" class="">http://lists.racket-lang.org/<u class=""></u>users</a><br class="">
</blockquote></div>
____________________<br class=""> Racket Users list:<br class=""> <a href="http://lists.racket-lang.org/users" class="">http://lists.racket-lang.org/users</a><br class=""></div></blockquote></div><br class=""></div></div></div></body></html>