.CMI Dateiendung
Kompilierte OCaml-Schnittstelle
| Entwickler | Inria |
| Beliebtheit |
3,0 | 3 Stimmen |
Was ist eine CMI-Datei?
Eine CMI-Datei ist eine kompilierte OCaml-Schnittstellendatei. Sie enthält Datentyp- und Variablendefinitionen, die von einer in OCaml entwickelten Anwendung verwendet werden. CMI-Dateien werden durch das Kompilieren von OCaml .ML- oder MLI-Dateien erstellt.
Weitere Informationen
Objective Caml (OCaml) ist eine auf ML basierende Programmiersprache, die hauptsächlich zum Erstellen von Anwendungen für symbolische Berechnungen und zum Vermitteln von Programmierkenntnissen verwendet wird. Um mit der Erstellung einer Anwendung zu beginnen, die sie mit OCaml entwickelt haben (d. h. eine ausführbare Datei dafür zu erstellen), muss ein Entwickler zunächst die ML- und MLI-Dateien der Anwendung kompilieren. Wenn der Entwickler seine ML- oder MLI-Datei kompiliert, erstellt OCaml eine CMI-Datei.
Die CMI-Datei enthält eine kompilierte Definition der Datentypen und Variablen, die in der Anwendung des Entwicklers enthalten sind. Zusammen mit den während des Kompilierungsvorgangs erstellten CMO-Dateien wird die CMI-Datei verwendet, um die ausführbare Datei der Anwendung weiter zu erstellen.
So öffnen Sie eine CMI-Datei
CMI-Dateien sind nicht zum Öffnen vorgesehen. Entwickler verwenden CMI-Dateien, um OCaml-Anwendungen zu erstellen (ausführbare Dateien dafür zu erstellen).