Eine OOP Sprache mit echtem Messaging, das stelle ich mir so vor, dass jedes Objekt in einem eigenen Thread läuft, Botschaften in eine Input Queue gestellt bekommt […]. Auch Properties werden über Messaging ausgelesen. Keine Ahnung, ob schon mal jemand sowas gebaut hat.
Kennst du das Actor Model? Erlang und Elixir sind zwei prominente Vertreter davon, auch wenn sie eher als funktional denn als objektorientiert klassifiziert werden.
Ich selber arbeite gerade übrigens an MontiArc, das ist eine Programmiersprache für verteilte Systeme. System-Designer*innen erstellen damit Modelle und Spezeifikation und im Hintergrund wird automatisch überprüft, ob das Modell die Spezifikation erfüllt. Unser Concurrency-Modell ist dem Actor Model auch sehr ähnlich.