!hskonBonfjiIefqLUV:matrix.org

Haskell

1983 Members
An advanced, purely functional programming language, haskell.org • log: view.matrix.org/alias/%23haskell:matrix.org • more rooms: #haskell:libera.chat, #haskell-space:matrix.org • see also: haskell-links.org, twitter.com/HaskellOrg174 Servers

Load older messages


SenderMessageTime
26 Jun 2022
@gilganix:matrix.orgChatSlayer changed their display name from Ch͎a͎o͎t͎i͎c͎M͎i͎s͎T to ChatSlayer.20:08:31
27 Jun 2022
@ezaquarii:etacassiopeiae.net@ezaquarii:etacassiopeiae.net joined the room.02:35:47
@ezaquarii:etacassiopeiae.net@ezaquarii:etacassiopeiae.net left the room.02:54:29
@havershayer2:matrix.org@havershayer2:matrix.org left the room.08:15:02
@marleng:matrix.orgmarleng joined the room.13:18:06
@b:chreekat.netchreekatNeat, first time seeing Matrix threads "in the wild"13:45:01
@laurenclass:matrix.orglaurenclass joined the room.21:47:03
28 Jun 2022
@jvytee:stratum0.orgjvytee joined the room.09:06:03
@michaelpj:matrix.orgmichaelpjif 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
@frankcryptic:matrix.org@frankcryptic:matrix.orgRedacted or Malformed Event15:03:18
@simonmic:matrix.orgsm banned @frankcryptic:matrix.org@frankcryptic:matrix.org (spam).15:31:40
@drsooch:matrix.orgdrsooch joined the room.15:42:11
@janlena:matrix.orgmute to joined the room.16:21:44
@tfbio:matrix.orgtomsenin 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 remember17:14:48
@artem.types:matrix.orgArtem tomsen: the expression problem 17:17:22
@tfbio:matrix.orgtomsenthis! thankyu! : )17:17:43
@ydewit:matrix.orglemao changed their display name from Yuri de Wit to lemao.18:42:13
29 Jun 2022
@iclanzan:matrix.orgiclanzan joined the room.02:20:45
@b:chreekat.netchreekatDoes #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 it05:14:53
@b:chreekat.netchreekatAt the same time, chanserv sends me the welcome message for the channel whenever my bridged user rejoins the network05:15:54
@b:chreekat.netchreekatHeyo, it just started working for me 🙈06:10:01
@simonmic:matrix.orgsmworking normally here07:07:30
@steelflight:matrix.org@steelflight:matrix.org left the room.10:33:27
@kerfuffle:aria-net.orgKerfuffle joined the room.11:18:24
@schmittlauch:ohai.suschmittlauch (he/him) changed their profile picture.11:51:58
@number-set:matrix.orgnumber-set joined the room.14:01:22
@6d03:matrix.org6d03 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
@6d03:matrix.org6d03 *

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 wrtSMonoid`) What am I missing?

15:36:28
@6d03:matrix.org6d03 *

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 wrtSMonoid) What am I missing?

15:37:36
@6d03:matrix.org6d03 *

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 wrtSMonoid) What am I missing?

15:38:18

There are no newer messages yet.


Back to Room List