HaskellおよびMikrokosmos開発環境構成ピット
HaskellおよびMikrokosmos(an educational Lambda calculus interpreter)ローカル開発環境構成ピット
このチュートリアルでは、Windowsコマンドラインツールの履歴のない開発環境のコンピュータのみを対象としています.Haskellは、Cabal(ライブラリ構築パッケージ)およびHaskell開発依存パッケージをChocolatey(ソフトウェア管理ソリューション)を使用してパッケージ化することを推奨しています.まず、インストール中にadministrative shell(PowerShell)が使用されることを確認します.
ExecutionPolicyの確認
うんてん
Get-ExecutionPolicy
Restrictedに戻ると実行
Set-ExecutionPolicy AllSigned
再実行
Get-ExecutionPolicy
AllSignedに戻るべきです
Chocolateyのインストール
うんてん
Set-ExecutionPolicy Bypass -Scope Process -Force; [System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; iex ((New-Object System.Net.WebClient).DownloadString(‘https://chocolatey.org/install.ps1’))
Chocolateyのインストール
インストール完了運転待ち
choco
バージョン番号を返すとChocolateyがインストールされました
HaskellおよびCabalおよび依存パッケージのインストール
うんてん
choco install haskell-dev
haskell開発環境のインストールを行います(このステップではネットワークの状況に応じてインストール速度を決定する可能性があります)
強制インストール(バグ、error、インストール失敗などを再インストール)
うんてん
choco install haskell-dev --force --force-dependencies
うんてん
refreshenv
shellの更新
すべてのパッケージが正しくインストールされている場合、Haskellコンパイラはテストできます.
うんてん
ghci
ghcコンパイラに入り、ghcバージョン番号を表示するとインストールに成功します.
λ> :q
ghciを終了しshellに戻る
うんてん
cabal --v
バージョン番号を返すとインストールに成功しました
うんてん
cabal update
cabalのバージョン更新チェック
gitのインストール
うんてん
choco install git
gitのインストール
tip:gitのインストールが完了したら、一部のコンピュータはpower shellを再開する必要があります.
うんてん
git --version
gitインストールをチェックし、バージョン番号を返すとインストールに成功します.
QuickCheckパッケージのインストール–オプション(Haskellユニットテスト)
うんてん
cabal install QuickCheck
Mikrokosmosのインストール
うんてん
git clone https://github.com/mroman42/mikrokosmos.git cd mikrokosmos cabal install
gitミラーによるインストール
インストールpip
うんてん
py -m pip --version
バージョン番号を返すと、パソコンにpip関連のパッケージがあることを示します(一般的にPythonをインストールしたコンピュータがこのパッケージを持っている可能性があります)
ない場合は、Anacondaパッケージを使用してPython開発環境をインストールするhttps://www.anaconda.com/
うんてん
py -m pip install -U pip
pip依存性の更新
imikrokosmosのインストール
うんてん
pip install imikrokosmos
インストールjupyter notebook
うんてん
pip install git+https://github.com/mroman42/jupyter-mikrokosmos.git@master
以上のすべてのインストールに成功した後、テストを行います.
うんてん
mikrokosmos
コンパイラに入る
[m (\x.x)(\y.y)
テストを行う
[m :quit
終了、Power shellに戻る
うんてん
jupyter notebook
jupyter notebook Webマネージャを開く
終わりだ!
添付:このチュートリアルはhttps://www.haskell.org/platform/windows.html https://chocolatey.org/install https://www.haskell.org/cabal/download.html https://pip.pypa.io/en/stable/installing/https://mroman42.github.io/mikrokosmos/userguide.html
このチュートリアルでは、Windowsコマンドラインツールの履歴のない開発環境のコンピュータのみを対象としています.Haskellは、Cabal(ライブラリ構築パッケージ)およびHaskell開発依存パッケージをChocolatey(ソフトウェア管理ソリューション)を使用してパッケージ化することを推奨しています.まず、インストール中にadministrative shell(PowerShell)が使用されることを確認します.
ExecutionPolicyの確認
うんてん
Get-ExecutionPolicy
Restrictedに戻ると実行
Set-ExecutionPolicy AllSigned
再実行
Get-ExecutionPolicy
AllSignedに戻るべきです
Chocolateyのインストール
うんてん
Set-ExecutionPolicy Bypass -Scope Process -Force; [System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; iex ((New-Object System.Net.WebClient).DownloadString(‘https://chocolatey.org/install.ps1’))
Chocolateyのインストール
インストール完了運転待ち
choco
バージョン番号を返すとChocolateyがインストールされました
HaskellおよびCabalおよび依存パッケージのインストール
うんてん
choco install haskell-dev
haskell開発環境のインストールを行います(このステップではネットワークの状況に応じてインストール速度を決定する可能性があります)
tip： ， A Y
， ， 3 shell
（ ）， ，
， （ ）
強制インストール(バグ、error、インストール失敗などを再インストール)
うんてん
choco install haskell-dev --force --force-dependencies
tip
うんてん
refreshenv
shellの更新
すべてのパッケージが正しくインストールされている場合、Haskellコンパイラはテストできます.
うんてん
ghci
ghcコンパイラに入り、ghcバージョン番号を表示するとインストールに成功します.
λ> :q
ghciを終了しshellに戻る
うんてん
cabal --v
バージョン番号を返すとインストールに成功しました
うんてん
cabal update
cabalのバージョン更新チェック
gitのインストール
うんてん
choco install git
gitのインストール
tip:gitのインストールが完了したら、一部のコンピュータはpower shellを再開する必要があります.
うんてん
git --version
gitインストールをチェックし、バージョン番号を返すとインストールに成功します.
QuickCheckパッケージのインストール–オプション(Haskellユニットテスト)
うんてん
cabal install QuickCheck
Mikrokosmosのインストール
うんてん
git clone https://github.com/mroman42/mikrokosmos.git cd mikrokosmos cabal install
gitミラーによるインストール
tip： mikrokosmos （cabal install mikrokosmos） hs error
インストールpip
うんてん
py -m pip --version
バージョン番号を返すと、パソコンにpip関連のパッケージがあることを示します(一般的にPythonをインストールしたコンピュータがこのパッケージを持っている可能性があります)
ない場合は、Anacondaパッケージを使用してPython開発環境をインストールするhttps://www.anaconda.com/
うんてん
py -m pip install -U pip
pip依存性の更新
imikrokosmosのインストール
うんてん
pip install imikrokosmos
インストールjupyter notebook
うんてん
pip install git+https://github.com/mroman42/jupyter-mikrokosmos.git@master
以上のすべてのインストールに成功した後、テストを行います.
うんてん
mikrokosmos
コンパイラに入る
[m (\x.x)(\y.y)
テストを行う
[m :quit
終了、Power shellに戻る
うんてん
jupyter notebook
jupyter notebook Webマネージャを開く
終わりだ!
添付:このチュートリアルはhttps://www.haskell.org/platform/windows.html https://chocolatey.org/install https://www.haskell.org/cabal/download.html https://pip.pypa.io/en/stable/installing/https://mroman42.github.io/mikrokosmos/userguide.html