Haskell 以及 Mikrokosmos 开发环境配置踩坑

Haskell 以及 Mikrokosmos (an educational Lambda calculus interpreter) 本地开发环境配置踩坑

本教程仅针对无 Windows 命令行工具 历史开发环境的计算机：
Haskell官方推荐使用 Chocolatey （软件管理解决方案）对 Cabal （库构建打包器）以及 Haskell 开发依赖包 进行打包安装
首先， 确保在整个安装过程中使用 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 进入下面附加步骤进行强制安装
如在安装中出现错误（显示为红色），导致依赖包安装不完全，也进入下面附加步骤进行强制安装
如顺利安装完成所有所需依赖，则会返回已安装的包列表 （显示为绿色）

---

强制安装 （对安装中出现bug，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 网页管理器

---

完！

附：本篇教程参考于
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