| 2024-10-13 00:00:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 00:07:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-13 00:13:50 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-10-13 00:16:12 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-13 00:19:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 00:19:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-13 00:20:12 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-10-13 00:24:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-13 00:24:21 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 248 seconds) |
| 2024-10-13 00:24:43 +0200 | euleritian | (~euleritia@dynamic-176-006-128-043.176.6.pool.telefonica.de) |
| 2024-10-13 00:25:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-13 00:32:24 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-10-13 00:33:04 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-10-13 00:33:25 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-10-13 00:34:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 00:39:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 00:52:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 00:54:48 +0200 | euleritian | (~euleritia@dynamic-176-006-128-043.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-13 00:55:06 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-10-13 00:56:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-13 00:56:48 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-13 00:57:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 00:57:44 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-13 00:58:18 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-13 00:59:48 +0200 | Guest96 | (~Guest96@c-73-195-156-204.hsd1.nj.comcast.net) |
| 2024-10-13 00:59:54 +0200 | Guest96 | (~Guest96@c-73-195-156-204.hsd1.nj.comcast.net) (Client Quit) |
| 2024-10-13 01:00:35 +0200 | Guest96 | (~Guest96@c-73-195-156-204.hsd1.nj.comcast.net) |
| 2024-10-13 01:02:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-13 01:06:37 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-10-13 01:06:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-13 01:08:55 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2024-10-13 01:11:09 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-13 01:12:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 01:15:14 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-13 01:15:43 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb654dea90a41b19790d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-10-13 01:17:44 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3410-3c69-95ac-2678-675e-1b18.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 01:17:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-13 01:17:48 +0200 | zero | yin |
| 2024-10-13 01:18:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3410-3c69-95ac-2678-675e-1b18.rev.sfr.net) alexherbo2 |
| 2024-10-13 01:28:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 01:30:53 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-10-13 01:32:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-13 01:33:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3410-3c69-95ac-2678-675e-1b18.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 01:33:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3410-3c69-c96d-9b34-cdd6-9dcc.rev.sfr.net) alexherbo2 |
| 2024-10-13 01:33:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 01:37:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3410-3c69-c96d-9b34-cdd6-9dcc.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 01:44:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 01:51:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-13 02:02:15 +0200 | biberu\ | (~biberu@user/biberu) biberu |
| 2024-10-13 02:02:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 02:04:59 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 260 seconds) |
| 2024-10-13 02:05:00 +0200 | biberu\ | biberu |
| 2024-10-13 02:07:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 02:08:14 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-10-13 02:18:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 02:20:39 +0200 | krei-se | (~krei-se@p5085d46e.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-13 02:23:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 02:24:01 +0200 | Guest96 | (~Guest96@c-73-195-156-204.hsd1.nj.comcast.net) (Quit: Client closed) |
| 2024-10-13 02:28:34 +0200 | krei-se | (~krei-se@p5085d46e.dip0.t-ipconnect.de) krei-se |
| 2024-10-13 02:31:00 +0200 | jonoke67 | (~jonoke@191.36.70.115.static.exetel.com.au) |
| 2024-10-13 02:34:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 02:39:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 02:39:40 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2024-10-13 02:45:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-10-13 02:45:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-13 02:48:39 +0200 | jonoke67 | (~jonoke@191.36.70.115.static.exetel.com.au) (Quit: Client closed) |
| 2024-10-13 02:49:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 02:51:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-13 02:52:51 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-13 02:56:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-13 02:58:43 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-10-13 03:00:11 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-13 03:00:35 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Quit: st_aldini) |
| 2024-10-13 03:01:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-13 03:07:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 03:12:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-13 03:23:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 03:24:44 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-10-13 03:27:43 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:8cd6:c1b4:e0be:1fe8) (Ping timeout: 264 seconds) |
| 2024-10-13 03:29:35 +0200 | jinsun | (~jinsun@user/jinsun) () |
| 2024-10-13 03:30:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 03:41:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 03:44:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-13 03:46:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-13 03:57:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 04:02:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 04:04:23 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2024-10-13 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-10-13 04:05:32 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-10-13 04:07:29 +0200 | td_ | (~td@i5387092F.versanet.de) (Ping timeout: 255 seconds) |
| 2024-10-13 04:09:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-13 04:09:08 +0200 | td_ | (~td@i5387090D.versanet.de) |
| 2024-10-13 04:09:53 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 248 seconds) |
| 2024-10-13 04:11:12 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-10-13 04:14:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 04:18:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 04:20:35 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-10-13 04:20:35 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-10-13 04:23:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-10-13 04:29:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 04:34:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 04:35:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 04:40:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 04:50:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-13 04:51:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 04:56:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 05:01:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-13 05:07:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 05:09:34 +0200 | Inst | (~Inst@user/Inst) Inst |
| 2024-10-13 05:10:00 +0200 | <Inst> | a function with a type, without any typeclass constraints, of a -> b is equivalent to a -> Void, right? |
| 2024-10-13 05:11:02 +0200 | <probie> | Inst: can you define "equivalent"? It has the same number of inhabitants |
| 2024-10-13 05:11:34 +0200 | <Inst> | "essentially the same", which is just as ambiguously useless as equivalent |
| 2024-10-13 05:11:47 +0200 | <Inst> | i was reading Eric Normand complaining about the meaninglessness of type signatures |
| 2024-10-13 05:12:00 +0200 | <Inst> | "a -> a doesn't tell you anything", ummm, it tells you it's id |
| 2024-10-13 05:12:27 +0200 | <Inst> | which gets me thinking to a -> b must be unfulfillable, as well as the possible inhabitants of [a] -> [a] |
| 2024-10-13 05:13:45 +0200 | <geekosaur> | it's not a -> Void, it's a -> b. the trick being that it must be `undefined` |
| 2024-10-13 05:13:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 05:13:59 +0200 | <geekosaur> | in the same way that a -> a must be `id` |
| 2024-10-13 05:14:38 +0200 | <Lears> | `forall a b. a -> b` ~ `forall a. a -> forall b. b` ~ `forall a. a -> Void` ~ `(exists a. a) -> Void` ~ `() -> Void` ~ `Void` |
| 2024-10-13 05:14:41 +0200 | <Lears> | All isomorphic. |
| 2024-10-13 05:14:45 +0200 | <geekosaur> | sorry, I mean the only value possible of type `b` |
| 2024-10-13 05:15:30 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-10-13 05:20:55 +0200 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-10-13 05:21:08 +0200 | Inst | (~Inst@user/Inst) (Killed (NickServ (GHOST command used by Inst_))) |
| 2024-10-13 05:21:11 +0200 | Inst_ | Inst |
| 2024-10-13 05:21:14 +0200 | <Inst> | geekosaur: but a -> Void is defined, on the term level, exactly the same as a -> b |
| 2024-10-13 05:22:03 +0200 | <Inst> | also, it implies that any function whose signature ends in an unconstrained type variable, is equivalent to trying to produce a value of type Void |
| 2024-10-13 05:24:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 05:29:04 +0200 | bh34e5 | (~bh34e5@user/bh34e5) bh34e5 |
| 2024-10-13 05:29:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-13 05:31:00 +0200 | aforemny_ | (~aforemny@i577BEEEB.versanet.de) aforemny |
| 2024-10-13 05:31:48 +0200 | aforemny | (~aforemny@2001:9e8:6ce0:3e00:98ec:934c:3b0e:2930) (Ping timeout: 246 seconds) |
| 2024-10-13 05:32:59 +0200 | <probie> | Inst: I don't think that last bit is true (depending on what you mean by "unconstrained"). `a -> (a -> b) -> b` is not restricted to `Void` |
| 2024-10-13 05:35:12 +0200 | <Inst> | i guess i should be more precise when I say constrained |
| 2024-10-13 05:35:31 +0200 | <Inst> | b there is constrained by its usage in that function, also, hi (&) |
| 2024-10-13 05:39:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-13 05:39:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 05:42:13 +0200 | <Inst> | also, is it me, but is data families just "i miss OOP class declarations"? |
| 2024-10-13 05:42:58 +0200 | <yin> | i never got into data families. i'm not sure if i like them |
| 2024-10-13 05:42:59 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-10-13 05:43:02 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2024-10-13 05:43:24 +0200 | <yin> | can't remember if i ever got to understand them |
| 2024-10-13 05:44:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-13 05:44:43 +0200 | <geekosaur> | my feel is that data families are just function definitions spread over multiple source files |
| 2024-10-13 05:44:50 +0200 | <geekosaur> | or declarations |
| 2024-10-13 05:45:06 +0200 | comonad | (~comonad@p200300d02711e6001d93b8c5b2241d7f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-10-13 05:45:22 +0200 | <geekosaur> | I don't see them get used much if at all |
| 2024-10-13 05:45:52 +0200 | <geekosaur> | type families, OTOH, are the only way to create type functions since you can't make type functions the way you make value level functions |
| 2024-10-13 05:49:03 +0200 | <yin> | i don't use type families much if at all |
| 2024-10-13 05:49:27 +0200 | <yin> | but i guess i recognize their utility |
| 2024-10-13 05:49:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-13 05:52:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-13 05:55:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2024-10-13 05:55:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 05:56:24 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-13 05:57:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-13 06:00:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-13 06:03:27 +0200 | <Inst> | i'm trying to remember someone telling me that you can break derive functor by adding type lambdas |
| 2024-10-13 06:03:44 +0200 | <Inst> | after I foolishly thought I got one over Hutton by claiming that there's more than one possible functor instance |
| 2024-10-13 06:03:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-13 06:04:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-13 06:08:15 +0200 | <haskellbridge> | <Bowuigi> Inst/Lears parametricity and "Reason Isomorphically!" to the rescue! |
| 2024-10-13 06:09:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2024-10-13 06:11:20 +0200 | bh34e5 | (~bh34e5@user/bh34e5) (Ping timeout: 252 seconds) |
| 2024-10-13 06:11:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 06:14:41 +0200 | <haskellbridge> | <Bowuigi> Also note that parametricity only works at the term level. Type families break it |
| 2024-10-13 06:16:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 06:26:18 +0200 | bh34e5 | (~bh34e5@user/bh34e5) bh34e5 |
| 2024-10-13 06:27:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 06:32:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 06:41:01 +0200 | bh34e5 | (~bh34e5@user/bh34e5) (Read error: Connection reset by peer) |
| 2024-10-13 06:43:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 06:49:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 07:01:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 07:05:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 07:06:55 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) (Read error: Connection reset by peer) |
| 2024-10-13 07:07:53 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) synchromesh |
| 2024-10-13 07:13:30 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-13 07:14:08 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-13 07:16:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 07:17:26 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-13 07:20:04 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 2024-10-13 07:21:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 07:21:59 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-13 07:25:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 07:30:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-13 07:36:05 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 265 seconds) |
| 2024-10-13 07:40:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 07:41:00 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-13 07:45:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 07:47:57 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-13 07:53:17 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-13 07:56:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 08:01:47 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Remote host closed the connection) |
| 2024-10-13 08:01:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 08:02:12 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2024-10-13 08:12:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 08:17:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-13 08:18:08 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-10-13 08:26:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 08:30:08 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-13 08:31:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 08:42:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 08:48:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 08:56:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-13 08:56:33 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-13 08:59:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 09:00:01 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-13 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-13 09:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-13 09:03:18 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-10-13 09:04:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 09:08:21 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2024-10-13 09:15:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 09:15:42 +0200 | <dminuoso> | Hoogle has been performing horribly slow for me for several weeks now. What's up with that? |
| 2024-10-13 09:18:32 +0200 | <haskellbridge> | <sm> it's known.. seems to be hard to fix.. |
| 2024-10-13 09:18:41 +0200 | <haskellbridge> | <sm> there's another one at https://stackage.org |
| 2024-10-13 09:19:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-13 09:21:51 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-13 09:27:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 09:32:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 09:35:08 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-13 09:35:28 +0200 | loonycyborg_ | (loonycybor@chat.chantal.wesnoth.org) (Quit: ZNC - http://znc.sourceforge.net) |
| 2024-10-13 09:35:38 +0200 | sus0 | (zero@user/zeromomentum) (Quit: Ping timeout (120 seconds)) |
| 2024-10-13 09:35:39 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) loonycyborg |
| 2024-10-13 09:35:45 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Read error: Connection reset by peer) |
| 2024-10-13 09:35:48 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2024-10-13 09:36:40 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-10-13 09:42:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 09:49:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 10:00:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 10:04:21 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-13 10:06:00 +0200 | lockywolf | (~lockywolf@2a03:6000:6f63:638::2) lockywolf |
| 2024-10-13 10:06:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 10:12:36 +0200 | fireking04 | (~user@36-227-68-134.dynamic-ip.hinet.net) |
| 2024-10-13 10:14:19 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:9cf9:d6ee:25c3:ffab) |
| 2024-10-13 10:16:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 10:20:04 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1159aa082f6c88b685.dip0.t-ipconnect.de) acidjnk |
| 2024-10-13 10:21:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-13 10:25:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-13 10:28:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 10:32:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 10:32:57 +0200 | <kaol> | I wish length function was somehow lazier in inequality comparisons. If I have "length xs < 2" I don't care how big it is after the second element. |
| 2024-10-13 10:33:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-13 10:33:55 +0200 | <c_wraith> | You can do that with genericLength and an inductive natural number type |
| 2024-10-13 10:34:04 +0200 | crazazy | (~crazazy@tilde.town) (Ping timeout: 260 seconds) |
| 2024-10-13 10:34:12 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:9cf9:d6ee:25c3:ffab) (Ping timeout: 246 seconds) |
| 2024-10-13 10:34:33 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-13 10:34:51 +0200 | <kaol> | That's a bit execute 3 generations kind of a solution. |
| 2024-10-13 10:36:14 +0200 | <Lears> | In practice, it's simpler to `null . drop n`. |
| 2024-10-13 10:36:27 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-13 10:36:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-10-13 10:37:34 +0200 | <Lears> | Or even `void xs < repeat n ()`. |
| 2024-10-13 10:40:31 +0200 | <Lears> | replicate* |
| 2024-10-13 10:40:38 +0200 | <Lears> | I always mix those two up. |
| 2024-10-13 10:42:14 +0200 | <mauke> | slightly cursed, but I guess I'll take it |
| 2024-10-13 10:43:37 +0200 | <kaol> | I wonder if GHC's rewrite rules could do it. It'd be pretty cursed too. |
| 2024-10-13 10:43:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 10:44:55 +0200 | <mauke> | probably, if you break referential transparency |
| 2024-10-13 10:45:19 +0200 | <mauke> | I can see it working for length xs < 2, but not let n = length xs in n < 2 |
| 2024-10-13 10:48:23 +0200 | <Lears> | @let compareF f g = compare (void f) (void g) |
| 2024-10-13 10:48:25 +0200 | <lambdabot> | Defined. |
| 2024-10-13 10:48:33 +0200 | <Lears> | > compareF "abcd" [1..] |
| 2024-10-13 10:48:35 +0200 | <lambdabot> | LT |
| 2024-10-13 10:48:42 +0200 | <Lears> | > compareF [1..] "abcd" |
| 2024-10-13 10:48:43 +0200 | <lambdabot> | GT |
| 2024-10-13 10:48:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 10:50:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 10:55:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 10:59:21 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2024-10-13 10:59:37 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-13 11:00:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-13 11:01:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-13 11:01:39 +0200 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) hgolden |
| 2024-10-13 11:03:17 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 255 seconds) |
| 2024-10-13 11:03:18 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1159aa082f6c88b685.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-13 11:03:53 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-10-13 11:04:39 +0200 | hgolden_ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2024-10-13 11:04:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 11:04:57 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3007:2baa:8000::) |
| 2024-10-13 11:05:42 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-13 11:05:51 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:4673:8f05:ae9e:8f24) |
| 2024-10-13 11:08:15 +0200 | madhavanmiui | (~madhavanm@2409:40f4:3007:2baa:8000::) (Client Quit) |
| 2024-10-13 11:08:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1159aa082f6c88b685.dip0.t-ipconnect.de) acidjnk |
| 2024-10-13 11:09:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 11:11:08 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-10-13 11:13:28 +0200 | kuribas | (~user@host-88-217-189-18.customer.m-online.net) kuribas |
| 2024-10-13 11:15:30 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 246 seconds) |
| 2024-10-13 11:15:30 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) (Read error: Connection reset by peer) |
| 2024-10-13 11:17:33 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) synchromesh |
| 2024-10-13 11:17:56 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-10-13 11:18:42 +0200 | <kuribas> | Hello from Munihac |
| 2024-10-13 11:18:46 +0200 | mauke | waves |
| 2024-10-13 11:20:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 11:27:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 11:27:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 11:28:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-13 11:29:31 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:4673:8f05:ae9e:8f24) (Remote host closed the connection) |
| 2024-10-13 11:29:54 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:fda5:3260:aa3e:b51) |
| 2024-10-13 11:33:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-13 11:34:03 +0200 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-10-13 11:35:17 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:fda5:3260:aa3e:b51) (Ping timeout: 248 seconds) |
| 2024-10-13 11:35:47 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-13 11:36:53 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-13 11:39:51 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Remote host closed the connection) |
| 2024-10-13 11:40:14 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-13 11:43:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 11:47:28 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-13 11:48:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-13 11:49:29 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
| 2024-10-13 11:52:47 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-10-13 11:57:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-13 11:57:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-13 11:58:54 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-13 11:59:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 11:59:25 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-13 12:01:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-13 12:03:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-13 12:04:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 12:05:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-13 12:06:23 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-13 12:07:44 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-13 12:14:02 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-13 12:14:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-13 12:15:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 12:16:38 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-10-13 12:17:15 +0200 | dcoutts_ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 2024-10-13 12:18:26 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
| 2024-10-13 12:18:46 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-13 12:20:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 12:25:17 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-13 12:29:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 12:33:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-13 12:42:38 +0200 | ok | (~ok@37.30.20.33) |
| 2024-10-13 12:43:24 +0200 | ok | (~ok@37.30.20.33) (Client Quit) |
| 2024-10-13 12:44:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 12:45:03 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-13 12:45:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) alexherbo2 |
| 2024-10-13 12:48:42 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-13 12:49:03 +0200 | son0p | (~ff@186.119.83.52) son0p |
| 2024-10-13 12:49:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 12:51:14 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 12:53:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) alexherbo2 |
| 2024-10-13 12:54:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 12:57:30 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) alexherbo2 |
| 2024-10-13 13:00:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 13:02:25 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-10-13 13:07:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-13 13:09:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-13 13:12:41 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-cd99-171c-9a65-8209.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 13:15:09 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-13 13:18:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 13:22:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-903d-5ee0-ce29-b158.rev.sfr.net) alexherbo2 |
| 2024-10-13 13:23:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-13 13:23:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 13:24:17 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2024-10-13 13:26:10 +0200 | whosit | (~whosit@user/whosit) whosit |
| 2024-10-13 13:30:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 13:31:49 +0200 | masterbuilder | (~quassel@user/masterbuilder) masterbuilder |
| 2024-10-13 13:35:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 13:42:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-903d-5ee0-ce29-b158.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 13:45:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 13:46:02 +0200 | <mauke> | https://paste.tomsmeding.com/0GYRHPZM/raw/1 - thanks, haddock |
| 2024-10-13 13:46:17 +0200 | <lxsameer> | i have an array of functions like a -> IO (Maybe a), what is the proper way to call them in order and pass a fixed value for `a` and then bind the return values if it makes sense |
| 2024-10-13 13:47:07 +0200 | <lxsameer> | I'm using fold at the moment |
| 2024-10-13 13:48:27 +0200 | <mauke> | :t mapM |
| 2024-10-13 13:48:29 +0200 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2024-10-13 13:49:01 +0200 | <mauke> | :t \fs x -> mapM ($ x) fs |
| 2024-10-13 13:49:02 +0200 | <lambdabot> | (Traversable t, Monad m) => t (a -> m b) -> a -> m (t b) |
| 2024-10-13 13:49:29 +0200 | <mauke> | :t \fs x -> mapM ($ x) (fs `asTypeOf` []) |
| 2024-10-13 13:49:30 +0200 | <lambdabot> | Monad m => [a -> m b] -> a -> m [b] |
| 2024-10-13 13:49:58 +0200 | <lxsameer> | cheers |
| 2024-10-13 13:50:21 +0200 | <mauke> | ... that's just traverse, isn't it |
| 2024-10-13 13:50:23 +0200 | <mauke> | :t traverse |
| 2024-10-13 13:50:24 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2024-10-13 13:50:38 +0200 | <mauke> | well, mapM is |
| 2024-10-13 13:51:02 +0200 | <lxsameer> | perfect |
| 2024-10-13 13:51:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 13:51:05 +0200 | <geekosaur> | yes |
| 2024-10-13 13:51:42 +0200 | <geekosaur> | but mapM is used by so much code that removing it or even just aliasing it is risky to impossible |
| 2024-10-13 13:52:36 +0200 | <geekosaur> | (just like liftM is fmap but we can't just replace it) |
| 2024-10-13 14:01:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 14:06:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-13 14:08:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-13 14:19:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 14:20:56 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-13 14:22:51 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-13 14:23:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-13 14:27:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-10-13 14:27:52 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-13 14:31:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 14:35:40 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-13 14:37:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 14:38:54 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2024-10-13 14:39:53 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-13 14:39:57 +0200 | koz | (~koz@121.99.240.58) |
| 2024-10-13 14:45:28 +0200 | bh34e5 | (~bh34e5@user/bh34e5) bh34e5 |
| 2024-10-13 14:45:36 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-13 14:49:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 14:54:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-13 14:59:52 +0200 | Square | (~Square@user/square) Square |
| 2024-10-13 15:01:27 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-13 15:04:14 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-13 15:04:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 15:05:35 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 265 seconds) |
| 2024-10-13 15:10:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-13 15:13:25 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-10-13 15:13:48 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-10-13 15:14:43 +0200 | kuribas | (~user@host-88-217-189-18.customer.m-online.net) (Ping timeout: 252 seconds) |
| 2024-10-13 15:16:58 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Client Quit) |
| 2024-10-13 15:18:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-13 15:19:12 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-10-13 15:20:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 15:23:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-903d-5ee0-ce29-b158.rev.sfr.net) alexherbo2 |
| 2024-10-13 15:25:27 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) (Read error: Connection reset by peer) |
| 2024-10-13 15:25:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 15:26:37 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) synchromesh |
| 2024-10-13 15:31:12 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-10-13 15:32:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 15:32:40 +0200 | bh34e5_ | (~bh34e5@user/bh34e5) bh34e5 |
| 2024-10-13 15:33:23 +0200 | malte | (~malte@mal.tc) (Read error: Connection reset by peer) |
| 2024-10-13 15:33:37 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-13 15:35:16 +0200 | bh34e5 | (~bh34e5@user/bh34e5) (Ping timeout: 252 seconds) |
| 2024-10-13 15:36:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-13 15:39:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-903d-5ee0-ce29-b158.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 15:40:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-10b5-291f-9c7d-dff8.rev.sfr.net) alexherbo2 |
| 2024-10-13 15:44:07 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3408-4ca6-10b5-291f-9c7d-dff8.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-13 15:45:50 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-13 15:47:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 15:49:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1159aa082f6c88b685.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-13 15:52:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 15:57:24 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2024-10-13 16:06:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 16:07:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-10-13 16:08:02 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-13 16:08:44 +0200 | euleritian | (~euleritia@dynamic-176-002-129-106.176.2.pool.telefonica.de) |
| 2024-10-13 16:12:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-13 16:23:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 16:24:02 +0200 | euleritian | (~euleritia@dynamic-176-002-129-106.176.2.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-13 16:24:16 +0200 | euleritian | (~euleritia@dynamic-176-003-092-193.176.3.pool.telefonica.de) |
| 2024-10-13 16:24:45 +0200 | euleritian | (~euleritia@dynamic-176-003-092-193.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-13 16:25:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-13 16:25:58 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-13 16:28:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-13 16:33:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 16:38:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-13 16:38:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb11e5489706f92aa89b.dip0.t-ipconnect.de) acidjnk |
| 2024-10-13 16:39:49 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-10-13 16:44:00 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-13 16:44:00 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-13 16:48:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 16:49:57 +0200 | edwtjo | (~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se) |
| 2024-10-13 16:49:57 +0200 | edwtjo | (~edwtjo@h-85-24-143-221.A213.priv.bahnhof.se) (Changing host) |
| 2024-10-13 16:49:57 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2024-10-13 16:53:17 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-13 16:53:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-13 17:04:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 17:09:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 17:11:17 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-10-13 17:11:59 +0200 | hc_ | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-10-13 17:14:02 +0200 | hc | (~hc@mail.hce.li) hc |
| 2024-10-13 17:23:18 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb11e5489706f92aa89b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-13 17:23:18 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 245 seconds) |
| 2024-10-13 17:23:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 17:27:28 +0200 | <yin> | do we have something like Gloss for 3D? what's the closest thing? |
| 2024-10-13 17:30:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 17:34:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 17:34:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-13 17:37:56 +0200 | <yin> | just found out about not-gloss :P |
| 2024-10-13 17:38:18 +0200 | <yin> | has anyone used it? |
| 2024-10-13 17:39:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-13 17:40:49 +0200 | <yin> | doesn't look like much |
| 2024-10-13 17:41:00 +0200 | <yin> | i'll keep looking |
| 2024-10-13 17:47:18 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-13 17:47:31 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-13 17:50:45 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2024-10-13 17:50:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 17:52:52 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-13 17:55:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-13 17:59:21 +0200 | kaskal | (~kaskal@2001:4bb8:2af:db4a:8213:de4d:dd34:38f3) (Ping timeout: 252 seconds) |
| 2024-10-13 17:59:32 +0200 | kaskal | (~kaskal@213-225-13-57.nat.highway.a1.net) kaskal |
| 2024-10-13 17:59:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-13 18:06:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 18:07:12 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-13 18:11:06 +0200 | user363627 | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-10-13 18:11:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-13 18:14:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-13 18:15:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-13 18:15:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-13 18:18:06 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb115c8ca2f660dd1d29.dip0.t-ipconnect.de) |
| 2024-10-13 18:19:55 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-10-13 18:20:17 +0200 | fireking04 | (~user@36-227-68-134.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2024-10-13 18:22:01 +0200 | <haskellbridge> | <iqubic (she/her)> So, I see that hoogle is telling me "(!?) :: [a] -> Int -> Maybe a" is in base, but I'm being told that this function doesn't exist by my compiler. Was it added later? |
| 2024-10-13 18:22:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-13 18:22:40 +0200 | <haskellbridge> | <iqubic (she/her)> Like, in a recent version of base, and perhaps my ghc version is too old to have base 4.20 |
| 2024-10-13 18:27:09 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds) |
| 2024-10-13 18:27:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-13 18:32:06 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |