From adamshaw at cs.uchicago.edu Mon Dec 5 17:06:26 2005 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Mon Dec 5 17:13:42 2005 Subject: [Hyper] HYPER activities first week of January Message-ID: Greetings all -- I have two related events to announce for the first week of January. John Reppy and Aaron Turon '07 will be presenting their paper "A foundation for trait-based metaprogramming" at FOOL on Saturday, January 14 in Charleston, SC. The abstract is pasted in at the bottom of this message. I understand that Aaron will be the one doing the talking at FOOL. In honor of this new work, and to help Aaron give his presentation a spit-shine, he will give his talk here on Friday, January 6 at 4:00 PM in Ryerson 251. A few days prior to that, interested parties may attend a HYPER meeting to discuss the paper on Tuesday, January 3, at 4:00 PM in Ryerson 153. The text of the paper is not available yet but it will be by Christmas. As such the HYPER page will link to it ASAP and interested readers may read it sometime between Christmas and the start of the winter quarter. Also, please remember to send me suggestions for future readings, including, as Dave MacQueen has suggested, series of related papers, so they can be enqueued. Regards and happy holidays -- Adam ================================================= A foundation for trait-based metaprogramming John Reppy, Aaron Turon Scharli et al. introduced traits as reusable units of behavior independent of the inheritance hierarchy. For their relative simplicity, traits offer a surprisingly rich calculus. An important aspect of traits are the mechanisms 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. These 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. We prove type soundness for our system. From adamshaw at cs.uchicago.edu Wed Dec 28 06:01:08 2005 From: adamshaw at cs.uchicago.edu (Adam Shaw) Date: Wed Dec 28 06:07:05 2005 Subject: [Hyper] HYPER activities first week of January Message-ID: Greetings and happy new year -- A reminder: HYPER will meet Tues, 1/3 at 4:00 PM to discuss "A foundation for trait-based metaprogamming" by John Reppy and Aaron Turon. The text of the article is available on the website: http://hyperpl.cs.uchicago.edu Regards, Adam