Three Dollar Quill

Okay, I spent some more thought on the question of "what if there's a generic function and a specific function", and on reflection, I think I do need to handle it somehow. Encountering the behavior seems like it involves un-idiomatic code, but I can't wriggle out of this by being all like "well, you shouldn't write that".

The question I need to ponder (and figure out how to test in OCaml or read the documentation on) is, "does a module containing a generic function satisfy a module signature containing an instantiation of that generic function type?"

...

Actually, that's a good question, but looking at specifically the scenario on page 12 of the COCHIS paper, I feel like there's something Scala is allowing that the design I'm groping towards does not, but I can't really tell for sure. I'll have to just accept that this is apparently a problem in Scala, and read the rest of the paper.

I feel like wrapping up this post early-ish and going through as much of the paper as I feel like after.

Good night.