Newest at the top
| 2025-07-24 17:20:23 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 17:17:04 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Quit: ideling) |
| 2025-07-24 17:15:25 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 17:12:41 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-24 17:11:31 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 17:05:16 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-24 17:04:19 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Client Quit) |
| 2025-07-24 17:03:59 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 17:03:36 +0200 | ft | (~ft@p508db189.dip0.t-ipconnect.de) ft |
| 2025-07-24 17:02:34 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-24 17:02:18 +0200 | ndudaev | (~ndudaev@user/ndudaev) (Quit: WeeChat 4.7.0) |
| 2025-07-24 17:01:53 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Client Quit) |
| 2025-07-24 17:01:44 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-24 17:00:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-07-24 16:59:50 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 16:59:19 +0200 | <mauke> | https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.IO.Exception.html#… |
| 2025-07-24 16:59:03 +0200 | <mauke> | not just platforms, but also compilers/interpreters |
| 2025-07-24 16:50:59 +0200 | m1dnight | (~m1dnight@109.236.63.152) (Ping timeout: 252 seconds) |
| 2025-07-24 16:50:13 +0200 | <milan> | I think I understand |
| 2025-07-24 16:49:53 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-07-24 16:48:19 +0200 | trickard_ | trickard |
| 2025-07-24 16:47:42 +0200 | m1dnight_ | (~m1dnight@109.236.63.204) m1dnight |
| 2025-07-24 16:46:04 +0200 | <EvanR> | and code hypothetically still works |
| 2025-07-24 16:45:54 +0200 | <EvanR> | so you can have different implementation options, or change the implementation |
| 2025-07-24 16:45:53 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-07-24 16:45:30 +0200 | <EvanR> | yeah it's an example of an abstract data type, the constructors aren't disclosed |
| 2025-07-24 16:43:46 +0200 | <milan> | Ah so it is something like abstraction for Windows, Linux and others.. Got it |
| 2025-07-24 16:42:37 +0200 | <EvanR> | instead of a uniform interface like the one in Control.Exception |
| 2025-07-24 16:42:04 +0200 | <EvanR> | implementation specific details means that your program would only work on a subset of the platforms, if you wrote your code against one of their internal forms |
| 2025-07-24 16:40:38 +0200 | <milan> | mauke: Do I understand it correctly that it would need to look like `data IOError = NotFound String, String,..String` so value constructors would be really long and thus confusing? |
| 2025-07-24 16:40:37 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-07-24 16:37:02 +0200 | <milan> | EvanR: thank you for alternative! |
| 2025-07-24 16:36:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5694:1cf:5a35:8263) (Ping timeout: 276 seconds) |
| 2025-07-24 16:33:24 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-24 16:33:11 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 16:32:36 +0200 | <EvanR> | or if it's bool functions, multiway if |
| 2025-07-24 16:31:35 +0200 | <EvanR> | view patterns gives you a way to pattern match if they only expose a set of observation functions |
| 2025-07-24 16:29:01 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-24 16:29:01 +0200 | <mauke> | it contains lots of implementation specific details that are not directly exposed to the user |
| 2025-07-24 16:26:36 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-24 16:20:49 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-24 16:20:42 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 16:17:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5694:1cf:5a35:8263) |
| 2025-07-24 16:16:44 +0200 | <milan> | Hello, is there a reason why we can't pattern match on IOError? |
| 2025-07-24 16:16:27 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-24 16:15:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b829:fe37:78e9:2011) (Quit: xff0x) |
| 2025-07-24 16:15:25 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-24 16:12:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-24 16:12:15 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 2025-07-24 16:12:04 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |