Modula-3 ist eineimperative,objektorientierte Programmiersprache. Sie versteht sich als Nachfolger vonPascal,Modula-2,Modula-2+ undCedar und wurde vonDEC undOlivetti entwickelt. Sie wurde in der Tradition der Sprachen vonNiklaus Wirth unter den Gesichtspunkten der Einfachheit und Strenge entwickelt, an der Entwicklung war Wirth allerdings nur als Berater beteiligt. Die Einfachheit bezieht sich hierbei auf den Sprachumfang (Die Sprachdefinition von Modula-3 umfasst 60 Seiten) und nicht auf die Länge der Programme oder auf eine Orientierung an persönlichen Programmiergewohnheiten.

Modula-3 besitzt folgende Eigenschaften:

• eine saubere und robusteSyntax
• strenge und statischeTypen
  • Ordinale Typen:Ganze Zahlen,Aufzählungen,Zeichen,Wahrheitswerte
  • Unterbereiche ordinaler Typen
  • Mengen über ordinalen Typen
  • Felder mit ordinalen Typen als Indizes
  • Gleitkommazahlen
  • Texte
  • Datenverbünde undObjekte
  • Unterprogramme undFunktionen
• Module
• Generische Module(templates)
• teilweise Aufdeckung von Untertypbeziehungen(partial revelation)
• automatische Speicherbereinigung(garbage collection)
• Ausnahmebehandlung(exceptions)
• nebenläufige Programmierung(threads)
• Trennung von sicheren und unsicheren Programmteilen

Die oben genannten Konzepte wurden regelrechtminimalistisch umgesetzt.Dies erleichtert die Einarbeitung für jemanden, der mit diesen Konzepten vertraut ist.

• Objektorientierung besteht im Wesentlichen aus dem Typ OBJECT.

TYPET=OBJECTa:INTEGER;METHODSm(arg:CHAR;):=P;END;

Dies definiert den TypT für Objekte, welche die Objektvariablea und die Methodem enthalten. Die Methodem wird implementiert, indem man ihr eine ProzedurP zuweist. Diese muss die Signatur

 PROCEDURE P (self: T; arg: CHAR; );

besitzen.

Es gibt keine ausgezeichneten Methoden wie Konstruktoren und Destruktoren. Allerdings lassen sich Objektvariablen per Typdefinition in einen definierten Anfangszustand versetzen.

• Kapselung wird durch die vonModula-2 bekannte Trennung in Schnittstelle und Implementation erreicht. Durch die teilweise Aufdeckung von Untertypbeziehungen (REVEAL) können darüber hinaus beliebig feine Abstufungen von Zugriffsmöglichkeiten definiert werden. Dies ist in gewisser Weise eine Verallgemeinerung derpublic-protected-private-Hierarchie und derfriends-Vereinbarungen vonC++.

• Mit Typen parametrisierte Datenstrukturen lassen sich mitgenerischen Modulen realisieren. Generische Module unterscheiden sich von normalen Modulen durch Modul-Parameter. In gewisser Weise kann man damit ausgewählteIMPORT-Anweisungen variabel halten. Nachteil dieser einfachen Realisierung ist, dass generische Module nicht direkt übersetzt werden können, sondern nur ihre Ausprägungen.

DieDEC wurde 1998 anCompaq verkauft; diese wiederum ging 2002 inHewlett-Packard auf. Pflege und Weiterentwicklung der Quellen der wichtigsten Modula-3-Compiler wurde vonElego Software Solutions übernommen. Seit der Übernahme wird vor allemCritical Mass Modula-3 stetig weiterentwickelt. Die Quellen sowie Binärpakete für eine Reihe von Betriebssystemen können frei (unter einer wenig restriktiven Lizenz etwa im Vergleich zur GPL) heruntergeladen werden.

• Modula-3-Ressourcen mit FAQ, Bibliographie und Links zu verschiedenen Implementierungen
• Modula-3: Tutorial zum leichten Einstieg
• Modula-3: Installation unter Windows
• Newsgroup zu Modula-3
• Laszlo Boszormenyi & Carsten Weich,Programming in Modula-3: An Introduction in Programming in Style: program examples (Memento vom 14. August 1997 imInternet Archive)

• Objektorientierte Programmiersprache