Hello,
I continue my learning of not so obvious Haskell/GHC topics when
encountering problems in the code I write.
Below is a small example of an heterogeneous list, using GADT, inspired
from:
http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types#Example:_heterogeneous_lists
On Sat 25 May 2013 00:37:59 SGT, TP wrote:
Is this the right way to go? Is there any other solution?
I believe whether it's right or just depends on what you want to express.
Do you confirm that tilde in s~s1 means s has the same type as s1?
It means: Both your s and s1 are Eqs but not
On Fri, May 24, 2013 at 10:41 AM, Niklas Hambüchen m...@nh2.me wrote:
On Sat 25 May 2013 00:37:59 SGT, TP wrote:
Is this the right way to go? Is there any other solution?
I believe whether it's right or just depends on what you want to express.
Do you confirm that tilde in s~s1 means s
On Fri, May 24, 2013 at 9:37 AM, TP paratribulati...@free.fr wrote:
Hello,
I continue my learning of not so obvious Haskell/GHC topics when
encountering problems in the code I write.
Below is a small example of an heterogeneous list, using GADT, inspired
from:
Alexander Solla wrote:
(Do you confirm that tilde in s~s1 means s has the same type as s1? I
have
not found this information explicitly in the Haskell stuff I have read).
Yes.
http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/equality-constraints.html
Is this (Typeable) the
On 25/05/13 06:06, Alexander Solla wrote:
On Fri, May 24, 2013 at 10:41 AM, Niklas Hambüchen m...@nh2.me
mailto:m...@nh2.me wrote:
On Sat 25 May 2013 00:37:59 SGT, TP wrote:
Is this the right way to go? Is there any other solution?
I believe whether it's right or just