Logs: freenode/#haskell
| 2021-03-04 11:42:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 11:48:04 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Quit: Leaving) |
| 2021-03-04 11:48:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-04 11:48:38 | <nshepperd2> | siraben: FingerTree (Set a) a works 'in principle' -- you can find an element in O(log(n)^2) by following the branches that have your element, but the concatenation performance is terrible (O(n log (m)^2) or so) |
| 2021-03-04 11:49:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 11:49:42 | <arahael> | Found the answer at https://stackoverflow.com/a/22858640/52273 - apparently I had to use `withSubstDTDEntities no` |
| 2021-03-04 11:50:13 | <nshepperd2> | maybe a less ridiculous monoid in a fingertree would work, i don't know what though |
| 2021-03-04 11:50:29 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-04 11:53:21 | × | mananamenos_ quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2021-03-04 11:53:37 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-04 11:54:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-04 11:55:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 11:59:05 | → | alx741 joins (~alx741@186.178.108.117) |
| 2021-03-04 11:59:41 | → | JASTH joins (~Android@78-68-99-187-no2810.tbcn.telia.com) |
| 2021-03-04 12:01:55 | → | bobiusbillius joins (~bobiusbil@2a00:23c7:9909:5b01:1037:bcdb:7c3:6458) |
| 2021-03-04 12:05:31 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-04 12:05:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-04 12:06:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) (Ping timeout: 264 seconds) |
| 2021-03-04 12:06:51 | × | JASTH quits (~Android@78-68-99-187-no2810.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-03-04 12:06:51 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-04 12:07:18 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-04 12:07:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 12:08:15 | × | refusenick quits (~user@2601:644:8502:d700::9c98) (Ping timeout: 240 seconds) |
| 2021-03-04 12:11:08 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-04 12:12:19 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-04 12:12:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-04 12:13:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 12:13:17 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-04 12:13:33 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-04 12:15:38 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-04 12:15:44 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-04 12:16:01 | → | LKoen joins (~LKoen@185.61.176.203) |
| 2021-03-04 12:16:56 | → | cgadski_ joins (~textual@87.196.80.116) |
| 2021-03-04 12:16:59 | → | JASTH joins (~Android@78-68-99-187-no2810.tbcn.telia.com) |
| 2021-03-04 12:20:18 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-04 12:20:19 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2021-03-04 12:20:27 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-04 12:21:09 | cgadski_ | is now known as cgadski |
| 2021-03-04 12:21:19 | × | LKoen quits (~LKoen@185.61.176.203) (Remote host closed the connection) |
| 2021-03-04 12:23:43 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-04 12:24:32 | × | JASTH quits (~Android@78-68-99-187-no2810.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-03-04 12:25:42 | × | plutoniix quits (~q@184.82.201.211) (Quit: Leaving) |
| 2021-03-04 12:28:12 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 258 seconds) |
| 2021-03-04 12:40:39 | sqrt2_ | is now known as sqrt2 |
| 2021-03-04 12:43:16 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-04 12:43:23 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-04 12:46:19 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-04 12:46:38 | × | Dykam quits (Dykam@dykam.nl) (Quit: Dykam) |
| 2021-03-04 12:46:52 | → | Dykam joins (Dykam@dykam.nl) |
| 2021-03-04 12:47:11 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-04 12:47:15 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-04 12:48:45 | × | bobiusbillius quits (~bobiusbil@2a00:23c7:9909:5b01:1037:bcdb:7c3:6458) (Read error: Connection reset by peer) |
| 2021-03-04 12:48:57 | → | bobiusbillius joins (~bobiusbil@host109-153-130-34.range109-153.btcentralplus.com) |
| 2021-03-04 12:52:54 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-04 12:53:22 | × | cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone) |
| 2021-03-04 12:54:09 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2021-03-04 12:58:20 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-04 13:00:45 | <absence> | is there something strange about higher rank functions and function composition? "\a -> hoist (f (g a))" compiles, but not "hoist . f . g". the type of hoist is (MFunctor t, Monad m) => (forall a. m a -> n a) -> t m b -> t n b |
| 2021-03-04 13:00:56 | <absence> | is this for the same reason that the $ operator is magical? |
| 2021-03-04 13:02:03 | <merijn> | Sorta |
| 2021-03-04 13:02:18 | <merijn> | Basically (.) does *not* have the hack that $ does |
| 2021-03-04 13:02:21 | <{abby}> | hopefully not for long |
| 2021-03-04 13:02:35 | <{abby}> | i mean hopefully ($) won't have a hack for long |
| 2021-03-04 13:02:43 | <merijn> | absence: Parentheses are not affected because those are syntactical, not functions |
| 2021-03-04 13:03:16 | <merijn> | {abby}: More importantly, we'll be able to tell whether ImpredicativeTypes works :p |
| 2021-03-04 13:03:22 | <absence> | so once $ doesn't have the hack, . will also work? |
| 2021-03-04 13:03:45 | <merijn> | absence: Pretty sure that {abby} is referring to the work on sane ImpredicativeTypes |
| 2021-03-04 13:03:53 | <{abby}> | absence: i think the plan is to get rid of the hack in ($) when quick look lands but i'm... not actually sure |
| 2021-03-04 13:04:47 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-04 13:05:07 | <{abby}> | but yes, once GHC has a proper story for inferring impredicative instantiations, hopefully in the next release, "hoist . f . g" will compile as it should |
| 2021-03-04 13:06:12 | <Lycurgus> | https://www.microsoft.com/en-us/research/publication/a-quick-look-at-impredicativity/ that quick look? |
| 2021-03-04 13:06:37 | <merijn> | Yeah |
| 2021-03-04 13:06:37 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-04 13:06:48 | <absence> | good to hear. i've run into impredicative types in other situations, but didn't join the dots that it also occurs during composition. is it ideally for 9.2? |
| 2021-03-04 13:07:06 | <merijn> | I think quick look is planned for 9.2, yeah |
| 2021-03-04 13:07:35 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-04 13:07:50 | <absence> | thanks! |
| 2021-03-04 13:10:14 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-04 13:10:42 | × | smerdyakov quits (~dan@5.146.194.90) (Read error: Connection reset by peer) |
| 2021-03-04 13:11:01 | hc_ | is now known as hc |
| 2021-03-04 13:11:22 | → | LKoen joins (~LKoen@185.61.176.203) |
| 2021-03-04 13:11:25 | → | smerdyakov joins (~dan@5.146.194.90) |
| 2021-03-04 13:12:15 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-04 13:15:54 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-04 13:18:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-04 13:21:13 | → | carlomagno joins (~cararell@148.87.23.4) |
| 2021-03-04 13:23:22 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-04 13:23:47 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 258 seconds) |
| 2021-03-04 13:25:53 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-03-04 13:26:13 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-04 13:28:28 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-04 13:30:15 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:41d3:e796:cd7:d5b3) |
| 2021-03-04 13:35:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-04 13:36:56 | × | omnitrogen quits (~omnitroge@vps-c9700282.vps.ovh.net) (Read error: Connection reset by peer) |
| 2021-03-04 13:37:05 | <ezzieyguywuf> | how come if ghcid fails to build the first time it is called, it bails out, but if it fails to build after it has already succesfully launched, in just keep trucking? |
| 2021-03-04 13:37:10 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 268 seconds) |
| 2021-03-04 13:37:10 | → | omnitrogen joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 2021-03-04 13:37:37 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-04 13:37:43 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-04 13:39:52 | → | graf_blu` joins (~user@adsl-178-38-234-220.adslplus.ch) |
All times are in UTC.