Erstellen einer Haskell-Umgebung mit Docker + VS-Code unter Windows 10 Home
Einführung
Bis jetzt hatte ich mehr Möglichkeiten, Sprachen vom Typ Interpreter und dynamisch typisiert zu verwenden.
Als ich es berührte, hatte ich jedoch das Gefühl, dass *** keine "Enge" *** hatte. *** Ich habe gehört, dass der Satz "kann mit 70% Perfektion veröffentlicht werden", also denke ich, dass er nicht so streng ist ***.
Das ist natürlich eine gute Sache, und in der realen Welt denke ich, dass es stärker ist, weil es schnellere Veröffentlichungen ermöglicht.
Ich hatte jedoch das Gefühl, dass ich die Sprachen vom Compilertyp und vom statischen Typ ausprobieren und den Unterschied zwischen beiden verstehen möchte. (Obwohl es auch ein Präferenzproblem gibt, das meiner Meinung nach einfacher zu handhaben ist, wenn es solide ist)
Darüber hinaus habe ich beim Berühren von JavaScript, Python und PHP ein Gefühl dafür bekommen (ich habe nicht gesagt, dass ich es verstanden habe), daher bin ich neugierig, etwas zu berühren, das funktioniert.
Also beschloss ich, Haskell zu studieren.
*** Der Code wird sauber sein und ich erwarte einige nette Nebenwirkungen. *** ***
Als ich versuchte, loszulegen, gab es jedoch nur wenige Artikel zum Erstellen einer Umgebung unter Windows 10 Home (obwohl es einige Vorteile gab).
Also werde ich *** über das Erstellen einer Haskell-Umgebung unter Windows 10 Home *** zusammenfassen.
Umgebung
- Windows10 Home
- Docker (aus der Installation eingeführt)
Bei Verwendung von Docker
Zunächst werde ich erklären, wie Sie das Haskell-Image mit Docker abrufen und an der Eingabeaufforderung ausführen.
Beginnen Sie mit den Schritten zur Verwendung von Docker unter Windows 10 Home. Es wird bis zu dem Punkt gehen, an dem Sie Haskell sofort ausführen können.
① Aktivieren Sie "Linux-Subsystem für Windows"
Systemsteuerung → Programme → Windows-Funktionen aktivieren oder deaktivieren
Aktivieren Sie "Linux Subsystem for Windows" in. (Starten Sie dann den PC neu.)
② Installieren Sie Docker Desktop unter Windows Home
https://hub.docker.com/editions/community/docker-ce-desktop-windows/
Klicken Sie auf "Stabil werden".
③ Starten Sie Docker
Wenn Sie Docker starten, werden Sie beschimpft, "den Linux-Kernel aktualisieren"
https://docs.microsoft.com/en-us/windows/wsl/install-win10
Befolgen Sie Schritt 4 des Updates. Es wird in Ordnung sein und Docker wird funktionieren.
(* Es ist möglich, dass ich der einzige war, der beim Erstellen einer anderen Umgebung herumgespielt hat, aber die obige Seite ist leicht verständlich organisiert, sodass ich der Meinung bin, dass ich sie in der richtigen Reihenfolge ausführen sollte.)
④ Ziehen Sie das Haskell-Bild
Öffnen Sie eine Eingabeaufforderung und führen Sie Folgendes im entsprechenden Verzeichnis aus:
$ docker pull haskell
Sie erhalten ein Haskell-Bild.
danach,
$ docker run -it haskell
Wenn Sie den Container mit starten, wird er ohne Erlaubnis in den Container eingegeben. (Kurz gesagt, Haskell wird bald einsatzbereit sein.)
Wenn Sie Prelude> so bekommen, sind Sie erfolgreich.
Sie können es sofort tun.
Methode mit Docker + VS-Code
Tatsächlich können Sie mit VS Code mithilfe eines Editors mit Haskell herumspielen.
Mit anderen Worten, Sie können die hs-Datei im Container bearbeiten oder das Terminal über VS Code starten, ohne die Eingabeaufforderung zu verwenden.
① Installieren Sie VS Code
https://azure.microsoft.com/ja-jp/products/visual-studio-code/
Installieren Sie VS Code über den obigen Link.
② Installieren Sie Remote-Container
https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers
Installieren Sie die VS-Code-Erweiterung "Remote-Container" über den obigen Link.
③ Starten Sie den Container
Erstellen Sie ein entsprechendes Verzeichnis und öffnen Sie es mit VS Code.
Erstellen Sie daher eine Datei mit dem Namen ".devcontainer.json" und schreiben Sie Folgendes.
json:.devcontainer.json
{
"name" : "haskell",
"images" : "haskell",
"extensions" : "haskell.haskell"
}
Diese Datei verwaltet das zu ziehende Docker-Image und seine Einstellungen. Kurz gesagt, es ist ein Ersatz für Dockerfile.
VSCode scheint das Einstellungssystem mit einer JSON-Datei zu verwalten.
Drücken Sie dann "Grüne Taste unten links" -> "Remote-Container: Ordnercontainer öffnen ..." in der Reihenfolge der Bilder.
Damit wird alles getan, vom Abrufen des Docker-Images bis zum Starten des Containers.
Ab dem zweiten Mal werden Sie gefragt, ob Sie den Container unten rechts starten möchten. Sie können es neu starten, indem Sie auf "In Container erneut öffnen" klicken.
Wenn Sie dies oben tun, wird es ohne Erlaubnis in den Container eingegeben und ohne Erlaubnis zum Terminal hochgefahren. VS Code ist praktisch.
(Anfangs war es ziemlich verwirrend, aber die Eingabeaufforderung ist Windows, das Terminal ist Linux CLI. Es ist etwas kompliziert. Es scheint, dass die Windows Power Shell eine Erweiterung der Funktion ist, die auf der Eingabeaufforderung basiert.)
④ Haskell ausführen
Zu diesem Zeitpunkt können Sie haskell verwenden.
Am Terminal, das unten herauskam
$ stack ghci
Ausführen. Jetzt können Sie haskell interaktiv ausführen, genau wie an der Eingabeaufforderung.
Ghci ist übrigens eine Abkürzung für "Glasgow Haskell Compiler Interface". Es scheint, dass Haskell an der Glasgow University, einer Universität im Norden Englands, entwickelt wurde.
⑤ Bearbeiten und Ausführen der hs-Datei
Es ist schön, es interaktiv auszuführen, aber da ich einen Editor verwende, möchte ich Code in eine Datei schreiben und lesen.
haskell verwaltet durch Schreiben von Code in die hs-Datei.
Erstellen Sie beispielsweise eine Datei mit dem Namen "hello_world.hs" und schreiben Sie den folgenden Code.
hello_world.hs
main = putStrLn "Hello world!"
Dann am Terminal
$ stack runghc hello_world.hs
Ausführen. Dann wird alles von der Kompilierung bis zur Ausführung erledigt.
Jetzt ist es sonnig und du kannst Haskell laufen lassen!
schließlich
Diesmal ging es um das Verfahren zum Ausführen von haskell unter Windows 10 Home. Es war fast so, wie man Docker ausführt.
Ich denke, ich werde von nun an als Hobby damit spielen, also kann ich häufig Haskell-Material schreiben.
Ich möchte bald etwas Mathe-Material schreiben ~