To się pewnie da zrobić, ale w kontekście jednej, zamkniętej platformy, tak jak to robił/robi IBM.
Mamy zasadniczo jeden dominujący paradygmat programowania (strukturalne/proceduralne/obiektowe) (+jego odmiany i bliscy koledzy). Wydaje mi się że można stworzyć VM który będzie wydajny i dobry do większości języków opartych na tym paradygmacie (a i pewnie języki funkcyjne da się podciągnąć), przynajmniej te o statycznym typowaniu. Boję się jednak że taki projekt 'uniwersalnego' VM stworzyłby po prostu kolejne, używane przez małą grupę ;)
Atari: FireBee, (Falcon030 CT60e SuperVidel SvEthlana CTPCI), TT, (520ST Pak030 Frak PuPla Panther), (520ST 4MB ST RAM 8MB TT RAM CosmosEx SC1435), (1040STFM UltraSatan SM124), (1040STE 4MB ST RAM 8MB TT RAM CosmosEx NetUSBee SM144 SC1224), 260ST, 520 ST+, (MEGA ST SM125), (65XE Rapidus U1MB VBXE SIDE2 SIO2PC), (Jaguar SkunkBoard), Lynx II, 2x Portfolio