ML IDE und Compiler für Windows oder Linux oder Mac
Habe ich code schreiben, in ML und es ist mein erstes mal das ich dabei bin die Sprache zu verwenden.
Gibt es eine Entwicklungsumgebung für Standard ML? (vorzugsweise unter Windows). Ich versuchte googeln (und stackOverFlowing ! - ) aber alles was ich finden konnte war eine klare Compiler für Linux (bei den meisten, die mit einer interaktiven Konsole), aber keine IDE noch Eclipse/NetBeans plugin.
Irgendwelche Vorschläge ?
InformationsquelleAutor der Frage Sajad Bahmani | 2010-01-10
Du musst angemeldet sein, um einen Kommentar abzugeben.
Konfigurieren SML mit Sublime Text 2
Für diejenigen, die lieber Sublime Text statt des Emacs der editor der Wahl, um das Programm SML, die folgende Anleitung beschreibt das konfigurieren von Sublime Text arbeiten mit SML.
Für diese Anleitung, für Sie zu arbeiten, müssen Sie bereits installiert haben smlnj.
Schritt 1: Installieren von Sublime Text-und Package-Control
Start von Download Von Sublime Text 2. Stellen Sie sicher, dass die download-version für 2, weil der SML-syntax unterstützt, funktioniert zwar noch nicht mit version 3.
Sublime Text unterstützt eine erstaunliche Menge von Paketen (z.B. plugins), die man getrennt installieren. Eines dieser Pakete ist das Paket aufgerufen Kontrolle. Sie müssen zuerst Install Package Control zu werden in der Lage, andere Pakete mit installieren, die direkt aus der Redaktion. Der link erklärt, was Sie tun müssen, um dieses Paket zu installieren.
Schritt 2: Installieren SML und Erhabenen REPL
Nun, Sie haben Package Control installiert, es ist wirklich einfach zu installieren anderer Pakete. Es gibt zwei Pakete, die wir installieren müssen, nun: SML unterstützt syntax-highlighting-Funktionen für die Programmiersprache und SublimeREPL, die, wie Sie vielleicht erraten, ist ein Paket, das fügt REPL Fähigkeiten für viele verschiedene Programmiersprachen zu Sublime Text.
Installieren Sie diese Pakete müssen Sie in der Menüleiste und suchen Sie nach Extras -> Command-Palette und geben Sie "Paket Installieren". Im Suchfeld schreiben Sie den Namen des Pakets, die Sie installieren möchten, wählen Sie Ihr Paket aus der Liste, und drücken Sie die EINGABETASTE, um es zu erhalten installiert. Tun Sie dies für die zwei Pakete, die oben erwähnt ist: "SML" und "SublimeREPL"
Wenn Sie installiert haben die SML-Paket, wenn Sie öffnen Sie eine SML-Datei, sollte man eine syntax-highlighting-Funktionen im editor. Es bietet sogar eine Sublime Text Theme genannt, Sohn von Obsidian, die Ihnen ermöglichen könnte, in den Einstellungen -> Farbgebung -> SML -> Sohn von Obsidian. Aber Sie sind nicht erforderlich, damit das Thema arbeiten mit SML, dies ist nur eine Präferenz.
Sobald Sie installiert haben das SublimeREPL Paket werden Sie in der Lage, gehen Sie zum Menü Tools -> SublimeREPL -> SML und öffnen Sie eine SML-REPL-Sitzung, die unterstützt syntax-highlighting mit der SML-Paket, und die Kommando-history, line Bearbeitung und Vervollständigung. Können Sie Ihr Leben wirklich einfach, wenn Sie öffnen zwei side-by-side-tabs und in der linken Registerkarte können Sie Ihre SML-code-Datei und in der rechten Seite SML-REPL-Sitzung. Sie können tun, dass mit Hilfe des Ansicht -> Layout-Optionen.
Schritt 3: Tastatur-Shortcuts
Nun fügen wir ein paar Tastatur-shortcuts, um die Arbeit mit der REPL. Die SublimeREPL Paket bietet wenig Konfiguration der Tastatur, und diejenigen, die bereitgestellt werden, sind wahrscheinlich nicht gehen, um gut zu funktionieren mit den SML-REPL. Also das ist, was ich normalerweise tun.
Bearbeiten Sie die Datei
Default.sublime-commands
in Sublime Text selbst. Diese Datei enthält die aktuellen SML-Menü-Optionen innerhalb des Tools -> SublimeREPL Menü. So, jetzt werden wir es ändern, und erstellen Sie eine zweite option, die ausgeführt werden können eine vorhandene Datei in eine neue SML-REPL-Sitzung. Meine bearbeitete Datei sieht wie unten gezeigt. Beachten Sie die "id" - Feld. Wir können definieren, wie viele verschiedene Befehle, wie wir wollen, geben Sie eine andere ID. Im nächsten Schritt definieren wir, was jeder Befehl macht.Nun in das gleiche Verzeichnis wie die Vorherige Datei, Bearbeiten Sie die
Main.sublime-menu
- Datei. Diese Datei enthält die details von dem, was jeder Befehl, den Sie oben definiert sind, sollte es tun. Meine bearbeitete Datei definiert die beiden Befehle oben beschrieben, ein, öffnen Sie einfach die REPL und einer zum öffnen der aktuellen Datei in die REPL. Es sieht wie folgt aus:Den letzten Schritt fügen Sie die Tastaturkürzel für diese beiden Befehle. Gehen Sie zu Einstellungen -> Key Bindings-User und Bearbeiten Sie die Datei mit den folgenden zwei zusätzlichen Befehlen. Fühlen Sie sich frei zu ändern, meine Schlüssel und verwenden Sie, was andere Tastenkombinationen, die Sie als angemessen erachten, sofern Sie nicht für andere Funktionen.
Und wir sind fertig. Jetzt können Sie öffnen Sie die SML-REPL einfach durch drücken von STRG+J,K (dies ist, drücken Sie Strg+Alt+J, dann loslassen der Tasten und drücken die Taste K). Und wenn Sie gerade arbeiten in einer SML-Datei, können Sie drücken Sie STRG+J,Mum es zu senden, um eine neue SML-REPL-Sitzung.
Schritt 4: Build-System
Sublime Text bietet Konfigurationen, ermöglicht es Ihnen, zu analysieren, Ihre code-Datei und bestimmen Sie, wenn etwas falsch ist, lassen Sie Sie wissen genau, wo das problem ist. Um dies zu tun, müssen wir konfigurieren ein "build-system". Die Konfiguration ist einfach eine Datei, die sagt, sublime text, welcher Befehl ausgeführt werden und wie interpretieren Sie die Ausgabe. Wenn sml-parser bekommt, um nicht zu analysieren oder führen Sie Ihr Programm dann die Ausgabe sagt Ihnen, wo das problem ist. Das build-system ermöglicht uns einen entsprechenden regulären Ausdruck definieren, analysieren das Ergebnis und helfen Sublime text finden Sie die Zeile und Spalte mit dem problem.
Gehen Sie zu Einstellungen -> Durchsuchen von Paketen und unter dem Ordner "Benutzer" erstellen Sie eine neue Datei mit dem Namen
SML.sublime-build
und definieren Sie die Datei wie folgt:Stellen Sie sicher, ersetzen Sie den Befehl Pfad mit Gültiger Pfad in Ihrem system. Sobald Sie die Datei gespeichert haben, können Sie gehen Sie zum Menü und wählen Sie Extras -> Build-System -> SML. Dann, überprüfen Sie Ihre Datei, die Sie tun können, Tools -> Bauen, analysiert Ihre Datei und Fehler finden. Und über die Menü-option Tools -> Build-Result -> Nächstes Ergebnis und Bisherige Ergebnis können Sie navigieren zwischen den erkannten Fehler durch das build-system option und Sublime Text positionieren Sie den cursor in die genaue position des Fehlers wie bereits berichtet, von den SML-compiler.
Meine reguläre Ausdruck oben ist vielleicht nicht die beste, so fühlen sich frei, es zu verbessern, wie Sie sehen, passen.
Und das ist es. Du bist ziemlich beginnen, Programmieren mit SML und Sublime Text.
InformationsquelleAutor der Antwort Edwin Dalorzo
Können Sie Isabelle/jEdit als IDE für die Isabelle/ML oder offizielle Standard ML (SML'97). Die zugrundeliegenden ML-system ist Poly/MLwelches sich durch seine Unterstützung für multicore-hardware.
Streng genommen die Isabelle-Umgebung für interaktives und automatisches beweisen, aber seine SML IDE-Unterstützung ist ziemlich anspruchsvoll: source-Dateien sind statisch überprüft und semantisch ausgewertet wird, während der Benutzer bearbeitet. Die kommentierten Quellen markup-Elemente enthalten, über die inferred-Typen, - Referenzen zu definieren, die Positionen der Elemente etc.
Als einen schnellen start finden Sie in der Dokumentation panel, Abschnitt Beispiele, Eintrag
src/Tools/SML/Examples.thy
(Isabelle2014).InformationsquelleAutor der Antwort Makarius
Beim arbeiten mit SML auf Windows, ich habe mit SML/NJ für die Erstellung und Notepad++ editieren (Notepad++ hat syntax-Einfärbung für Caml, die sollten identisch sein SML für Ihre Bedürfnisse).
Wie bereits erwähnt, für ML-ein einfacher editor ausreichen sollte.
InformationsquelleAutor der Antwort Oak
Für SML einige Emacs-Modi vorhanden sind. Überprüfen Sie http://mlton.org/Emacs für weitere Informationen.
Den sml-Modus sollten Sie eine gute Umgebung für das schreiben von SML code. Eclipse & Co. wurden entwickelt, aufgrund der Tatsache, dass java erfordert eine Menge boilerplate Sachen wie Zugriffsmethoden, Adapter und so weiter. Wenn Sie erfordern die gleichen Funktionen für die ML, dann sollten Sie überprüfen, ob Sie nicht over-engineering.
Edit: und durch die Art und Weise, SMLNJ Schiffe mit einem eclipse-plugin. Ich kann nicht einen link posten, obwohl, google einfach smlnj eclipse .
InformationsquelleAutor der Antwort Damg
Ich entwickle Schema IDE für Windows. Es heißt "Babbage" . Es hat auch Modus für OCaml-und SML. Es ist wie ein minimum Emacs. Babbage ist sehr einfach und hat wie windows-Taste zuweisen. Babbage ist Unicode-editor.
http://homepage1.nifty.com/~skz/Entry/babbage.html
InformationsquelleAutor der Antwort kenichi sasagawa
Eclipse können so eingerichtet werden, erhalten Sie viel nützliche Funktionalität, ohne ein ausgeklügeltes bestimmten Sprache plug-in.
Ich behaupte, eine Handbuch für das einrichten von Eclipse für neue Sprachen. Einige highlights aus diesem Dokument:
Syntax Farben können Hinzugefügt werden-entweder mit der Eclipse Colorer. Sie sind plugins, die syntax-Farben für eine große Anzahl von Sprachen, darunter auch SML und OCaml. Neue Sprachen können einfach Hinzugefügt werden über eine benutzerdefinierte Farbe-Dateien.
Zu bauen mit einem externen compiler von innen Eclipse die standard - Programm-generator Funktion verwendet werden kann. Der builder ausgeführt wird, wenn die normale Projekt Erstellen - Befehl ausgegeben wird. Um einen neuen generator: Projekt-Eigenschaften -> Bauherren -> Neu... -> Programm oder verwenden Sie den Gelegt Build-Marker-plug-in unter.
Zu erfassen, kompilieren Fehler und Warnungen von einem externen generator ein build-Ausgabe-parser verwendet werden kann. Legte Builder Marker ist ein plug-in implementiert eine solche Parser. Der Parser setzen problem-Marker in der Redaktion und in der Problemansicht. Dieses plug-in kann auch verwendet werden, um add Program Bauherren-Projekte. Der builder für Kabalen können verwendet werden, als Ausgangspunkt.
Zu laufen kompilierte Programme, die von innen Eclipse die Verwendung der Externe Tools Funktion. (Laufen -> Externe Tools)
Erweiterte Unterstützung für code-navigation und Textauswahl können Hinzugefügt werden, mit einigen der anderen Gelegt-Projekt-plugins: Die Marker-Block-Auswahl plug-in kann verwendet werden, um den text auszuwählen, eingeschlossen werden Klammern. Die Editor-Dienstprogramme plug-in kann verwendet werden, um, unter anderem, springen zwischen den Blöcken von code, getrennt durch Leerzeilen.
Verwenden Sie die standard - Wortergänzung Befehl (Shift+Alt+7) als eine Arme person, die den Inhalt unterstützen.
Verwenden Sie die standard - Toggle-Block-Auswahl Befehl (Shift+Alt+A) einfügen/entfernen die Online-Kommentare über mehrere Zeilen gleichzeitig.
Einige andere nützliche standard-Eclipse-features gehören:
Update-site für das Projekt Gelegt:
Update-site für Eclipse Colorer:
Disclaimer: ich bin der Autor von dem Projekt Gelegt.
InformationsquelleAutor der Antwort Lii