Here is what I mean with the Sendai paper: https://www2.ccs.neu.edu/racket/pubs/#tacs94-cf
It presents a series of extensible and arbitrarily composable interpreters. At the time, I tried to implement them in SML to satisfy the type t’ists tastes, but it turns out that, back then, the structure-functor system was too weak. So I fell back on define-syntax to fake modules and these modules eventually became units. Dan Feltey’s type system for units is a bit weak, but I believe the extensible semantics should be in its reach. In contrast, Robby and Matthew’s application of units (and mixins) is probably beyond it. It’s worth trying it out. Do go to Oleg Kiselov’s ftp server and find his reflections on my Sendai paper. This should get you started. — Matthias > On Dec 28, 2017, at 6:33 PM, Mark Toujiline <[email protected]> wrote: > > Thank you everyone for the help. I went through the links and they were very > helpful. > > @Matthias The topic you propsed is the type of task that I was looking for. I > will suggest it to John to see if he will approve it for my senior project. > I read over ICFP 98, but could not find what you referred to as the "Sendai > paper". Could you provide a link to it? > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/afe2f354-47ba-47b1-b69a-393d07332251%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/73AB6CE4-F087-4A59-998A-E9D14DC11FB9%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
