Send Beginners mailing list submissions to
beginners@haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
beginners-requ...@haskell.org
You can reach the person managing the list at
beginners-ow...@haskell.org
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Re: Type depending on value (Marcin Mrotek)
----------------------------------------------------------------------
Message: 1
Date: Thu, 5 May 2016 13:56:37 +0200
From: Marcin Mrotek <marcin.jan.mro...@gmail.com>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <beginners@haskell.org>
Subject: Re: [Haskell-beginners] Type depending on value
Message-ID:
<cajcfpzmaqnc_ltmb+g1ydwbgz6qeyu2zj66spchyk3nhhen...@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Hello,
My guess is that the Nat parameter in SNat gets erased, and both types
end up with the same runtime representation. I'm not sure how reliable
this is. Have you tried using a SNatClass that works more like
KnownNat, that is, having a method that returns a Nat?
Best regards,
Marcin Mrotek
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 95, Issue 6
****************************************
