Logs: liberachat/#haskell
| 2025-12-21 14:50:37 | → | Googulator95 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 14:50:49 | × | Googulator98 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 14:55:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 15:02:09 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-21 15:02:50 | → | corecaps joins (~quassel@user/corecaps) |
| 2025-12-21 15:06:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 15:11:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 15:15:32 | × | corecaps quits (~quassel@user/corecaps) (Read error: Connection reset by peer) |
| 2025-12-21 15:19:35 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-21 15:20:39 | × | Googulator95 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 15:20:45 | → | Googulator39 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 15:22:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 15:26:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 15:28:28 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-12-21 15:29:57 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2025-12-21 15:30:39 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-21 15:37:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 15:39:00 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-21 15:44:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 15:50:39 | → | Googulator14 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 15:50:51 | × | Googulator39 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 15:54:33 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 250 seconds) |
| 2025-12-21 15:56:01 | → | merijn joins (~merijn@62.45.136.136) |
| 2025-12-21 15:59:38 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-12-21 15:59:39 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-12-21 16:00:18 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-12-21 16:00:20 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-21 16:00:35 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2025-12-21 16:03:45 | → | corecaps joins (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) |
| 2025-12-21 16:05:06 | × | corecaps quits (~quassel@2a01:e0a:bce:8d30:213f:8faa:e762:278d) (Changing host) |
| 2025-12-21 16:05:06 | → | corecaps joins (~quassel@user/corecaps) |
| 2025-12-21 16:07:32 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-21 16:09:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-21 16:09:25 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-12-21 16:11:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 16:16:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 16:17:15 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-21 16:22:10 | → | FloorCalc joins (~user@user/FloorCalc) |
| 2025-12-21 16:23:46 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-21 16:27:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 16:27:49 | × | FloorCalc quits (~user@user/FloorCalc) (Read error: Connection reset by peer) |
| 2025-12-21 16:28:12 | → | FloorCalc joins (~user@user/FloorCalc) |
| 2025-12-21 16:29:29 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-12-21 16:29:46 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-21 16:30:06 | Googulator14 | is now known as Googulator |
| 2025-12-21 16:33:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 16:41:36 | × | opencircuit quits (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-12-21 16:41:45 | → | opencircuit joins (~quassel@user/opencircuit) |
| 2025-12-21 16:41:56 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-21 16:43:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 16:48:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-21 16:49:55 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 16:52:07 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-12-21 16:52:33 | → | vgtw joins (~vgtw@user/vgtw) |
| 2025-12-21 16:55:55 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-21 16:56:18 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-21 16:59:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 17:01:24 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-21 17:03:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 17:06:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 17:06:12 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 17:10:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 17:10:49 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 250 seconds) |
| 2025-12-21 17:14:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-21 17:18:33 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 17:21:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 17:26:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 17:28:04 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-21 17:29:53 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-12-21 17:30:43 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-12-21 17:35:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 17:39:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 17:39:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-21 17:45:01 | × | corecaps quits (~quassel@user/corecaps) (Remote host closed the connection) |
| 2025-12-21 17:47:22 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-21 17:50:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 17:55:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 17:59:35 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-21 18:00:14 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-21 18:01:49 | → | corecaps joins (~quassel@user/corecaps) |
| 2025-12-21 18:04:19 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-21 18:06:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 18:11:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 18:15:51 | <milan2> | Hello guyz, I have a quastion based on assumption. So lets start with that. Is it true that it is best to build lists from other lists by use of foldr? |
| 2025-12-21 18:16:59 | <milan2> | If that is true then I should prefer that over foldl. However I had to use foldl, now does using foldr have meaning? I guess it still has right? |
| 2025-12-21 18:17:46 | <milan2> | foldr s3 . folrl s2 . foldl s1 |
| 2025-12-21 18:18:43 | <c_wraith> | "best" is vague. |
| 2025-12-21 18:19:12 | <milan2> | Even for purpose of producing new list from old lists? |
| 2025-12-21 18:19:18 | <geekosaur> | I think building lists from other lists is actually better done with difference lists in most cases, because folds will traverse the lists multiple times? |
| 2025-12-21 18:19:25 | <geekosaur> | but it will depend on the exact intent |
| 2025-12-21 18:19:26 | <c_wraith> | sure. What's the best for implementing reverse? |
| 2025-12-21 18:19:45 | <c_wraith> | @src reverse |
| 2025-12-21 18:19:45 | <lambdabot> | reverse = foldl (flip (:)) [] |
| 2025-12-21 18:20:58 | <milan2> | chain of foldr should not traverse multiple times? |
| 2025-12-21 18:21:20 | <milan2> | c_wraith: Ok, so for reverse foldl is preferable. |
| 2025-12-21 18:21:41 | <c_wraith> | I think what you're getting at is foldr/build fusion |
| 2025-12-21 18:22:04 | <c_wraith> | Participating in that on both sides requires using both foldr and build |
| 2025-12-21 18:22:19 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 18:22:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 18:23:14 | <milan2> | c_wraith: Now I am lost a little, could you elaborate on "build" or provide some documentation? |
All times are in UTC.