Just a heads up everyone. Gitlab appears down again. This seemed to have
happened around Sunday, 4AM UTC.
Everyone have a blissful Sunday!
On Sat, 20 Mar 2021 at 6:05 PM, Giorgio Marinelli
wrote:
> I can also help (~UTC+1), I've a long history and experience in
> systems management and enginee
On Fri, Mar 19, 2021 at 07:08:35PM +, Richard Eisenberg wrote:
> > On Mar 19, 2021, at 2:21 PM, Gershom B wrote:
> > Cc: ad...@haskell.org which remains (since it was set up over five?
> > years ago) the contact address for haskell infra admin stuff.
>
> How would I learn of that address? Who
Hi Alexis,
The following works and will have inferred type `Int`:
> bar = foo (\(HNil :: HList '[]) -> 42)
I'd really like it if we could write
> bar2 = foo (\(HNil @'[]) -> 42)
though, even if you write out the constructor type with explicit
constraints and forall's.
E.g. by using a -XTypeApp
On Sat, Mar 20, 2021 at 08:13:18AM -0400, Viktor Dukhovni wrote:
> As soon as I try add more complex contraints, I appear to need an
> explicit type signature for HNil, and then the code again compiles:
But aliasing the promoted constructors via pattern synonyms, and using
those instead, appears
On Sat, Mar 20, 2021 at 04:40:59AM -0500, Alexis King wrote:
> Today I was writing some code that uses a GADT to represent
> heterogeneous lists:
>
> data HList as where
> HNil :: HList '[]
> HCons :: a -> HList as -> HList (a ': as)
>
> This type is used to provide a generic
I can also help (~UTC+1), I've a long history and experience in
systems management and engineering.
Best,
Giorgio Marinelli
https://marinelli.dev/cv
On Sat, 20 Mar 2021 at 00:31, Moritz Angermann
wrote:
>
> I can try to step up and be backup on the other side of the planet. Ben and I
> are alm
Hi all,
Today I was writing some code that uses a GADT to represent
heterogeneous lists:
data HList as where
HNil :: HList '[]
HCons :: a -> HList as -> HList (a ': as)
This type is used to provide a generic way to manipulate n-ary
functions. Naturally, I have some functions