> On Dec 23, 2017, at 12:25 PM, Mark Toujiline <mark.toujil...@gmail.com> wrote: > > Hello Racket team, > > My name is Mark Toujiline and I am a 5th year Computer Science student at Cal > Poly - SLO. I have a required senior project and would like to use the > opportunity to contribute to Racket/Typed Racket. During the Fall 2017 > quarter, I took a Programming Languages class which used Typed Racket and I > thoroughly enjoyed the experience. Can someone point me in the right > direction for finding a task(s) that can be completed in the span of 6 > months? My objective is to learn as much as possible, so I would be eager to > work on something challenging. > > I apologize in advance if I posted this question in the wrong place. This is > my first time contributing to an open source project.
[[ I don’t believe the following is on the wiki list. ]] It would be wonderful if someone could explore our original “extensible programming” paper with the typing rules that Dan Feltey added for the unit system (see my Sendai paper for the motivation; see ICFP ’98, "Classes and Modules” for a sample application). The goal is to determine whether it is possible, the weaknesses of the type system, and propose extensions/revisions to the type system (and if you have a ton of left-over time, design and implement them). This would require reading (as in working thru) TAPL and the TAPL II chapters on modules. Oleg K. has recently written extensively about my extensible denotational semantics and how it relates to the modern “algebraic effects” wave of papers. If successful, you can turn this into a ICFP or TFP submission (I assume John will help). Research is when it can fail. And if this one succeeds, it’s a good thing (tm) for our type/unit systems. — Matthias -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/B016DA63-4CA4-4056-83BB-E7C767C45224%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
