[plt-scheme] Re: (typeof obj)

Thanks Robby.  Do you happen to have a link or a title that I can search on
to find the text you are talk about?

On 6/11/07, Robby Findler <robby at cs.uchicago.edu> wrote:
>
> Sounds like you need to read Pierce! Random people on random mailing
> lists are probably a less good source of info that a proper text, in
> this case. But people here will probably be more than willing to help
> you thru it if you get stuck somewhere. Plenty of people here know
> that stuff.
>
> Robby
>
> On 6/11/07, YC <yinso.chen at gmail.com> wrote:
> > I don't know what the procedure means (I've seen this a few times but
> not
> > sure where it came from... links appreciated) - takes in a procedure
> that
> > takes itself as a parameter?  The lambda probably behaves differently
> > pending on the parameter - doesn't this fall under dependent type?  I
> will
> > pass on more counter examples as I know I can't type them all and hence
> want
> > a good type system :)
> >
> > I assume you are trying to say that you can't type everything under the
> sun
> > that you can evaluate, correct?  Is this a limitation of a type system,
> or
> > an inherent limitation in type theory?
> >
> > Thanks,
> >  yc
> >
> >
> > On 6/11/07, Prabhakar Ragde <plragde at uwaterloo.ca> wrote:
> > > YC wrote:
> > > > add1 is int -> int
> > > > (lambda (x) x) is any -> any
> > > > I don't understand enough about call/cc so I won't attempt  ;)
> > >
> > > Okay, so try to type (lambda (x) (x x)) from Eli Barzilay's
> .signature.
> > --PR
> > > _________________________________________________
> > >   For list-related administrative tasks:
> > >   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> > >
> >
> >
> > _________________________________________________
> >   For list-related administrative tasks:
> >   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> >
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20070611/a1ce4e4c/attachment.html>