[Haskell-cafe] dependent types, singleton types....

Carl Eyeinsky eyeinsky9 at gmail.com
Wed Apr 29 18:54:47 UTC 2015

As Richard said, you don't need much of cabal for dependent types. BUT, a
scenario that has worked for me is: install ghc and cabal-install from your
package manager, update cabal-install via cabal ("cabal install
cabal-install"), and install all else in a sandbox. Works predictably if
something fails as you can just wipe the sandbox.

Here is something to refer to if one wishes to go deeper :)

On Wed, Apr 29, 2015 at 4:42 PM, Richard Eisenberg <eir at cis.upenn.edu>

> On Apr 29, 2015, at 8:54 AM, "Nicholls, Mark" <nicholls.mark at vimn.com>
> wrote:
> > Accchhhh
> >
> > Thats another level of pain
> It is, unfortunately.
> > , i'm not a big haskeller so i'll have to wrestle with it to get all the
> knobs and dials working, leave it with me for the moment and i'll start
> wrestling with cabal
> You won't need cabal and such. Just say `data family Sing (a :: k)` in
> your file and you'll have the definition. There's really nothing more to it
> than that!
> Richard
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

Carl Eyeinsky
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150429/4c59238d/attachment.html>

More information about the Haskell-Cafe mailing list