Code Monkey home page Code Monkey logo

hs-linear-example's Introduction

I saw this post on HN and wanted to try it out, but installing nightly GHC was harder than expected. Here's how to avoid building from source, tested on Debian 10:

# grabbed from the latest commit to ghc master on gitlab. may need to change for other distro.
# artifact evidently expires in a month
cd ~/Downloads # or wherever
curl -LO https://gitlab.haskell.org/ghc/ghc/-/jobs/371731/artifacts/raw/ghc-x86_64-deb10-linux.tar.xz
mkdir -p ~/ghc-nightlies/
tar -xf ghc-x86_64-deb10-linux.tar.xz -C ~/ghc-nightlies
cd ~/ghc-nightlies/ghc-8.11.0.20200619/
mkdir pfx
./configure --prefix=$PWD/pfx
make install
export PATH=$HOME/ghc-nightlies/ghc-8.11.0.20200619/pfx/bin:$PATH
cd ~/repos/hs-linear-example # or wherever you checked this out
ghc Main.hs # cool, it compiled, now read Main.hs to see the cool linear type stuff

hs-linear-example's People

Contributors

rjeli avatar

Watchers

James Cloos avatar avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.