This is apropos of Mario's work developing MM0 and translating to it and from there to other formalisms. I am reporting this in the hope it may be useful to others. My result is an installation of Haskell with its "stack" tool on a Mac laptop, but along the way I also tried to install onto the "jessie" release of Debian Linux.
Installing GHC (the Haskell compiler) and the "stack" tool using the official Haskell image on Docker Hub is looking like a success at this point. The image is large -- IIRC 200MB download and looks to be a bit over 1GB on disk, but functions well for me, and Docker makes it easy to discard at some future time if I wish. I would suggest downloading with $ docker pull haskell:8.6.3 as that image and its GHC matches the expectations of Mario's stack.yaml configuration, though you should be able to override that configuration with a command line option. I did have to increase the memory allowed to "Docker Engine" in the Docker Desktop preferences. 1GB RAM was not enough, and building Mario's mm0-hs failed with somewhat obscure messages that mentioned possible "out of memory". 4GB has worked fine so far. My old Macbook Air has 8GB physical RAM. Along the way I tried installing onto a virtual server that I use as a web server, running the "jessie" distribution of Debian Linux. Given the modest resources of the server, this was an abject failure. The procedure I followed was as described at https://docs.haskellstack.org/en/v1.0.2/install_and_upgrade/#debian, followed by $ stack build mm0-hs which ran for a couple of hours compiling many Haskell system modules, but was far short of completion. Newer Linux distros probably have much better support, i.e. requiring much less building from source code. Mario, did you set up the Haskell system you used? If so, perhaps you have some advice. If anyone else wants to set up Haskell, especially on Mac, I am glad to help. There is a little more to know about using Docker effectively, which I am not trying to document right now. Regards, Cris -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAOoe%3DWLyMqQjFa%2BXnJdFD_SC75HfGoWfJ7TiLxo-_-xXRc0_ng%40mail.gmail.com.
