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) |
2024-10-13 18:32:37 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2024-10-13 18:35:06 +0200 | <ghoulguy> | do you know how to check? |
2024-10-13 18:35:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 18:35:50 +0200 | <ghoulguy> | the docs for each base version are available on hackage |
2024-10-13 18:36:12 +0200 | <haskellbridge> | <iqubic (she/her)> Yeah, I did just check. |
2024-10-13 18:36:28 +0200 | <haskellbridge> | <iqubic (she/her)> Looks like I need to use ghc 9.10 |
2024-10-13 18:42:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-13 18:42:51 +0200 | <geekosaur> | yes |
2024-10-13 18:53:04 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-13 18:53:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 18:55:15 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-13 18:56:04 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2024-10-13 18:56:32 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:8858:4365:4e70:4256) (Remote host closed the connection) |
2024-10-13 18:56:46 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:14d2:2457:bd7:5741) |
2024-10-13 18:58:25 +0200 | <geekosaur> | iqubic, usually I'd hit hoogle (since the official one is either down or unusably slow, I'd use stackage or mango's) and look for a `@since` annotation |
2024-10-13 18:58:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 18:59:03 +0200 | <geekosaur> | (actually I think that renders as italics and smaller text; @since is the source form) |
2024-10-13 18:59:45 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-0d2f-43c5-eed5-4b88.rev.sfr.net) alexherbo2 |
2024-10-13 19:03:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-10-13 19:03:38 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-10-13 19:04:42 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-13 19:05:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-13 19:09:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 19:10:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-13 19:10:56 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:c1b4:8e00:e3a8:2bf7) |
2024-10-13 19:12:05 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-0d2f-43c5-eed5-4b88.rev.sfr.net) (Remote host closed the connection) |
2024-10-13 19:16:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-13 19:16:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-13 19:18:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 19:21:11 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2024-10-13 19:22:57 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-13 19:22:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-13 19:26:00 +0200 | <Inst> | thank god I'm not capable of modifying GHC part 2938 |
2024-10-13 19:26:09 +0200 | <Inst> | scoped typeclasses |
2024-10-13 19:26:13 +0200 | <Inst> | (i don't think Idris has that?) |
2024-10-13 19:26:20 +0200 | <Inst> | then using typeclasses as a way of generating objects |
2024-10-13 19:26:57 +0200 | <Inst> | \you could do it, it'd be funny (in a stapler to your forehead kind of way), but why? |
2024-10-13 19:27:23 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-13 19:27:33 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2024-10-13 19:28:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-13 19:28:43 +0200 | <geekosaur> | isn't that more emulating SML/NJ's `open`? |
2024-10-13 19:29:00 +0200 | <geekosaur> | in some bass-ackwards fashion? |
2024-10-13 19:30:51 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-13 19:33:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 19:34:07 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) (Read error: Connection reset by peer) |
2024-10-13 19:34:38 +0200 | <Inst> | I'm not familiar with SML/NJ's open |
2024-10-13 19:35:06 +0200 | <Inst> | I'm wondering right now why Haskell made the decision to not go to typeclasses by default (although typeclasses were a later introduction) |
2024-10-13 19:35:13 +0200 | <Inst> | it's probably a type safety thing |
2024-10-13 19:35:14 +0200 | synchromesh | (~john@2406:5a00:2497:300:5545:131a:a4af:e344) synchromesh |
2024-10-13 19:35:31 +0200 | <Inst> | also, having every type error turn into "no instance of ..." is probably really annoying |
2024-10-13 19:39:53 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-10-13 19:40:27 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-10-13 19:44:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-13 19:44:44 +0200 | CiaoSen | (~Jura@2a05:5800:215:400:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-13 19:49:29 +0200 | <geekosaur> | importing a (usually parameterized, i.e. "functor" in SML/NJ terminology, as distinct from Haskell's) module locally so you can use it in a set of local-ish bindings |
2024-10-13 19:51:12 +0200 | <geekosaur> | (by "local-ish", I mean the "local" keyword to create a local context applied to what are otherwise top level bindings) |
2024-10-13 19:53:50 +0200 | <geekosaur> | also, it's not type safety. typeclasses have distinct limitations, in particular that instances are global (although admittedly that part is type safety in that local typeclass instances would give rise to unsoundness) |
2024-10-13 19:55:31 +0200 | <geekosaur> | types at least can be local to a module if they're not exported; typeclass instances are always exported |
2024-10-13 19:56:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 20:00:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-13 20:01:26 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
2024-10-13 20:05:37 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 248 seconds) |
2024-10-13 20:06:29 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-13 20:06:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-10-13 20:11:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-13 20:12:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-10-13 20:13:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-10-13 20:13:59 +0200 | <monochrom> | Not sure what "Haskell made the decision to not go to typeclasses by default" means (does it even mean anything?), but type classes did not even exist until some Haskell people (eg Wadler, Jones) invented it for Haskell. As in, no other language had it back then. |
2024-10-13 20:14:58 +0200 | <geekosaur> | context suggests the intent is "uses typeclass constraints instead of types for everything". which is still confused, as how can you have typeclass constraints without types to resolve them to? |
2024-10-13 20:15:33 +0200 | <geekosaur> | not to mention that now mono-traversable etc. need to be in base for it to be actually usable, but mono-traversable has its own problems |
2024-10-13 20:16:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-13 20:18:04 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-13 20:18:48 +0200 | <Inst> | monochrom: overload all functions by default based on types |
2024-10-13 20:19:27 +0200 | <monochrom> | Oh, that we know, it's obvious. |
2024-10-13 20:20:09 +0200 | <monochrom> | https://mail.haskell.org/pipermail/haskell-cafe/2010-November/086220.html |