<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div><div>Alexander, I am bit confused, but is the following what you want: </div><div><br></div><div>#lang typed/racket</div><div><br></div><div>(struct: (α β) posn ((x : α) (y : β)))</div><div><br></div><div>(define-type (Posn x y) (posn x y))</div><div><br></div><div>(define-type Origin (Posn Zero Zero))</div><div><br></div><div>; (: O Origin) ;; works with or without commenting out this line </div><div>(define O (posn 0 0))</div><div>  </div></div><div><br></div><div><br></div><br><div><div>On Apr 25, 2014, at 11:06 PM, Alexander D. Knauth wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta http-equiv="Content-Type" content="text/html charset=windows-1252"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>Then is there something like and/c for types? (like U is like or/c for types) That could probably solve it.  </div><div><br></div><div>It seems like typed racket is already doing this in some cases, for example:</div><div><div><font face="Courier New">#lang typed/racket</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">(define positive-real? (make-predicate Positive-Real))</font></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">(define (f x)</font></div><div><font face="Courier New">  (if (positive-real? x)</font></div><div><font face="Courier New">      (if (exact-integer? x)</font></div><div><font face="Courier New">          x</font></div><div><font face="Courier New">          (error "error"))</font></div><div><font face="Courier New">      (error "error")))</font></div></div><div><font face="Courier New"><br></font></div><div><font face="Courier New">> f</font></div><div><font face="Courier New"><div>- : (Any -> Positive-Integer)</div><div>#<procedure:f></div></font></div><div>In this, typed racket figures out that f produces a Positive-Integer, when it was only given that it produces something that is both a Positive-Real and an Integer.  </div><div><br></div><div>But I couldn’t find it in the docs.  </div><br><div><div>On Apr 25, 2014, at 10:48 PM, Sam Tobin-Hochstadt <<a href="mailto:samth@cs.indiana.edu">samth@cs.indiana.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><p dir="ltr">What you're looking for is called bounded polymorphism. Sadly, Typed Racket doesn't support this, so I'd try one of the options David suggests.</p><p dir="ltr">Sam</p>
<div class="gmail_quote">On Apr 25, 2014 10:46 PM, "Alexander D. Knauth" <<a href="mailto:alexander@knauth.org">alexander@knauth.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
That’s what I tried at first, but my actual struct is a lot more complicated than posn, and it kept giving be type-check errors, and trying to enforce the types of the fields myself just ended up with completely unreadable code and even more type errors, so I gave up on making it polymorphic, but I still wanted to be able to specify specific cases of it as types that would only contain that specific case of it.<br>

<br>
On Apr 25, 2014, at 10:25 PM, David Van Horn <<a href="mailto:dvanhorn@cs.umd.edu">dvanhorn@cs.umd.edu</a>> wrote:<br>
<br>
> On 4/25/14, 9:57 PM, Alexander D. Knauth wrote:<br>
>> But then the posn constructor doesn’t enforce that it’s arguments have to be Reals, and the posn? predicate doesn’t check it, and the accessors don’t say that they always produce Reals.<br>
><br>
> Maybe I'm not seeing the big picture, but that's what the Posn type is<br>
> for.  If you apply posn to something other than reals, you won't get a<br>
> Posn.  If you have a Posn and apply posn-x, you get a real.<br>
><br>
> (define: (f [p : Posn]) : Real<br>
>  (+ (posn-x p) (posn-y p)))<br>
><br>
> David<br>
><br>
><br>
>> On Apr 25, 2014, at 9:49 PM, David Van Horn <<a href="mailto:dvanhorn@cs.umd.edu">dvanhorn@cs.umd.edu</a>> wrote:<br>
>><br>
>>> How about this?<br>
>>><br>
>>> (struct: (x y) posn ([x : x] [y : y]))<br>
>>> (define-type Posn (posn Real Real))<br>
>>> (define-type Origin (posn Zero Zero))<br>
>>><br>
>>><br>
><br>
<br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div>
</blockquote></div><br></div>____________________<br>  Racket Users list:<br>  <a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a><br></blockquote></div><br></body></html>