Wäre es technisch möglich? Wenn es in Java implementiert werden soll, würde ich "sehr, sehr schwer, aber möglich" ohne signifikanten Leistungsverlust sagen.
Ich schreibe gerade ein statisch typisiertes DSL in Java von Hand. Die einzige Möglichkeit, die Überprüfung des Laufzeit-Typs zu vermeiden, besteht darin, Generika zu verwenden und "ungeprüfte" Warnungen zu unterdrücken ... das heißt, bis die Zeit für die Implementierung gekommen ist mehrdimensionale Arrays (Klassenparameter müssen zur Kompilierungszeit bekannt sein und sind daher von Natur aus endlich, während mehrdimensionale Arrays eine unendliche Anzahl von Typen darstellen ...) Ich versuche leider immer noch, dies herauszufinden - ich bin mir sicher, dass ich Bei benutzerdefinierten Klassen treten ähnliche Probleme auf.
Ich stolpere immer wieder über diese Art von Problemen, aber nachdem ich eine Weile darauf gesessen habe, finde ich eine gute Lösung. Also, es zu tun , und die haben Leistung Vorteile der statischen Typisierung (keine Laufzeittypprüfung), würde ich sagen , es ist extrem schwierig, aber nicht unmöglich. Abzüglich der Leistung würde ich hart sagen, aber sehr gut möglich.
Ich weiß, dass es eine alte Frage ist, dachte nur, dass meine Erfahrung für jemanden wertvoll sein könnte.