2025/07/24

Newest at the top

2025-07-24 17:20:23 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 17:17:04 +0200ethereal_(~ethereal@user/ethereal-:30935) (Quit: ideling)
2025-07-24 17:15:25 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 17:12:41 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-07-24 17:11:31 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 17:05:16 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-24 17:04:19 +0200ethereal_(~ethereal@user/ethereal-:30935) (Client Quit)
2025-07-24 17:03:59 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 17:03:36 +0200ft(~ft@p508db189.dip0.t-ipconnect.de) ft
2025-07-24 17:02:34 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-24 17:02:18 +0200ndudaev(~ndudaev@user/ndudaev) (Quit: WeeChat 4.7.0)
2025-07-24 17:01:53 +0200ethereal_(~ethereal@user/ethereal-:30935) (Client Quit)
2025-07-24 17:01:44 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-24 17:00:45 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-07-24 16:59:50 +0200manwithluck(~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 +0200m1dnight(~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 +0200Pozyomka(~pyon@user/pyon) pyon
2025-07-24 16:48:19 +0200trickard_trickard
2025-07-24 16:47:42 +0200m1dnight_(~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 +0200Pozyomka(~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 +0200arandombit(~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 +0200xff0x(~xff0x@2405:6580:b080:900:5694:1cf:5a35:8263) (Ping timeout: 276 seconds)
2025-07-24 16:33:24 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-24 16:33:11 +0200trickard_(~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 +0200gorignak(~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 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-24 16:20:49 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-24 16:20:42 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 16:17:51 +0200xff0x(~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 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-07-24 16:15:29 +0200xff0x(~xff0x@2405:6580:b080:900:b829:fe37:78e9:2011) (Quit: xff0x)
2025-07-24 16:15:25 +0200Digitteknohippie(~user@user/digit) Digit
2025-07-24 16:12:58 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 240 seconds)
2025-07-24 16:12:15 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds)
2025-07-24 16:12:04 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)