Création d'un environnement haskell avec Docker + VS Code sur Windows10 Home

introduction

Jusqu'à présent, j'ai eu plus d'occasions d'utiliser des langages de type interprète et à typage dynamique.

Cependant, en le touchant, j'ai senti que *** manquait de «tension» ***. *** J'ai entendu l'expression "peut être libéré avec 70% de perfection", donc je pense que ce n'est pas si rigoureux ***.

Bien sûr, c'est une bonne chose, et dans le monde réel, je pense que c'est plus fort car cela permet des versions plus rapides.

Cependant, j'ai senti que j'aimerais essayer les langages de type compilateur et de type statique et saisir la différence entre les deux. (Bien qu'il y ait aussi un problème de préférence que j'estime qu'il est plus facile à gérer s'il est solide)

De plus, en ce qui concerne l'orientation objet, je l'ai ressenti en touchant JavaScript, Python et PHP (je n'ai pas dit que je l'avais compris), donc je suis curieux de toucher quelque chose de fonctionnel.

J'ai donc décidé d'étudier Haskell.

*** Le code sera plus propre et je m'attends à de beaux effets secondaires. *** ***

Cependant, lorsque j'ai essayé de commencer, il n'y avait que quelques articles sur la création d'un environnement sur Windows 10 Home (bien qu'il y ait eu pas mal de pros).

Donc, je vais résumer *** sur la création d'un environnement haskell sur Windows 10 Famille ***.

environnement

• Windows10 Home
• Docker (introduit à partir de l'installation)

Lors de l'utilisation de Docker

Tout d'abord, je vais expliquer comment extraire l'image haskell avec Docker et l'exécuter à partir de l'invite de commande.

Commencez par les étapes pour utiliser Docker sur Windows 10 Famille. Cela ira au point où vous pouvez exécuter haskell à la fois.

① Activez "Sous-système Linux pour Windows"

Panneau de configuration → Programmes → Activer ou désactiver les fonctions Windows

Activez «Linux Subsystem for Windows» dans. (Puis redémarrez le PC)

② Installez Docker Desktop sur Windows Home

https://hub.docker.com/editions/community/docker-ce-desktop-windows/

Cliquez sur "Get stable".

③ Démarrez Docker

Lorsque vous démarrez Docker, vous serez grondé pour "mettre à jour le noyau Linux", donc

https://docs.microsoft.com/en-us/windows/wsl/install-win10

Suivez l'étape 4 de la mise à jour. Ce sera bien et Docker fonctionnera.

(* Il est possible que je sois le seul à déconner lors de la création d'un autre environnement, mais la page ci-dessus est organisée de manière facile à comprendre, je pense donc que je devrais l'exécuter dans l'ordre.)

④ Tirez l'image Haskell

Ouvrez une invite de commande et exécutez ce qui suit dans le répertoire approprié:

$ docker pull haskell

Vous obtiendrez une image haskell.

ensuite,

$ docker run -it haskell

Lorsque vous démarrez le conteneur avec, il entrera dans le conteneur sans autorisation. (Bref, haskell sera bientôt prêt à être utilisé)

Si vous obtenez Prelude> comme ça, vous réussissez.

Vous pouvez le faire tout de suite.

Méthode utilisant Docker + VS Code

En fait, VS Code vous permet de jouer avec haskell en utilisant un éditeur.

En d'autres termes, vous pouvez modifier le fichier hs dans le conteneur ou lancer le terminal à partir de VS Code sans utiliser l'invite de commande.

① Installez VS Code

https://azure.microsoft.com/ja-jp/products/visual-studio-code/

Installez VS Code à partir du lien ci-dessus.

② Installer des conteneurs distants

https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers

Installez l'extension VS Code "Remote-Containers" à partir du lien ci-dessus.

③ Lancez le conteneur

Créez un répertoire approprié et ouvrez-le avec VS Code.

Par conséquent, créez un fichier appelé ".devcontainer.json" et écrivez ce qui suit.

json:.devcontainer.json

{
    "name" : "haskell",
    "images" : "haskell",
    "extensions" : "haskell.haskell"
}

Ce fichier gère l'image Docker à extraire et ses paramètres. En bref, c'est un substitut à Dockerfile.

VSCode semble gérer le système de paramétrage avec un fichier json.

Ensuite, dans l'ordre des images, appuyez sur "Bouton vert en bas à gauche" -> "Remote-Containers: Open Folder Container ...".

Avec cela, il fera tout, de l'extraction de l'image Docker au lancement du conteneur.

Dès la deuxième fois, il vous sera demandé si vous souhaitez lancer le conteneur en bas à droite. Vous pouvez le redémarrer en appuyant sur "Rouvrir dans le conteneur".

Si vous faites ce qui précède, il entrera dans le conteneur sans autorisation et se lancera jusqu'au terminal sans autorisation. VS Code est pratique.

(C'était assez déroutant au début, mais l'invite de commande est une CLI Windows et le terminal est une CLI Linux. C'est un peu compliqué. Il semble que le shell d'alimentation de Windows soit une extension de la fonction basée sur l'invite de commande.)

④ Exécuter haskell

À ce stade, vous pouvez utiliser haskell.

Au terminal qui est sorti ci-dessous

$ stack ghci

Éxécuter. Vous pouvez maintenant exécuter haskell de manière interactive, comme vous l'avez fait à l'invite de commande.

Au fait, ghci est une abréviation de "Glasgow Haskell Compiler Interface". Il semble que haskell a été développé à l'Université de Glasgow, une université dans la partie nord de l'Angleterre.

⑤ Modifier et exécuter le fichier hs

C'est bien de l'exécuter de manière interactive, mais comme j'utilise un éditeur, je veux écrire du code dans un fichier et le lire.

haskell gère en écrivant du code dans le fichier hs.

Par exemple, créez un fichier appelé "hello_world.hs" et écrivez le code suivant.

hello_world.hs

main = putStrLn "Hello world!"

Puis au terminal

$ stack runghc hello_world.hs

Éxécuter. Ensuite, il fera tout, de la compilation à l'exécution.

Maintenant, il fait beau et vous pouvez courir haskell!

enfin

Cette fois, il s'agissait de la procédure pour exécuter haskell sur Windows 10 Famille. C'était presque comment exécuter Docker.

Je pense que je vais jouer avec lui comme passe-temps à partir de maintenant, donc je peux écrire fréquemment du matériel haskell.

Je veux bientôt écrire du matériel mathématique ~