From adamshaw at cs.uchicago.edu Tue Jan 3 14:33:54 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Tue Jan 3 14:39:32 2006 Subject: [Hyper] meeting today (1/3) at 4:00 in Ryerson Message-ID: Greetings -- A reminder about this afternoon's HYPER meeting on the new Reppy/Turon traits paper. Details at http://hyperpl.cs.uchicago.edu Regards, Adam From adamshaw at cs.uchicago.edu Fri Jan 6 10:56:07 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Fri Jan 6 11:01:43 2006 Subject: [Hyper] talk today at 4:00 in Ryerson 255 Message-ID: *** Talk This Afternoon on New UChicago CS Research *** Aaron Turon '07 will present the following paper today at 4:00 PM in Ryerson 255: John Reppy and Aaron Turon "A foundation for trait-based metaprogramming" Foundations of Object-Oriented Languages (FOOL) 2006 The abstract is pasted below this message. The duration of the presentation will be 30 minutes. This talk is in advance of the same talk to be given next Saturday at FOOL itself in South Carolina. There will be cookies. Regards, Adam Shaw ========================================================== Abstract Scharli et al. introduced traits as reusable units of behavior independent of the inheritance hierarchy. Despite their relative simplicity, traits offer a surprisingly rich calculus. Trait calculi typically include operations for resolving conflicts when composing two traits. In the existing work on traits, these operations (method exclusion and aliasing) are shallow, i.e., they have no effect on the body of the other methods in the trait. In this paper, we present a new trait system, based on the Fisher-Reppy trait calculus, that adds deep operations (method hiding and renaming) to support conflict resolution. The proposed operations are deep in the sense that they preserve any existing connections between the affected method and the other methods of the trait. Our system uses Riecke-Stone dictionaries to support these features. In addition, we define a more fine-grained mechanism for tracking trait types than in previous systems. The resulting calculus is more flexible and expressive, and can serve as the foundation for trait-based metaprogramming, an idiom we introduce. A companion technical report proves type soundness for our system; we state the key results in this paper. From adamshaw at cs.uchicago.edu Mon Jan 9 15:58:30 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Mon Jan 9 16:03:46 2006 Subject: [Hyper] no meeting this week Message-ID: Greetings all -- As many of us will be away this week at POPL, there is no HYPER meeting this week. Our next meeting is tentatively Tuesday 1/17 at 4:00 PM, paper TBA. Regards, Adam From adamshaw at cs.uchicago.edu Mon Jan 9 17:48:41 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Mon Jan 9 17:53:56 2006 Subject: [Hyper] paper for Tues 1/17... Message-ID: Greetings all -- The paper for the next HYPER meeting will be Scrap more boilerplate: reflection, zips, and generalised casts Ralf L?mmel and Simon Peyton-Jones ICFP 2004 Links etc. at hyperpl.cs.uchicago.edu. Regards, Adam From adamshaw at cs.uchicago.edu Tue Jan 17 08:30:56 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Tue Jan 17 08:35:50 2006 Subject: [Hyper] this week's hyper meeting POSTPONED Message-ID: Greetings all -- In light of our high collective attendance at POPL, and assuming that many of us are playing catch-up on various fronts having returned to Chicago, I have decided to postpone this week's HYPER meeting. The next meeting, then, will by Tuesday Jan 24 at 4 PM in the usual place. The paper will be the paper we were to discuss this week: Scrap more boilerplate: reflection, zips and genarlised casts. Regards, Adam From adamshaw at cs.uchicago.edu Tue Jan 24 13:48:51 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Tue Jan 24 13:53:17 2006 Subject: [Hyper] meeting today Message-ID: Greetings -- A reminder that there is a hyper meeting today at 4:00 to discuss Scrap more boilerplate: reflection, zips, and generalised casts. I personally can't make it, so please don't wait for me. Next Tuesday (1/31) we will discuss A comparative study of language support for generic programming Ronald Garcia et al. which is, with apologies to David MacQueen, a bit on the botanical side. But we probably have enough head expansion in Derek's class these days anyway. Regards, Adam From adamshaw at cs.uchicago.edu Tue Jan 31 10:47:07 2006 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Tue Jan 31 10:51:10 2006 Subject: [Hyper] meeting today at 4 PM Message-ID: Greetings all -- A reminder for today's meeting on A comparative study of language support for generic programming. at http://portal.acm.org/citation.cfm?doid=949305.949317 Regards, Adam