If you know a type theorist who could check over my paper without any obligations to the ECOOP programming committee so I could finally have someone confirm that this algorithm isn't Doomed To Failure, that would be incredibly helpful.
Also, if you could come up with any neat ideas on the following matter, that would be great.
Thanks, a fun new OS to look at too. I don't know any type theorists, and I'm afraid I'm not much of one myself (yet). I'm mostly just looking forward to something DRYer and safer than C for low-level programming. I'll do my best to grok the type class versus multimethod thing. That seems to be within reach.
I'll do my best to grok the type class versus multimethod thing. That seems to be within reach.
Thanks, actually. My brain one-tracks itself too often to handle everything.
In the meanwhile, I'm taking a look at the paper below, "Integrating Nominal and Structural Subtyping". If its type-system works the way I intuit it does, I might be able to tear out both existential types and sum types from Deca and replace them with something more familiarly object-oriented-looking. The bit-level implementation would work a lot like Deca's current existentials and extensible sum types, but the syntax would transform to become more Scala-like (I really like Scala) and I could substitute class extension for existential packaging.
Hmmm... If you think of all parameter lists as tuples with some anonymous type, [un]packed transparently like Python parameter lists, then a multimethod defines a type class with one method (itself), the set of parameter lists to which it can be applied. So it would seem that multimethods can be a special case of type classes. That's the best I can do right now, assuming I've understood all the terms. Maybe you can do more with it.
Figuring out what type classes have to do with implicit parameters will take more than one afternoon of reading. It seems I can't read the other paper because I'm not an ACM member. But I guess Deca is going to be delayed again? :)
http://hasp.cs.pdx.edu/
And keep it up on Deca. We need it. ;)
If you know a type theorist who could check over my paper without any obligations to the ECOOP programming committee so I could finally have someone confirm that this algorithm isn't Doomed To Failure, that would be incredibly helpful.
Also, if you could come up with any neat ideas on the following matter, that would be great.
http://marmoach.blogspot.co.il/2011/10/multi-method-type-cla...