го слышал о разных языках JVM, все еще в режиме «испаритель», которые предлагают как-то реализовать реификацию. У меня есть эта нытье наполовину запомнившаяся (или полностью воображаемая, не знаю какая) мысль, что где-то я читал, что Scala каким-то образом воспользовался стиранием типа JVM, чтобы делать вещи, которые он не смог бы сделать с помощью овеществления. Что на самом деле не имеет смысла для меня, поскольку Scala реализована как на CLR, так и на JVM, поэтому, если бы reification вызвал какое-то ограничение, это проявилось бы в реализации CLR (если Scala на CLR просто не игнорирует reification) ,

Итак, есть ли хорошая сторона для стирания типа для Scala, или реификация - несомненная хорошая вещь?