Logs: liberachat/#haskell
| 2025-11-28 22:54:35 | <yahb2> | <no output> |
| 2025-11-28 22:54:43 | <tomsmeding> | % filter check (let l2 = [False, True] in (\a b c d e -> (a, b, c, d, e)) <$> l2 <*> l2 <*> l2 <*> l2 <*> l2) |
| 2025-11-28 22:54:43 | <yahb2> | [(False,False,True,True,False),(False,False,True,True,True),(True,False,False,False,True),(True,True,False,False,True)] |
| 2025-11-28 22:54:52 | <tomsmeding> | EvanR: xor, or, and, nand |
| 2025-11-28 22:55:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-28 22:55:24 | × | Shark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-28 22:55:50 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-11-28 22:59:01 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 244 seconds) |
| 2025-11-28 22:59:56 | → | califax_ joins (~califax@user/califx) |
| 2025-11-28 23:01:08 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-28 23:01:11 | califax_ | is now known as califax |
| 2025-11-28 23:01:55 | <haskellbridge> | <loonycyborg> I just wish you could customize typeclass operators |
| 2025-11-28 23:02:17 | <haskellbridge> | <loonycyborg> like you could declare group(*) and get a multiplicative group :P |
| 2025-11-28 23:03:04 | <haskellbridge> | <loonycyborg> I guess it's already possible with TH |
| 2025-11-28 23:03:05 | <monochrom> | Integers, if you just require semigroup, then there are plus, times, min, max. |
| 2025-11-28 23:03:43 | <monochrom> | For Word you can also throw in bitwise operations :) |
| 2025-11-28 23:04:01 | <monochrom> | at least and, or, xor, xnor |
| 2025-11-28 23:04:34 | <EvanR> | what just happened |
| 2025-11-28 23:04:48 | <EvanR> | you did an exhaustive check against the monoid laws? |
| 2025-11-28 23:04:55 | <haskellbridge> | <loonycyborg> Like you could make a TH splice that will make a (semi)group over an operator that you pass it |
| 2025-11-28 23:05:29 | <EvanR> | loonycyborg, it sounds like that would really fuel the "too many operators" crowd |
| 2025-11-28 23:05:46 | <EvanR> | defining new operators gets hate so you don't want to do it easily |
| 2025-11-28 23:06:08 | <haskellbridge> | <loonycyborg> but it doesn't count as new operator right? |
| 2025-11-28 23:06:18 | <haskellbridge> | <loonycyborg> if you only use those that are traditionally groups |
| 2025-11-28 23:06:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-28 23:06:23 | <haskellbridge> | <loonycyborg> like + * |
| 2025-11-28 23:06:52 | <EvanR> | was just watching an old Stand Up Maths where he goes over a totally bogus economic formula published by ... a certain government |
| 2025-11-28 23:07:04 | <EvanR> | it contains * in it as an operator, like, an asterisk |
| 2025-11-28 23:07:10 | <EvanR> | with fancy formatted math |
| 2025-11-28 23:07:27 | <monochrom> | I think I saw that, yeah. |
| 2025-11-28 23:07:34 | <EvanR> | as an aside he observed... that's not a thing you do xD |
| 2025-11-28 23:08:03 | <EvanR> | so no you don't usually see asterisk as a group operator |
| 2025-11-28 23:08:08 | <haskellbridge> | <loonycyborg> I remember reading somewhere about a window system that overloaded + to add new widgets or something :P |
| 2025-11-28 23:08:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:9176:7929:ae5a:d4f6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-28 23:08:44 | <EvanR> | to be fair ascii doesn't have that many symbols so you might think that's why everything can be +-ed in designers minds |
| 2025-11-28 23:08:52 | <EvanR> | but I think it's a deeper psychosis |
| 2025-11-28 23:08:53 | <haskellbridge> | <loonycyborg> well multiplication is a group too in most cases. |
| 2025-11-28 23:10:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-28 23:11:06 | <haskellbridge> | <loonycyborg> I was just thinking that in many cases particular operator just happens to form a group |
| 2025-11-28 23:11:18 | <haskellbridge> | <loonycyborg> then you can save some typing by generating a group for it with TH |
| 2025-11-28 23:11:28 | <haskellbridge> | <loonycyborg> and then superclassing it |
| 2025-11-28 23:12:03 | <monochrom> | Until one says something like "$130 plus 5% plus 6%" OK OK that's group actions. :) |
| 2025-11-28 23:21:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-28 23:24:28 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-28 23:25:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-28 23:26:23 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-28 23:28:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-28 23:28:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-28 23:37:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-28 23:41:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-28 23:42:52 | → | Square joins (~Square@user/square) |
| 2025-11-28 23:52:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-28 23:54:14 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-28 23:58:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 00:03:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 00:06:32 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-29 00:07:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 00:10:32 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-29 00:11:15 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-29 00:18:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 00:23:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-29 00:23:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 00:25:11 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-29 00:31:15 | × | trickard quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 00:31:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-29 00:31:49 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 00:34:08 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-29 00:34:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 00:35:38 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-29 00:37:22 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-29 00:38:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 00:49:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 00:53:30 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 00:53:44 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 00:54:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 01:05:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 01:05:36 | × | Googulator95 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 01:05:45 | → | Googulator95 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 01:09:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-29 01:12:15 | × | trickard_ quits (~trickard@cpe-91-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-11-29 01:12:30 | → | trickard_ joins (~trickard@cpe-91-98-47-163.wireline.com.au) |
| 2025-11-29 01:15:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 01:20:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 01:23:51 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-29 01:24:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 01:25:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2025-11-29 01:26:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 01:32:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-29 01:33:55 | × | acidjnk quits (~acidjnk@p200300d6e71719110157f51e13fe5b99.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-29 01:35:37 | → | califax joins (~califax@user/califx) |
| 2025-11-29 01:35:41 | → | Googulator85 joins (~Googulato@84-236-53-137.pool.digikabel.hu) |
| 2025-11-29 01:35:47 | × | Googulator95 quits (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 01:35:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-29 01:35:50 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-29 01:36:05 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-29 01:37:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-29 01:38:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-29 01:42:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 01:43:02 | trickard_ | is now known as trickard |
| 2025-11-29 01:53:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.