Thanks to everyone who replied to this. It was interesting hearing all your thoughts! I've decided to use *incarnation* to distinguish type instantiation from value instantiation on http://scala.zone . This is non-standard, but I hope others can find it a useful distinction!https://twitter.com/propensive/status/1354080968810897408 …
By the way, if anyone has a good reason why I shouldn't use "incarnation", it's not too late to stop me, and I'll just go with "variant" instead!
-
-
Unsure if someone already reported this, but I just recalled that
#Eiffel uses the term "derivation", and argues against the use of instantiation for the same reason that you mentioned in your first post. Quite non-standard term though... See http://se.ethz.ch/~meyer/ongoing/etl/generic.pdf …pic.twitter.com/Hi6tG1p4ps
-
Oh, I'm glad I'm not alone in my concern about "instantiation"! Derivation (of the generic variety) obviously has its own meaning over in Scala, so I wouldn't choose that, but I can see why Eiffel chose it.
End of conversation
New conversation -
-
-
I’d have a reason not to use variant because of polymorphic variants being something different already.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.