[plt-scheme] Re: (typeof obj)

Oh, sorry. "Types and Programming Languages" by Pierce:

http://www.amazon.com/Types-Programming-Languages-Benjamin-Pierce/dp/0262162091

On 6/11/07, YC <yinso.chen at gmail.com> wrote:
> 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
> > >
> > >
> >
>
>