Sender | Message | Time |
---|---|---|
26 Jun 2022 | ||
20:08:31 | ||
27 Jun 2022 | ||
02:35:47 | ||
02:54:29 | ||
08:15:02 | ||
13:18:06 | ||
Neat, first time seeing Matrix threads "in the wild" | 13:45:01 | |
21:47:03 | ||
28 Jun 2022 | ||
09:06:03 | ||
if I generate a declaration with a [|d foo :: T |] splice, is there any way for me to get the name of foo in the current splice? I would generate it with newName and splice it in, but I can't splice into a name binding position, which leaves me constructing the whole thing by hand... | 13:13:26 | |
Redacted or Malformed Event | 15:03:18 | |
15:31:40 | ||
15:42:11 | ||
16:21:44 | ||
in functional its easy to add functions but harder to add objects, in oop its easy to add more objects but harder to add functions (mainly how far apart the code is). how is the problem called that expresses this consideration? it has a wikipedia article, but i cannot remember | 17:14:48 | |
tomsen: the expression problem | 17:17:22 | |
this! thankyu! : ) | 17:17:43 | |
18:42:13 | ||
29 Jun 2022 | ||
02:20:45 | ||
Does #haskell:libera.chat not work for other people, or is it just me? My client always says there is an error when I try to join it | 05:14:53 | |
At the same time, chanserv sends me the welcome message for the channel whenever my bridged user rejoins the network | 05:15:54 | |
Heyo, it just started working for me 🙈 | 06:10:01 | |
working normally here | 07:07:30 | |
10:33:27 | ||
11:18:24 | ||
11:51:58 | ||
14:01:22 | ||
I'm using ghc-8.10.6 with singletons-2.7 and I'm trying to use newtype deriving to get a singled monoid instance: newtype Context ids = Context { unContext :: [ids] } deriving newtype (SSemigroup, SMonoid) but I end up with this error • Couldn't match type ‘[ids1]’ with ‘Context ids1’ arising from the coercion of the method ‘sSconcat’ from type ‘forall (t :: GHC.Base.NonEmpty [ids]). Sing t -> Sing (Apply SconcatSym0 t)’ to type ‘forall (t :: GHC.Base.NonEmpty (Context ids)). Sing t -> Sing (Apply SconcatSym0 t)’ • When deriving the instance for (SSemigroup (Context ids)) | 48 | deriving newtype (SSemigroup, SMonoid) | ^^^^^^^^^^ (plus similar ones wrt SMonoid ) What am I missing? | 15:34:56 | |
* I'm using
but I end up with this error • Couldn't match type ‘[ids1]’ with ‘Context ids1’ arising from the coercion of the method ‘sSconcat’ from type ‘forall (t :: GHC.Base.NonEmpty [ids]). Sing t -> Sing (Apply SconcatSym0 t)’ to type ‘forall (t :: GHC.Base.NonEmpty (Context ids)). Sing t -> Sing (Apply SconcatSym0 t)’ • When deriving the instance for (SSemigroup (Context ids)) | 48 | deriving newtype (SSemigroup, SMonoid) | ^^^^^^^^^^ | 15:36:28 | |
* I'm using
but I end up with this error
(plus similar ones wrt | 15:37:36 | |
* I'm using
but I end up with this error
(plus similar ones wrt | 15:38:18 |