Are there any plans to implement something to parametrized modules like in Ocaml?

[Robert Kuzelj]

Or - god forbid - Type Classes? ;-)

Would be cool

Best regards

Robert

[Jack Fox]

IIRC it was explained to me that this would require a tricky modification to Microsoft IL, which no one wants to make without a very good reason. The regression testing required is pretty overwhelming, And if a bug does get through it is a huge problem. No one wants to touch IL unless absolutely necessary.