Thanks Robby for your answer, When I create an annotated-proc (as in <a href="http://docs.racket-lang.org/reference/procedures.html">http://docs.racket-lang.org/reference/procedures.html</a>) Unfortunately it seems that I lose type information: > (annotated-proc (lambda (x) x) (gensym)) - : annotated-proc #<procedure> > (lambda (x) x) - : (Any -> Any : ((! False @ 0) | (False @ 0)) (0)) #<procedure> > So it seems in Typed Racket applicable structs cannot replace closures? <div class="gmail_quote">2011/11/24 Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Not a direct answer to your question, but comparing procedures for equality using eq? can be fragile (contracts will break the equality, depending on how you use them, for example). You might instead use applicable structs to implement the equality by putting some token you use for equality into a second field. Robby <div><div></div><div class="h5"> On Thu, Nov 24, 2011 at 2:14 PM, Ismael Figueroa Palet <<a href="mailto:ifigueroap@gmail.com">ifigueroap@gmail.com</a>> wrote: > I need to compare to procedures for equality. In the untyped version of the > code I used eq? and it worked for my purposes. > Now, in the Typed Racket version I'm having the problem that somehow one of > the procedures is wrapped in a "typed value" struct while the other is not. > > When I display the values I get: > > #<Typed Value: #<procedure:A>> #<procedure:A> > > is there any way to unwrap the value? > > Thanks > -- > Ismael > > </div></div>> _________________________________________________ > For list-related administrative tasks: > <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a> > </blockquote></div> -- Ismael