Newest at the top
| 2025-03-03 13:16:57 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-03 13:15:46 +0100 | tromp | (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) |
| 2025-03-03 13:14:04 +0100 | tromp | (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-03 13:13:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-03 13:11:30 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-03-03 13:09:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-03 13:01:55 +0100 | fp1 | fp |
| 2025-03-03 13:01:54 +0100 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
| 2025-03-03 13:00:00 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-03-03 12:58:50 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-03-03 12:57:07 +0100 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-03-03 12:41:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-03 12:39:14 +0100 | tabaqui1 | (~root@87.200.129.102) (Client Quit) |
| 2025-03-03 12:39:09 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-03-03 12:38:41 +0100 | tabaqui1 | (~root@87.200.129.102) (Quit: WeeChat 4.5.1) |
| 2025-03-03 12:34:58 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-03-03 12:30:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-03 12:29:36 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-03 12:29:06 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-03-03 12:27:14 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9bc7:c2e3:e40a:e335) |
| 2025-03-03 12:27:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-03 12:26:39 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f05ac853a078363741e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-03-03 12:25:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3) (Ping timeout: 246 seconds) |
| 2025-03-03 12:24:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 2025-03-03 12:22:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-03 12:20:08 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3) |
| 2025-03-03 12:18:14 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-03 12:12:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-03 12:07:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-03-03 12:01:09 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-03-03 12:00:02 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-03 11:58:29 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-03-03 11:49:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-03 11:41:47 +0100 | <tomsmeding> | how much value you ascribe to this argument depends on how acceptable you think it is to need HLS to work productively. :) |
| 2025-03-03 11:41:25 +0100 | <tomsmeding> | a possible argument in this debate: the more you use polymorphic typeclass methods instead of monomorphic ones (where the latter would have been possible), the less readable your code gets without HLS telling what type things have |
| 2025-03-03 11:39:03 +0100 | <tomsmeding> | to which there's no general consensus other than that 'map' hasn't been removed yet, so do what you think is right |
| 2025-03-03 11:38:35 +0100 | <carbolymer> | yeah ) |
| 2025-03-03 11:38:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-03 11:38:18 +0100 | <tomsmeding> | carbolymer: I guess it comes down to which side of the debate you're on regarding "should we have 'map' in addition to 'fmap'" :) |
| 2025-03-03 11:37:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-03-03 11:34:39 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-03-03 11:33:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-03 11:33:17 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-03-03 11:31:21 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2025-03-03 11:30:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-03-03 11:27:05 +0100 | <carbolymer> | the downside is that compiler errors are not very readable with `IsList` |
| 2025-03-03 11:25:43 +0100 | <carbolymer> | I prefer IsList over Map.fromList for example, because I can easily change the collection type and don't worry about updating imports everywhere. Why do you consider its only use case `OverloadedLists`? |
| 2025-03-03 11:23:59 +0100 | <merijn> | carbolymer: I mean, the main (only) use case for IsList is `OverloadedLists` in which case the instance should generally be inferred and inlining known instances is a pretty trivial optimisation I'd assume GHC gets right |
| 2025-03-03 11:23:43 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-03-03 11:22:03 +0100 | <carbolymer> | yes, def, but is it worth providing monomorphic versions of those? |