[plt-scheme] Re: (typeof obj)

From: Robby Findler (robby at cs.uchicago.edu)
Date: Mon Jun 11 17:37:53 EDT 2007

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.


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

Posted on the users mailing list.