Logs: liberachat/#haskell
| 2025-10-14 16:36:07 | <Tri> | EvanR, I knew (>>>) was the opposite of function composition (.), coming from F# that's the way I'm comfortable with. It just I used (>>>) in that context to represent the thing i was asking :) |
| 2025-10-14 16:36:26 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-14 16:37:22 | <ski> | Tri : it's fine to ask people to address the practical or concrete concernss you have, or to ask about particular parts you're wondering about. and addressing questions of people looking for help takes precedence over other chatter |
| 2025-10-14 16:38:16 | <Tri> | thank you ski |
| 2025-10-14 16:38:27 | <geekosaur> | yeh, I didn't start to learn any of the stuff they've been talking about until I came here shortly after starting to learn Haskell |
| 2025-10-14 16:38:33 | × | Zemy_ quits (~Zemy@2600:100c:b0a0:3fd9:5cfe:ffff:fe64:fccc) (Ping timeout: 252 seconds) |
| 2025-10-14 16:38:38 | → | Core7083 joins (~Zemy@2600:100c:b0a0:3fd9:b093:6aff:fe5f:f77f) |
| 2025-10-14 16:38:50 | <ski> | you could define `(f &&&& g) x y = f x y && g x y', i guess, and then use `groupBy (isIssuerOverlapping &&&& isAssetOverlapping &&&& isConditionOverlapping &&&& isDateRangeOverlapping &&&& isTargetColumnOverlapping)' |
| 2025-10-14 16:39:00 | <EvanR> | chaining A -> A -> Bool functions to get an A -> A -> Bool, it requires answering what to do with all the Bools along the way |
| 2025-10-14 16:39:11 | <ski> | indeed |
| 2025-10-14 16:39:17 | <EvanR> | in this case anding them all I guess |
| 2025-10-14 16:39:59 | <ski> | the two obvious choices are `&&' and `||'. you can do the former, with `All' and the latter with `Any', if you use `<>'. but inserting the `All's and `Any's turn out to be annoying .. |
| 2025-10-14 16:40:43 | <Tri> | yes EvanR, in other words, short circuting to False, if there is a False. That resembles how bind works. I believe people have suggested to use <> and list comprehension, but I didn't have the mental capacity to read them yet, I'm working my day job at the moment |
| 2025-10-14 16:40:59 | <EvanR> | I'm not sure that monads are appropriate for this |
| 2025-10-14 16:41:00 | × | Zemy quits (~Zemy@syn-067-078-059-246.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-10-14 16:41:13 | <EvanR> | short circuiting to False if there is a False is what `and' does |
| 2025-10-14 16:41:23 | <EvanR> | i.e. folding Bools using && |
| 2025-10-14 16:41:50 | <Tri> | sure, I will think about it |
| 2025-10-14 16:41:53 | <EvanR> | monads requires a different shaped type, one with a parameter |
| 2025-10-14 16:42:17 | <ski> | groupBy ((getAll .) . ((All .) . isIssuerOverlapping <> (All .) . isAssetOverlapping <> (All .) . isConditionOverlapping <> (All .) . isDateRangeOverlapping <> (All .) . isTargetColumnOverlapping)) -- the `(blah .) .' is annoying ! |
| 2025-10-14 16:43:33 | <EvanR> | so it all boils down to ways of stitching a bunch of things together with && |
| 2025-10-14 16:43:41 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-14 16:43:47 | <ski> | in the `sortBy' example i gave above, there's no need for such nonsense, because the result is not a `Bool', but an `Ordering', and doing (short-circuiting) lexigographic composition of these seem to be the obvious choice of what `<>' should do, there |
| 2025-10-14 16:48:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-14 16:48:16 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-10-14 16:51:16 | → | Zemy joins (~Zemy@syn-076-184-041-021.res.spectrum.com) |
| 2025-10-14 16:51:30 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-10-14 16:51:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-14 16:52:24 | <ski> | Tri : do you see how to use `all' to avoid the matching on `Just' ? |
| 2025-10-14 16:52:40 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-14 16:53:25 | × | Core7083 quits (~Zemy@2600:100c:b0a0:3fd9:b093:6aff:fe5f:f77f) (Ping timeout: 246 seconds) |
| 2025-10-14 16:55:21 | <Tri> | ski, I'm working right now so I haven't been able to parse all your suggestions, I will read it later. Thank you |
| 2025-10-14 16:55:48 | <ski> | right, that's fine |
| 2025-10-14 16:56:19 | <ski> | (just writing down the things i thought of, before i forget them again) |
| 2025-10-14 16:57:17 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-10-14 16:58:31 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-10-14 17:01:39 | × | Zemy quits (~Zemy@syn-076-184-041-021.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-10-14 17:03:41 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-14 17:11:52 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-14 17:13:51 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 17:15:39 | × | Googulator3 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 17:15:45 | → | Googulator60 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 17:16:45 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Read error: Connection reset by peer) |
| 2025-10-14 17:17:39 | → | Shark8 joins (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-14 17:21:01 | → | nogloff joins (uid464985@id-464985.tinside.irccloud.com) |
| 2025-10-14 17:23:03 | <haskellbridge> | <sm> #haskell-beginners was another attempt to separate the streams of new learners and deep divers. Also #Haskell matrix room has a bit less of this tendency I think |
| 2025-10-14 17:23:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 17:24:55 | → | Square3 joins (~Square@user/square) |
| 2025-10-14 17:25:36 | → | Square joins (~Square4@user/square) |
| 2025-10-14 17:27:29 | <haskellbridge> | <sm> I think it's in the nature of the language and the community that this tends to happen. There's a wider range of interests and discussion than say php or js. And also a greater need for careful coaching/mentoring than in those languages. |
| 2025-10-14 17:28:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 17:29:03 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-14 17:33:35 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-14 17:33:44 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2025-10-14 17:36:18 | × | gustrb quits (~gustrb@191.243.134.87) (Quit: gustrb) |
| 2025-10-14 17:39:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 17:43:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-10-14 17:43:26 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-14 17:44:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 17:44:39 | <ski> | with a more abstract/technical/theoretical conversation, going on for a longer time period, and there being other extant conversation threads, i often suggest #haskell-overflow or #haskell-in-depth |
| 2025-10-14 17:45:21 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-14 17:46:01 | <haskellbridge> | <sm> I haven't been in those channels much.. are they active / working pretty well ? |
| 2025-10-14 17:47:47 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-10-14 17:49:09 | <geekosaur> | -overflow is moderately active, but Haskell-related discussions are discouraged. (more abstract ones are fine though) |
| 2025-10-14 17:49:17 | <ski> | not that much, lately, seeing as this channel isn't too often overflowing with conversations |
| 2025-10-14 17:49:30 | <geekosaur> | #h-i-d is pretty dead, but seems like a good use for it is this kind of discussion |
| 2025-10-14 17:49:39 | <ski> | you're thinking of -offtopic, i believe, geekosaur ? |
| 2025-10-14 17:50:10 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-14 17:50:16 | <geekosaur> | it's a leftover from an old sirtuation on Freenode wjhere someone started to do a detailed discussion of something in GJHC in #haskell and was asked to move. it hasn't really been used since, though |
| 2025-10-14 17:50:30 | <geekosaur> | (wow my typing was bad there) |
| 2025-10-14 17:51:18 | <geekosaur> | right, I meant offtopic, sorry |
| 2025-10-14 17:51:21 | <haskellbridge> | <sm> three overflow channels at the deep end and at least one on the shallow seems too many |
| 2025-10-14 17:51:42 | <geekosaur> | typing on autopilot, same reason as the typos 🙂 |
| 2025-10-14 17:52:00 | <geekosaur> | -beginners barely gets used these days |
| 2025-10-14 17:52:06 | <ski> | well, just two, sm |
| 2025-10-14 17:52:20 | <geekosaur> | iirc that one was originally created specifically for a particular Haskell book |
| 2025-10-14 17:52:32 | <ski> | -offtopic is an alternative to -blah |
| 2025-10-14 17:52:37 | <ski> | yes |
| 2025-10-14 17:52:53 | <ski> | bitemyapp hasn't been around, in a while |
| 2025-10-14 17:52:57 | → | inline joins (~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) |
| 2025-10-14 17:53:25 | <geekosaur> | I think it might be a good idea at this point to forward it here |
| 2025-10-14 17:53:32 | <haskellbridge> | <sm> some housecleaning once it a while is good |
| 2025-10-14 17:53:45 | <geekosaur> | the same way I forward #haskell-cabal to #hackage |
| 2025-10-14 17:55:02 | <ski> | ah, i didn't know that's how -in-depth came to be |
| 2025-10-14 17:55:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 17:55:24 | <geekosaur> | (you can set a forward ban on a channel in chanserv. people on chanserv's admins list can join for maintenance, everyone else is forwarded to the target channel) |
| 2025-10-14 17:56:46 | <geekosaur> | also I think -blah is dead at this point and can be reaped or forward-banned to -overflow? it was originally separate due to a political situation, but I think that's now past history |
| 2025-10-14 17:57:11 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-10-14 17:57:21 | <ski> | rather to -offtopic, in that case |
| 2025-10-14 17:57:30 | <geekosaur> | right, I did that again. sigh |
| 2025-10-14 17:59:27 | <haskellbridge> | <sm> +1 |
| 2025-10-14 17:59:28 | <ski> | i believe only edwardk can modify those ChanServ access lists. other ops could manually set `+if #...', though, on the channel itself |
| 2025-10-14 18:00:24 | <ski> | haven't been in -blah in a while, dunno what they'd think about it |
| 2025-10-14 18:01:42 | <geekosaur> | right, it's only the forward ban that we need to do, the access lists themselves are fine |
| 2025-10-14 18:01:56 | <haskellbridge> | <sm> why should those blatherers get a free lifetime encampment on Haskell's lawn :) |
| 2025-10-14 18:02:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-14 18:02:16 | <geekosaur> | last time I was in -blah there were a few hangers-on and no activity. that said, it's been a while and it may have sprouted a new community |
| 2025-10-14 18:02:41 | <geekosaur> | and in any case we couldn't o this by fiat, we'd have to ask in there and possibly on discourse since IRC isn't persistent |
| 2025-10-14 18:04:17 | ski | nods |
| 2025-10-14 18:05:14 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
All times are in UTC.