2025/09/28

Newest at the top

2025-09-28 07:49:49 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2025-09-28 07:48:39 +0200byorgey(~byorgey@user/byorgey) (Read error: Connection reset by peer)
2025-09-28 07:47:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-09-28 07:44:12 +0200 <dcpagan> My code is here: https://exercism.org/tracks/haskell/exercises/house/solutions/DCPagan
2025-09-28 07:44:01 +0200 <dcpagan> My type-level shenanigans worked, but, for some reason, using associated type families raises a type error that there is no instance of the KnownSymbol constraint.
2025-09-28 07:42:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 07:31:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-28 07:26:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 07:24:41 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-28 07:24:29 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-28 07:15:43 +0200Googulator21(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 07:15:42 +0200Googulator50(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 07:08:07 +0200Square(~Square@user/square) (Ping timeout: 240 seconds)
2025-09-28 07:04:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-28 07:00:47 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-28 06:59:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 06:55:41 +0200Googulator63(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 06:55:41 +0200Googulator50(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 06:48:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-09-28 06:47:12 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-28 06:41:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 06:37:47 +0200polykernel(~polykerne@user/polykernel) polykernel
2025-09-28 06:35:40 +0200Googulator80(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 06:35:40 +0200Googulator63(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 06:30:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-28 06:26:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 06:25:43 +0200defragger(~random@i5C742CDD.versanet.de) (Ping timeout: 240 seconds)
2025-09-28 06:23:32 +0200 <dcpagan> Unnatural n = 'Just (n - 1)
2025-09-28 06:23:30 +0200 <dcpagan> Unnatural 0 = 'Nothing
2025-09-28 06:23:28 +0200 <dcpagan> type family Unnatural (n :: Natural) where
2025-09-28 06:23:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-28 06:23:14 +0200 <dcpagan> Something like this?
2025-09-28 06:23:09 +0200 <dcpagan> Is there a standard type-level way of unfixing that fixed point?
2025-09-28 06:22:49 +0200 <dcpagan> For example, in the recursion-schemes package (https://hackage.haskell.org/package/recursion-schemes), an instance of a base functor for Natural was defined as Maybe, and Natural was an instance of the fixed point of Maybe.
2025-09-28 06:21:47 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-28 06:20:40 +0200 <dcpagan> Is there a standard way to iterate over type-level natural numbers?
2025-09-28 06:18:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 06:16:52 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-09-28 06:11:56 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-28 06:11:38 +0200arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2025-09-28 06:10:38 +0200Googulator80(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 06:10:25 +0200Googulator80(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 06:07:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-09-28 06:02:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 05:56:46 +0200aforemny(~aforemny@i577B128D.versanet.de) (Ping timeout: 256 seconds)
2025-09-28 05:55:31 +0200aforemny_(~aforemny@2001:9e8:6cfa:f400:257:422d:548f:72ea) aforemny
2025-09-28 05:51:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-28 05:50:50 +0200Googulator80(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 05:50:42 +0200Googulator80(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 05:47:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn