Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 978 979 980 981 982 983 984 985 986 987 988 .. 18029
— 1,802,899 events total
2021-07-16 19:47:25 → dunkeln joins (~dunkeln@94.128.224.230)
2021-07-16 19:47:31 <sm> when appropriate being the operative phrase !
2021-07-16 19:47:41 <Guest98> is there a way to ask ghc/ghci "why did this instance declaration not apply to this data type"?
2021-07-16 19:47:47 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-16 19:48:46 <Guest98> (I could just write out an undefined function with the same signature I guess, just wondering if there's a better way)
2021-07-16 19:48:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-16 19:49:15 × DNH quits (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-16 19:49:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-16 19:50:47 <zzz> Guest98: can you provide an example of what you would expect ghc to give you?
2021-07-16 19:51:07 → DNH joins (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764)
2021-07-16 19:52:06 → acidjnk joins (~acidjnk@p200300d0c72b9530b41c89c6d6c03a30.dip0.t-ipconnect.de)
2021-07-16 19:53:20 <Guest98> so like if I have a class (Constraint) => Head where ..., and a data SomeData which it didn't apply to, I could get an informative type error by writing: testFunction :: (Constraint) => Head -> ()// testFunction = undefined// testData :: SomeData// testData = undefined and then trying to compile testFunction (testData)
2021-07-16 19:54:18 <Guest98> the type error I'd get there explains why testData doesn't fit the input to testFunction...I just find myself doing this a lot, so I'm wondering if there's an easier way to get the same information
2021-07-16 19:56:07 <Guest98> oh sorry typo, I meant class instance (Constraint) => Head (because I usually want to know why an instance declaration I wrote down doesn't match a data type)
2021-07-16 19:58:35 × cheater quits (~Username@84-115-12-132.cable.dynamic.surfer.at) (Changing host)
2021-07-16 19:58:35 → cheater joins (~Username@user/cheater)
2021-07-16 19:59:06 → retro_ joins (~retro@97e2ba5d.skybroadband.com)
2021-07-16 20:02:05 <dsal> lechner: Text or one of the many ByteString types. I still use String on occasion because it often doesn't matter, but "matter" creeps up on you.
2021-07-16 20:02:49 × retroid_ quits (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 268 seconds)
2021-07-16 20:02:54 <lechner> thanks!
2021-07-16 20:03:31 → retroid_ joins (~retro@97e2ba5d.skybroadband.com)
2021-07-16 20:04:03 × retro_ quits (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 268 seconds)
2021-07-16 20:07:05 → juhp joins (~juhp@128.106.188.66)
2021-07-16 20:10:42 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-07-16 20:11:23 <maerwald> dminuoso: so there are two solutions: 1. effect-stack (with type level index into the stack to disambiguate) and 2. 'capability' library: https://paste.tomsmeding.com/TrDVpiq9
2021-07-16 20:11:29 <maerwald> the latter seems over-engineered
2021-07-16 20:12:04 × Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds)
2021-07-16 20:12:41 <maerwald> wrt effect-stack I have slight concerns that it's less composable, because you have to specify the index
2021-07-16 20:12:53 <maerwald> but for my own use case, it's probably irrelevant
2021-07-16 20:17:14 <Boarders> is there a more natural way to write a parser like:
2021-07-16 20:17:14 <Boarders> (try $ Just <$> p) <|> pure Nothing
2021-07-16 20:18:42 × Guest98 quits (~Guest98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-16 20:20:03 <dsal> Boarders: `option Nothing (Just <$> try p)` ?
2021-07-16 20:23:19 <Boarders> yeah I think I can use optional but not with try
2021-07-16 20:23:25 <Boarders> I think try will always succeed
2021-07-16 20:24:27 × mjs2600_ quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-16 20:25:38 × dunkeln quits (~dunkeln@94.128.224.230) (Ping timeout: 268 seconds)
2021-07-16 20:25:41 <wwalker> anyone know if I can buy Programming in Haskell as a PDF? I bought it a couple of weeks ago and started using it last night. I'm old and the print is just too small, and the binding is already breaking, and it won't lie flat. Only thing I have found is Amazon has it, but then I'm tied to their reader, but I'll likely end up buying it again from Amazon.
2021-07-16 20:25:48 → mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-16 20:25:56 × krz3si quits (~quassel@2a02:a31c:853b:b780:96f1:ff36:4051:20c7) (Ping timeout: 252 seconds)
2021-07-16 20:26:07 × derelict quits (~derelict@user/derelict) (Ping timeout: 246 seconds)
2021-07-16 20:26:17 → renzhi joins (~xp@2607:fa49:655f:a700::8b9f)
2021-07-16 20:26:28 → krz3si joins (~quassel@185.217.117.220)
2021-07-16 20:27:08 × jolly quits (~jolly@208.180.97.158) (Quit: Connection closed)
2021-07-16 20:27:31 <myShoggoth> The Haskell Interlude podcast teaser episode is up: https://haskell.foundation/podcast/
2021-07-16 20:30:01 <Rembane> Yay!
2021-07-16 20:30:34 → Pickchea joins (~private@user/pickchea)
2021-07-16 20:34:26 × KUrare quits (~KUrare@user/kurare) (Remote host closed the connection)
2021-07-16 20:34:51 <tomsmeding> Boarders: I don't think try will always succeed; it will turn later failure (which is usually fatal in parsec) into immediate failure (which allows another path to be chosen in parsec)
2021-07-16 20:34:52 → KUrare joins (~KUrare@user/kurare)
2021-07-16 20:35:14 <tomsmeding> so I'd expect the expression by dsal to be exactly what you need
2021-07-16 20:35:46 × mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2021-07-16 20:35:56 × KUrare quits (~KUrare@user/kurare) (Remote host closed the connection)
2021-07-16 20:36:20 → mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-16 20:36:20 → KUrare joins (~KUrare@user/kurare)
2021-07-16 20:38:04 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds)
2021-07-16 20:38:33 <tomsmeding> also yay Utrecht representation on the podcast :)
2021-07-16 20:39:49 × mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Client Quit)
2021-07-16 20:40:34 → slycelote joins (~slycelote@user/slycelote)
2021-07-16 20:40:47 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-16 20:41:10 → mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-16 20:42:27 → RaitoBezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
2021-07-16 20:42:58 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 240 seconds)
2021-07-16 20:45:40 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
2021-07-16 20:46:56 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-16 20:47:17 × RaitoBezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 255 seconds)
2021-07-16 20:47:27 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Client Quit)
2021-07-16 20:47:42 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-16 20:47:52 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
2021-07-16 20:52:22 <Boarders> thanks! I went with just optional p which seemed to have the right semantics for what I was doing
2021-07-16 20:53:15 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
2021-07-16 20:54:36 → agua joins (~agua@177.79.106.96)
2021-07-16 20:55:14 × azeem quits (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-16 20:56:09 → azeem joins (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it)
2021-07-16 20:57:54 × pesada quits (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 255 seconds)
2021-07-16 21:01:25 → retro_ joins (~retro@97e2ba5d.skybroadband.com)
2021-07-16 21:02:35 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-16 21:04:43 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-16 21:05:06 × retroid_ quits (~retro@97e2ba5d.skybroadband.com) (Ping timeout: 268 seconds)
2021-07-16 21:05:43 × KUrare quits (~KUrare@user/kurare) (Ping timeout: 268 seconds)
2021-07-16 21:08:16 → pesada joins (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100)
2021-07-16 21:09:17 × cheater quits (~Username@user/cheater) (Quit: (BitchX) Hanson uses BitchX. Mommy, can we dress like boys again?)
2021-07-16 21:09:44 → cheater joins (~Username@user/cheater)
2021-07-16 21:10:21 × gorignak quits (~gorignak@047-037-033-079.res.spectrum.com) (Quit: leaving)
2021-07-16 21:10:42 × agua quits (~agua@177.79.106.96) (Ping timeout: 240 seconds)
2021-07-16 21:10:53 chkno_ is now known as chkno
2021-07-16 21:11:26 × neurocyte quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-07-16 21:12:13 × ft quits (~ft@shell.chaostreff-dortmund.de) (Remote host closed the connection)
2021-07-16 21:12:14 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-16 21:14:17 → jolly joins (~jolly@208.180.97.158)
2021-07-16 21:15:07 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-16 21:15:23 → neurocyte joins (~neurocyte@45.136.170.21)
2021-07-16 21:15:23 × neurocyte quits (~neurocyte@45.136.170.21) (Changing host)
2021-07-16 21:15:23 → neurocyte joins (~neurocyte@user/neurocyte)
2021-07-16 21:17:12 × turlando quits (~turlando@user/turlando) (Read error: Connection reset by peer)
2021-07-16 21:17:27 → chomwitt joins (~Pitsikoko@2a02:587:dc02:3500:12c3:7bff:fe6d:d374)
2021-07-16 21:17:29 × michalz quits (~michalz@185.246.204.61) (Remote host closed the connection)
2021-07-16 21:17:36 → turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-07-16 21:17:36 × turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-07-16 21:17:36 → turlando joins (~turlando@user/turlando)
←Prev  Next→
Page 1 .. 978 979 980 981 982 983 984 985 986 987 988 .. 18029

All times are in UTC.