Newest at the top
| 2024-11-08 17:48:28 +0100 | <EvanR> | I guess I heard of this or that "lens that's not a true lens" or something |
| 2024-11-08 17:47:52 +0100 | <EvanR> | leaky abstractions? in optics? |
| 2024-11-08 17:46:47 +0100 | <yin> | apart from introducing complexity, hard to reason about performance penalties and arguably inevitably leaky abstractions, which i guess you can say still belongs to the realm of stylistic preference, i think it goes against one of the main reasons why *I* choose to use Haskell, which is managing complexity and making things more maintainable (for some definition of maintainable) |
| 2024-11-08 17:46:41 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:46:22 +0100 | willscripted | (~willscrip@user/willscripted) (Client Quit) |
| 2024-11-08 17:45:56 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:43:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 17:42:21 +0100 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-08 17:42:11 +0100 | willscripted | (~willscrip@user/willscripted) (Quit: willscripted) |
| 2024-11-08 17:41:06 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-08 17:36:22 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-11-08 17:35:25 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:34:32 +0100 | willscripted | (~willscrip@user/willscripted) (Quit: Client closed) |
| 2024-11-08 17:32:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-08 17:32:16 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2024-11-08 17:32:03 +0100 | <haskellbridge> | <Bowuigi> yin "mostly" implies that you have non-stylistic arguments too, what are they? |
| 2024-11-08 17:31:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2024-11-08 17:27:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 17:26:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-08 17:21:38 +0100 | <merijn> | I mean, I rarely use optics, but sometimes they just make things infinitely easier :) |
| 2024-11-08 17:19:38 +0100 | <yin> | merijn: i could write a dozen paragraphs about it but it all comes down to personal stylistic preferences (mostly) |
| 2024-11-08 17:17:51 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda |
| 2024-11-08 17:16:58 +0100 | willx | (~willscrip@user/willscripted) (Client Quit) |
| 2024-11-08 17:15:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-08 17:15:27 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-08 17:14:07 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-08 17:13:52 +0100 | willx | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 17:13:52 +0100 | willx | (~willscrip@72.85.164.116) (Changing host) |
| 2024-11-08 17:12:33 +0100 | willx | (~willscrip@72.85.164.116) |
| 2024-11-08 17:06:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-08 17:05:08 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-08 17:00:50 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-08 16:55:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-08 16:55:09 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2024-11-08 16:46:22 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-08 16:34:01 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 16:34:01 +0100 | willscripted | (~willscrip@72.85.164.116) (Changing host) |
| 2024-11-08 16:30:39 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-11-08 16:28:14 +0100 | willscripted | (~willscrip@72.85.164.116) |
| 2024-11-08 16:25:00 +0100 | Square2 | (~Square@user/square) Square |
| 2024-11-08 16:15:57 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-11-08 16:15:48 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-08 16:12:17 +0100 | <merijn> | yin: Why avoid optics like the plague? |
| 2024-11-08 16:09:28 +0100 | <merijn> | kqr: Which suggest what you really want might be in base's Numeric module :) |
| 2024-11-08 16:08:18 +0100 | <merijn> | kqr: ah, wait, custom numeric types suggest what you *really* want is "convert number to string with control over decimals, etc." yes? |
| 2024-11-08 16:07:37 +0100 | son0p | (~ff@186.121.30.70) (Ping timeout: 244 seconds) |
| 2024-11-08 16:07:10 +0100 | <merijn> | kqr: I mean, Printf is kinda yikes, so I would definitely avoid that |
| 2024-11-08 16:05:23 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3309-f88a-dc43-ac5e-6a5b-79bd.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-08 16:01:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-08 16:00:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |