Yes, at least one. See Racket manifesto. Any takers? Start with Shriram's dissertation perhaps we need to go back there.
On Apr 26, 2015, at 4:43 PM, Neil Toronto wrote: > On 04/26/2015 02:39 PM, Matthias Felleisen wrote: >> >> Once again, this is an instance where you'd really like to abstract the >> library over the language into which its exports are imported. This is a >> constant struggle for me, and I'd like to solve it. > > Typed Racket has a good solution in the small, for abstracting over typed vs. > untyped uses of the same library code. Well, at least for runtime values. > > Generalizing it from 2 to n languages smells like a dissertation to me, and > that's without macros involved. > > Neil ⊥ > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
