On Thu, Jun 18, 2009 at 11:18 PM, Eric Bowman <[email protected]> wrote:

>
> The basic trick where a superclass has its subclass as a type parameter,
> e.g.
>
> class User extends MegaProtoUser[User]


The circular dependent type that gives Martin and the compiler fits? :-)


>
>
> I've run into this before, I remember struggling to "get it", then
> getting it, but I can't recall the epiphany.  But obviously this is a
> relatively common technique, so something to google is much appreciated.
>
> Thanks,
> Eric
>
> --
> Eric Bowman
> Boboco Ltd
> [email protected]
> http://www.boboco.ie/ebowman/pubkey.pgp
> +35318394189/+353872801532<http://www.boboco.ie/ebowman/pubkey.pgp%0A+35318394189/+353872801532>
>
>
> >
>


-- 
Lift, the simply functional web framework http://liftweb.net
Beginning Scala http://www.apress.com/book/view/1430219890
Follow me: http://twitter.com/dpp
Git some: http://github.com/dpp

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"Lift" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/liftweb?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to