Logs: liberachat/#haskell
| 2025-10-17 16:08:12 | <ski> | maybe you should show some example(s) ? |
| 2025-10-17 16:14:27 | <yabobay> | like if there was a function called foo and i could go `foo :: Maybe a` and i'd get Nothing |
| 2025-10-17 16:15:19 | <int-e> | :t empty |
| 2025-10-17 16:15:20 | <lambdabot> | Alternative f => f a |
| 2025-10-17 16:15:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 16:15:29 | <int-e> | :t mempty |
| 2025-10-17 16:15:30 | <lambdabot> | Monoid a => a |
| 2025-10-17 16:16:00 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-10-17 16:16:04 | <int-e> | (`empty` is closer to Applicative) |
| 2025-10-17 16:16:23 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 16:18:06 | <yabobay> | my ghc doesn't have empty. is it in a module or something? |
| 2025-10-17 16:19:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 16:19:58 | <Leary> | @hoogle empty |
| 2025-10-17 16:19:58 | <lambdabot> | Control.Applicative empty :: Alternative f => f a |
| 2025-10-17 16:19:58 | <lambdabot> | GHC.Base empty :: Alternative f => f a |
| 2025-10-17 16:19:58 | <lambdabot> | Data.ByteString empty :: ByteString |
| 2025-10-17 16:20:16 | <yabobay> | ok sorry i hoogled it myself |
| 2025-10-17 16:20:17 | <yabobay> | thanks! |
| 2025-10-17 16:20:19 | ← | yabobay parts (~pizza@2a02:85f:fcd5:1601:439e:d9b3:6a5d:d567) (bye) |
| 2025-10-17 16:21:32 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-10-17 16:22:23 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-17 16:23:25 | <ski> | @index empty |
| 2025-10-17 16:23:25 | <lambdabot> | Control.Applicative, Data.Binary.Builder, Data.ByteString.Lazy, Data.ByteString.Lazy.Char8, Data.ByteString, Data.ByteString.Char8, Data.ByteString.Short, Data.IntMap.Strict, Data.IntMap.Lazy, Data. |
| 2025-10-17 16:23:25 | <lambdabot> | IntMap, Data.IntSet, Data.Map.Lazy, Data.Map.Strict, Data.Map, Data.Set, Data.Sequence, Text.PrettyPrint.HughesPJ, Text.PrettyPrint.HughesPJClass, Text.PrettyPrint, Language.Haskell.TH.PprLib |
| 2025-10-17 16:23:46 | <ski> | oh, they left |
| 2025-10-17 16:30:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 16:35:03 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2025-10-17 16:35:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 16:41:27 | → | yobhel joins (~yobhel@85-238-68-165.pool.digikabel.hu) |
| 2025-10-17 16:46:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 16:46:49 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-17 16:50:44 | × | yobhel quits (~yobhel@85-238-68-165.pool.digikabel.hu) (Quit: yobhel) |
| 2025-10-17 16:51:33 | → | yobhel joins (~yobhel@85-238-68-165.pool.digikabel.hu) |
| 2025-10-17 16:51:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 16:54:55 | × | yobhel quits (~yobhel@85-238-68-165.pool.digikabel.hu) (Client Quit) |
| 2025-10-17 16:56:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 17:02:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 17:04:37 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-17 17:05:03 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-17 17:05:39 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-17 17:05:40 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 17:07:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 17:11:19 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-10-17 17:11:59 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) |
| 2025-10-17 17:12:22 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-17 17:13:01 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-10-17 17:18:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 17:20:01 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 17:20:33 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2025-10-17 17:22:38 | → | Psychotic1 joins (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 17:23:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 17:23:55 | → | Psychotic1_ joins (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 17:25:37 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) |
| 2025-10-17 17:26:18 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 17:26:37 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-10-17 17:33:03 | × | n0um3n4 quits (~n0um3n4@104.30.133.59) (Remote host closed the connection) |
| 2025-10-17 17:34:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 17:34:50 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-17 17:39:57 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-17 17:40:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-17 17:42:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 17:45:02 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-17 17:45:05 | → | Square2 joins (~Square@user/square) |
| 2025-10-17 17:45:47 | → | Zemy joins (~Zemy@2600:100c:b0a4:d984:58e9:bff:fe07:fef6) |
| 2025-10-17 17:46:22 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-17 17:47:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-17 17:50:32 | × | Zemy quits (~Zemy@2600:100c:b0a4:d984:58e9:bff:fe07:fef6) (Ping timeout: 260 seconds) |
| 2025-10-17 17:58:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 17:58:44 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2025-10-17 18:01:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 18:03:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 18:03:17 | <dcpagan> | Is a function with only two pattern guards, the second guard consisting only of "otherwise" just as efficient as implementing the function as an if statement? |
| 2025-10-17 18:05:16 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-17 18:10:36 | <mauke> | that sounds like a guard, not a pattern guard |
| 2025-10-17 18:10:46 | <mauke> | but yes, I don't think there's any performance difference |
| 2025-10-17 18:12:08 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 2025-10-17 18:14:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 18:16:47 | × | Psychotic1_ quits (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Ping timeout: 260 seconds) |
| 2025-10-17 18:16:47 | × | Psychotic1 quits (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Ping timeout: 260 seconds) |
| 2025-10-17 18:19:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 18:19:13 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds) |
| 2025-10-17 18:19:43 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 18:26:29 | <monochrom> | Unless it is positively proven that I really need fast code, I write code to express what I think, not to micromanage what the machine code looks like. |
| 2025-10-17 18:28:08 | <EvanR> | please turn in your control freak license and weapon |
| 2025-10-17 18:28:17 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 2025-10-17 18:28:20 | <EvanR> | your don't deserve to wear that uniform |
| 2025-10-17 18:29:05 | <monochrom> | I never got that license and uniform in the first place because I never learned VHDL. >:) |
| 2025-10-17 18:29:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 18:31:31 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) |
| 2025-10-17 18:34:01 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 18:35:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 18:35:08 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 18:35:22 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 18:37:10 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 2025-10-17 18:42:18 | <fgidim> | i think for pattern guards, those are desugared to a case expression. though i don't know if there is a speed difference between that and if statements |
| 2025-10-17 18:44:08 | <EvanR> | the airspeed velocity of an if statement |
| 2025-10-17 18:44:48 | <EvanR> | "if statement" isn't actually a thing, it's compiled into a case expression |
| 2025-10-17 18:45:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 18:46:40 | <mauke> | if x then y else z = case x of { True -> y; _ -> z } |
| 2025-10-17 18:50:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
All times are in UTC.