Logs on 2025-11-22 (liberachat/#haskell)
| 00:03:40 | → | sp1ff joins (~user@2601:1c2:4c00:6820::8bad) |
| 00:03:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:05:59 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 00:06:00 | × | Googulator quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 00:06:06 | → | Googulator47 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 00:08:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:11:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 00:18:35 | × | deptype quits (~deptype@2406:b400:3a:9d2f:6397:cee2:c5e0:974) (Remote host closed the connection) |
| 00:19:11 | → | deptype joins (~deptype@2406:b400:3a:9d2f:d18a:fc86:fb14:80c4) |
| 00:19:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:24:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 00:25:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:35:57 | × | infinity0 quits (~infinity0@pwned.gg) (Quit: WeeChat 4.6.3) |
| 00:36:01 | → | Googulator40 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 00:36:14 | × | Googulator47 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 00:37:17 | → | infinity0 joins (~infinity0@pwned.gg) |
| 00:37:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:38:37 | × | deptype quits (~deptype@2406:b400:3a:9d2f:d18a:fc86:fb14:80c4) (Remote host closed the connection) |
| 00:39:01 | → | deptype joins (~deptype@2406:b400:3a:9d2f:3c5b:60ca:8ff2:89a) |
| 00:42:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:50:26 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 00:51:31 | → | infinity0 joins (~infinity0@pwned.gg) |
| 00:52:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:57:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:58:42 | × | deptype quits (~deptype@2406:b400:3a:9d2f:3c5b:60ca:8ff2:89a) (Remote host closed the connection) |
| 00:58:59 | → | deptype joins (~deptype@2406:b400:3a:9d2f:50dc:ff54:b65:89be) |
| 01:05:54 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 01:05:55 | → | omidmash9 joins (~omidmash@user/omidmash) |
| 01:06:13 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 01:08:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:08:23 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 01:08:23 | omidmash9 | is now known as omidmash |
| 01:12:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:18:44 | × | deptype quits (~deptype@2406:b400:3a:9d2f:50dc:ff54:b65:89be) (Remote host closed the connection) |
| 01:18:59 | → | deptype joins (~deptype@2406:b400:3a:9d2f:cad2:5dba:c1cf:899) |
| 01:23:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:28:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:29:49 | × | tcard_ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 01:30:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:39:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:39:17 | × | deptype quits (~deptype@2406:b400:3a:9d2f:cad2:5dba:c1cf:899) (Remote host closed the connection) |
| 01:39:52 | → | deptype joins (~deptype@2406:b400:3a:9d2f:da31:b526:95c:5a4a) |
| 01:42:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 01:43:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:44:55 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 01:46:12 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 01:54:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:55:47 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 01:56:09 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 01:58:45 | × | acidjnk quits (~acidjnk@p200300d6e717197425fbe5e3285ef130.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 01:59:19 | × | deptype quits (~deptype@2406:b400:3a:9d2f:da31:b526:95c:5a4a) (Remote host closed the connection) |
| 01:59:55 | → | deptype joins (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) |
| 02:01:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:04:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 02:12:20 | trickard_ | is now known as trickard |
| 02:12:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:16:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:23:30 | × | trickard quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:23:44 | → | trickard_ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 02:27:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:30:37 | × | trickard_ quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:32:21 | × | deptype quits (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) (Remote host closed the connection) |
| 02:32:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:32:40 | → | deptype joins (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) |
| 02:34:07 | → | trickard_ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 02:36:06 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 02:43:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:47:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:48:00 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 02:58:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:03:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:06:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:14:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:17:05 | → | vardhan joins (~vardhan@122.172.85.166) |
| 03:18:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:18:56 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 03:20:27 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 03:21:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 03:22:08 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 03:24:25 | → | bggd joins (~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) |
| 03:26:58 | → | ubert1 joins (~Thunderbi@77.119.163.162.wireless.dyn.drei.com) |
| 03:27:19 | × | vardhan quits (~vardhan@122.172.85.166) (Ping timeout: 246 seconds) |
| 03:29:09 | → | Comstar joins (~Comstar@user/Comstar) |
| 03:29:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:29:43 | × | ubert quits (~Thunderbi@178.165.175.248.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 03:29:43 | ubert1 | is now known as ubert |
| 03:31:34 | <jreicher> | Does anyone have a reference for the "Tag" that kuribas was talking about earlier? |
| 03:31:57 | <jreicher> | Did they mean Data.Tagged? |
| 03:33:00 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 265 seconds) |
| 03:33:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 03:34:49 | <int-e> | I don't think it was anything concrete. It would conceptually be a GADT like data Tag t where Tag_Int :: Tag Int | Tag_List :: Tag t -> Tag [t] | ... |
| 03:34:57 | <Leary> | jreicher: I imagine they meant something equivalent to `Type.Reflection.TypeRep`. |
| 03:35:50 | → | Googulator87 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 03:35:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:36:12 | × | Googulator40 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 03:37:13 | <monochrom> | <troll>It just means "day" in German >:) </troll> |
| 03:38:08 | <jreicher> | :D |
| 03:39:23 | <haskellbridge> | <Liamzee> are there any reasons, like perofrmance, not to replace a long when sequence with traverse_ (uncurry when)? |
| 03:39:41 | <haskellbridge> | <Liamzee> i guess the biggest issue is freaking out newbies |
| 03:41:17 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:41:56 | × | deptype quits (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) (Remote host closed the connection) |
| 03:42:32 | → | deptype joins (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) |
| 03:44:36 | × | trickard_ quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 03:44:45 | <monochrom> | Actually I didn't think of that. Cool trick. :) |
| 03:44:52 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 03:45:32 | trickard_ | is now known as trickard |
| 03:46:16 | <monochrom> | Necessity is the mother of invention. I guess I would think of that if I had 10 lines of "when"s. I had came up with clever uses of foldr and foldM in the past to replace 10 lines of something. |
| 03:46:49 | <monochrom> | or some other repetativeness. |
| 03:47:12 | <monochrom> | Ugh English. s/came/come/ |
| 03:47:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:48:35 | <monochrom> | I am not sympathetic with young people overreacting and underthinking. |
| 03:50:27 | <haskellbridge> | <Liamzee> https://gitlab.haskell.org/Liamzy/haddocks-view/-/blob/master/utils/haddock/haddock-api/src/Haddock.hs?ref_type=heads |
| 03:50:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:51:43 | <haskellbridge> | <Liamzee> i mean this: https://gitlab.haskell.org/ghc/ghc/-/blob/master/utils/haddock/haddock-api/src/Haddock.hs?ref_type=heads |
| 03:52:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:53:34 | <monochrom> | Haha that's epic. |
| 03:54:31 | <Leary> | I don't see what you gain from that refactor though; a string of `, (<cond>, <action>)` is no better than a string of `when <cond> <action>`. The latter is clear, local, and essentially the same length. |
| 03:54:51 | <monochrom> | It probably evolved from just 1 when-clause a long time ago to today's dozens by slowly accreting more when's over the years at the rate of 1 addition per year so at no point anyone would think about it. |
| 04:02:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:03:54 | → | fgarcia joins (~lei@user/fgarcia) |
| 04:05:47 | <haskellbridge> | <Liamzee> Leary: it makes the string explicit instead of implicit, although i worry about the tuple |
| 04:06:28 | <monochrom> | Yeah the tuples would be annoying too. |
| 04:06:47 | <haskellbridge> | <Liamzee> also, in theory, the when chain is more portable and reusable as a list |
| 04:06:53 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 04:07:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:08:21 | <haskellbridge> | <Liamzee> for instance, if you have the set of conditions constant, you can have the set of flags constant, then generate the response by zipping it with a list of actions |
| 04:12:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 04:14:29 | × | deptype quits (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) (Remote host closed the connection) |
| 04:15:04 | → | deptype joins (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) |
| 04:18:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:19:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:22:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:30:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 04:33:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:34:31 | × | deptype quits (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) (Remote host closed the connection) |
| 04:34:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:35:06 | → | deptype joins (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) |
| 04:35:42 | × | Googulator87 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 04:35:47 | → | Googulator43 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 04:38:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:42:16 | × | Square3 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 04:44:33 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 04:46:08 | × | trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:46:21 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 04:47:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 04:47:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 04:48:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 04:49:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:50:03 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 04:53:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:53:21 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 04:54:06 | <Comstar> | what's the bridge to |
| 04:54:26 | → | omidmash joins (~omidmash@user/omidmash) |
| 04:54:33 | × | deptype quits (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) (Remote host closed the connection) |
| 04:54:48 | → | deptype joins (~deptype@2406:b400:3a:9d2f:8683:4951:5b82:1f35) |
| 04:56:11 | <Comstar> | the whois has a bit.ly with all the connections that's cool. Ty geekosaur for the bridge and documentation! |
| 05:00:12 | → | weary-traveler joins (~user@user/user363627) |
| 05:04:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:05:47 | × | Googulator43 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 05:06:13 | → | Googulator43 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 05:08:17 | <fgarcia> | Comstar: i think it is #haskell-space on matrix |
| 05:08:35 | → | jreicher joins (~user@user/jreicher) |
| 05:09:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:11:15 | <Comstar> | oh? the bitly lists it as being #haskell-irc:matrix.org <-> #haskell, fgarcia |
| 05:11:23 | <Comstar> | maybe it's outdated |
| 05:12:14 | <fgarcia> | Comstar: i read it from here https://wiki.haskell.org/IRC_channel though things may have changed |
| 05:14:35 | × | deptype quits (~deptype@2406:b400:3a:9d2f:8683:4951:5b82:1f35) (Remote host closed the connection) |
| 05:19:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:22:31 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 05:22:44 | × | Comstar quits (~Comstar@user/Comstar) (Ping timeout: 244 seconds) |
| 05:24:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:31:36 | → | vardhan joins (~vardhan@122.172.85.166) |
| 05:35:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:35:36 | → | Googulator77 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 05:35:49 | × | Googulator43 quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 05:40:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 05:50:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:52:39 | → | EvanR_ joins (~EvanR@user/evanr) |
| 05:55:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:55:22 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 05:58:36 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 05:59:49 | EvanR_ | is now known as EvanR |
| 06:03:44 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:03:57 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 06:06:01 | → | inline__ joins (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) |
| 06:06:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:07:39 | × | Inline quits (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds) |
| 06:12:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:18:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:18:09 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 06:18:25 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 06:20:28 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 06:22:26 | → | jreicher joins (~user@user/jreicher) |
| 06:22:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:23:39 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 06:25:27 | → | jreicher joins (~user@user/jreicher) |
| 06:30:12 | → | falafel joins (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) |
| 06:33:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:37:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:48:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:50:13 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 06:52:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:55:22 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 07:01:52 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 07:04:06 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 07:04:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:05:50 | → | Googulator70 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 07:06:13 | × | Googulator77 quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 07:08:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:13:32 | trickard_ | is now known as trickard |
| 07:19:31 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:19:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:21:48 | → | Comstar joins (~Comstar@user/Comstar) |
| 07:23:00 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 07:23:00 | × | Comstar quits (~Comstar@user/Comstar) (Client Quit) |
| 07:23:32 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 07:24:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:25:13 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:27:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 07:30:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:35:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:46:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:48:05 | → | tromp joins (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 07:51:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:02:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:02:40 | × | jreicher quits (~user@user/jreicher) (Remote host closed the connection) |
| 08:02:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 08:04:02 | → | jreicher joins (~user@user/jreicher) |
| 08:05:46 | → | Googulator57 joins (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 08:05:46 | × | Googulator70 quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 08:07:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:17:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:21:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:22:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:23:11 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 08:28:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 08:29:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:33:23 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 08:33:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:35:07 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 08:36:25 | inline__ | is now known as Inline |
| 08:38:07 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 08:38:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:46:10 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 08:48:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:53:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:58:52 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 09:04:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:09:49 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 255 seconds) |
| 09:11:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 09:18:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:21:10 | × | bggd quits (~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) (Remote host closed the connection) |
| 09:23:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:34:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:39:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 09:45:00 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:48:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:49:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:52:33 | → | acidjnk joins (~acidjnk@p200300d6e71719523cbe3f8115602cb8.dip0.t-ipconnect.de) |
| 09:52:34 | <tomsmeding> | I have two ForeignPtrs pointing to resources on some external device; the finaliser for ForeignPtr 1 needs ForeignPtr 2 in order to properly free its resource. (FP 2 is some kind of "device context", and FP 1 wraps an "object" on that device.) This means that the finaliser for FP 2 may only start running after the finaliser for FP 1 has fully completed. GHC does not honour ordering dependencies |
| 09:52:34 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 09:52:36 | <tomsmeding> | between finalisers of ForeignPtrs, and this results in crashes in practice for us. Is there some standard pattern I can apply here to still make my code work? |
| 09:54:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 09:55:40 | <tomsmeding> | s/may only start/must only be allowed to start/ |
| 09:55:48 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:56:10 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 10:02:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:05:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:07:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 10:08:22 | <Leary> | tomsmeding: <https://hackage.haskell.org/package/base-4.21.0.0/docs/Foreign-ForeignPtr.html#v:touchForeignPtr>, but based on the docs you might be SOL. |
| 10:08:32 | × | trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:08:45 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 10:09:01 | <tomsmeding> | Leary: That documentation is why I came here. :P |
| 10:09:31 | <tomsmeding> | I do love the unexpected deadlock situation that the docs describe |
| 10:09:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 10:10:38 | <Leary> | Well, add more `forkIO`, I guess. |
| 10:11:16 | <tomsmeding> | Yes, I'm not scared of a couple more forkIO, but it's a brilliant footgun |
| 10:12:34 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 10:15:02 | <jreicher> | ForkIO Asks a Question... |
| 10:19:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:24:02 | × | tromp quits (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:24:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:27:46 | → | tromp joins (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 10:30:41 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1c88:6424:1e2a:539d) (Quit: WeeChat 4.1.1) |
| 10:34:15 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:34:29 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 10:35:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:35:59 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:39:54 | → | __monty__ joins (~toonn@user/toonn) |
| 10:42:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:53:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:58:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 11:08:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:13:19 | → | sp1ff` joins (~user@2601:1c2:4c00:6820::e122) |
| 11:13:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:14:26 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 11:14:29 | × | sp1ff quits (~user@2601:1c2:4c00:6820::8bad) (Ping timeout: 260 seconds) |
| 11:14:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:20:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:21:35 | × | annamalai quits (~annamalai@157.32.221.227) (Ping timeout: 245 seconds) |
| 11:25:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 11:32:25 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 11:35:50 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:36:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:36:29 | <probie> | I think a ref count is a good idea. |
| 11:37:17 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 11:38:59 | <probie> | f = atomicModifyIORef ref (\x -> (x-1, x <= 1)) >>= (`when` runFP2Cleanup) |
| 11:39:34 | <probie> | initialise the ref to 2, add `f` as the last instruction to the finaliser for FP1, and have the finaliser for FP2 just be `f` |
| 11:40:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 11:51:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:54:43 | <tomsmeding> | probie: that's also a cute solution |
| 11:55:52 | <tomsmeding> | in this case, because of the semantics of the device (it's a GPU), cleaning up FP2 _before_ FP1 implicitly also cleans up FP1, so I implemented some synchronisation so that if the finalizer of FP2 happens to be run first, FP1's finalizer just does nothing |
| 11:56:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 11:56:45 | <tomsmeding> | (what is actually concretely disallowed is explicitly cleaning up FP1 after FP2, or running the two in parallel) |
| 11:58:54 | trickard_ | is now known as trickard |
| 12:00:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 12:06:32 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 12:07:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:11:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:17:35 | → | ubert1 joins (~Thunderbi@91.141.74.115.wireless.dyn.drei.com) |
| 12:19:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:19:38 | → | Everything joins (~Everythin@88.155.11.254) |
| 12:19:40 | × | ubert quits (~Thunderbi@77.119.163.162.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 12:19:41 | ubert1 | is now known as ubert |
| 12:19:59 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:21:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:24:12 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 12:26:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:30:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 12:37:01 | → | jreicher joins (~user@user/jreicher) |
| 12:37:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:37:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:39:15 | × | trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:39:28 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 12:42:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 12:42:13 | × | Googulator57 quits (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 12:42:36 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 12:45:13 | × | AlexZenon quits (~alzenon@94.233.240.123) (Quit: ;-) |
| 12:46:06 | × | AlexNoo quits (~AlexNoo@94.233.240.123) (Quit: Leaving) |
| 12:46:32 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 12:48:02 | mniip_ | is now known as mniip |
| 12:52:34 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 12:52:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:52:57 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 12:57:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 13:08:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:12:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 13:12:50 | × | falafel quits (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) (Ping timeout: 256 seconds) |
| 13:13:38 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 13:20:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 13:20:33 | → | AlexNoo joins (~AlexNoo@94.233.240.123) |
| 13:21:46 | → | AlexZenon joins (~alzenon@94.233.240.123) |
| 13:23:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:24:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:29:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:41:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:45:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:46:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 13:48:59 | × | Miroboru quits (~myrvoll@84.215.250.50) (Quit: Lost terminal) |
| 13:51:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:55:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 13:56:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:01:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:04:25 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:05:08 | → | Guest49 joins (~Guest27@203.213.69.119) |
| 14:05:59 | × | Guest49 quits (~Guest27@203.213.69.119) (Client Quit) |
| 14:08:46 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 14:11:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:15:52 | × | petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 14:16:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 14:18:53 | → | petrichor joins (~jez@user/petrichor) |
| 14:19:42 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 14:20:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 14:20:36 | → | Googulator98 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 14:20:49 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 14:23:20 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 14:23:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:26:01 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 14:28:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 14:29:59 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:30:12 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 14:38:42 | × | Everything quits (~Everythin@88.155.11.254) (Quit: leaving) |
| 14:39:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:40:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 14:44:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 14:53:52 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 14:54:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:54:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:54:57 | → | sadeq_iran joins (~sadeq_ira@5.239.173.126) |
| 14:55:45 | × | sadeq_iran quits (~sadeq_ira@5.239.173.126) (Client Quit) |
| 14:56:15 | → | sadeq_iran joins (~sadeq_ira@5.239.173.126) |
| 14:57:38 | × | sadeq_iran quits (~sadeq_ira@5.239.173.126) (Client Quit) |
| 14:59:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:02:55 | → | sadeq_ir joins (~sadeq_ir@5.239.173.126) |
| 15:03:22 | × | sadeq_ir quits (~sadeq_ir@5.239.173.126) (Read error: Connection reset by peer) |
| 15:06:08 | → | Square3 joins (~Square@user/square) |
| 15:10:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:12:37 | × | olivial_ quits (~benjaminl@73.240.192.240) (Ping timeout: 264 seconds) |
| 15:14:17 | → | olivial joins (~benjaminl@user/benjaminl) |
| 15:17:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 15:20:01 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:20:15 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 15:24:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:28:46 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 15:29:11 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:29:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 15:34:13 | × | mmaruseacph2 quits (~mihai@mihai.page) (Ping timeout: 264 seconds) |
| 15:35:43 | → | mmaruseacph2 joins (~mihai@mihai.page) |
| 15:37:06 | <geekosaur> | fgarcia, Comstar: #haskell-space is a space (group of rooms). #fashell-irc is the actual room |
| 15:37:26 | <geekosaur> | #haskell-irc |
| 15:37:33 | <geekosaur> | still working on first coffee… |
| 15:40:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:43:00 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:44:10 | × | kimiamania99 quits (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 15:44:54 | → | kimiamania99 joins (~67ff9c12@user/kimiamania) |
| 15:47:15 | × | tromp quits (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:48:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:49:31 | × | kimiamania99 quits (~67ff9c12@user/kimiamania) (Client Quit) |
| 15:50:39 | → | kimiamania99 joins (~67ff9c12@user/kimiamania) |
| 15:51:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 15:51:16 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:59:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:03:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 16:04:56 | × | vardhan quits (~vardhan@122.172.85.166) (Ping timeout: 240 seconds) |
| 16:05:46 | → | Googulator44 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 16:06:22 | × | Googulator98 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 16:11:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) |
| 16:12:54 | <EvanR> | fashell sounds like it could be a thing |
| 16:14:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:15:08 | <haskellbridge> | <Morj> Fashell sounds like the twitter users would call a shell made by someone they don't like |
| 16:19:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 16:23:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:25:06 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 16:30:07 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 16:30:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 16:30:55 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 16:31:27 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:41:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:47:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:49:53 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 16:51:27 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 16:53:44 | <mreh> | it's been a good PR week for statically typed languages |
| 16:56:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:59:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:03:46 | <glguy> | why's that? |
| 17:04:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:04:29 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 17:07:14 | → | kayvank joins (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) |
| 17:13:49 | × | Square3 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 17:14:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:17:54 | <mreh> | glguy: referring to the use of unwrap() by Cloudflare which brought down half the internet |
| 17:18:02 | <mreh> | (not Haskell, sorry) |
| 17:18:37 | <glguy> | oh, ok. what was the link to static types there? |
| 17:19:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:19:06 | <mreh> | unwrap is equivalent to fromJust I suppose |
| 17:19:30 | <mreh> | I can't find a searchable log to see if there was any discussion of it |
| 17:22:32 | <mreh> | I dont understand the specifics of it, but I think it was called partly to assert some variant that the type couldn't prove. Wish I had more insight. |
| 17:22:52 | <EvanR> | what language is unwrap |
| 17:23:01 | <gmg> | Rust? |
| 17:23:09 | <EvanR> | gross |
| 17:23:32 | <EvanR> | sounds like they were thinking of burritos when they named it |
| 17:23:40 | <yushyin> | xD |
| 17:24:07 | <mreh> | EvanR, gmg, yes Rust |
| 17:26:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:27:03 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 17:27:27 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:31:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:32:48 | × | kayvank quits (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) (Killed (NickServ (GHOST command used by kayvank-!~kayvan@52-119-115-185.PUBLIC.monkeybrains.net))) |
| 17:33:02 | → | kayvank joins (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) |
| 17:34:02 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 17:34:02 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 17:34:02 | → | haritz joins (~hrtz@user/haritz) |
| 17:36:23 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 17:42:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:43:23 | × | AlexZenon quits (~alzenon@94.233.240.123) (Ping timeout: 240 seconds) |
| 17:46:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:49:23 | → | AlexZenon joins (~alzenon@94.233.240.123) |
| 17:52:18 | <monochrom> | I think I remember now, Rust's equivalent of our Maybe type has an unwrap() meaning our fromJust. |
| 17:53:09 | <monochrom> | This isn't PR for static typing (Haskell can do the same thing) unless you have dependent typing in mind. |
| 17:53:43 | × | AlexZenon quits (~alzenon@94.233.240.123) (Ping timeout: 240 seconds) |
| 17:54:21 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 17:54:42 | → | califax joins (~califax@user/califx) |
| 17:54:42 | <EvanR> | it is PR for logic |
| 17:55:02 | → | AlexZenon joins (~alzenon@94.233.240.123) |
| 17:55:03 | <EvanR> | unwrap is illegal unless you have a possibly invisible proof that it's not Nothing or whatever it is in rust |
| 17:55:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 17:55:43 | <monochrom> | I can stand with that. :) |
| 17:55:45 | <EvanR> | if you managed to encode all this with dependent types it's not invisible |
| 17:55:55 | <EvanR> | which may scare small children |
| 17:56:55 | <EvanR> | but that does call into question the "safety" of rust doesn't it |
| 17:57:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:58:03 | → | deptype joins (~deptype@2406:b400:3a:9d2f:8494:f4e8:5c4a:6a4) |
| 17:58:20 | <monochrom> | They never claimed safety from partial functions. They only claimed memory safety such as from dangling pointers and double-free. |
| 17:59:41 | <monochrom> | "safety", "security", "OOP" are some of the most polymorphic words people use to mean whatever they don't tell you. |
| 18:00:47 | <mreh> | you make good points, but most people aren't going to see it that way |
| 18:01:05 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:01:11 | <mreh> | anyway, I just came to see if people had perspective in a language I understood better |
| 18:01:23 | <monochrom> | It's why I'm pessimistic and cynical about humanity altogether. :) |
| 18:02:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:02:28 | <mreh> | I think pushing hard for Rust to replace mature systems has rather backfired in recent weeks. Make me appreciate this community even more. |
| 18:02:31 | <monochrom> | https://www.vex.net/~trebla/humour/pessimisms.html enjoy :) |
| 18:02:32 | <mreh> | Makes* |
| 18:03:02 | <EvanR> | the invisible proofs thing is a thing I learned in Idris that helps in C. But in rust they think they have nothing to learn from C, and I saw that I learned from everything |
| 18:03:13 | <monochrom> | As in, you appreciate that we don't push hard for Haskell? :) |
| 18:03:48 | <EvanR> | in fact in helps in any language that allows bogus code |
| 18:03:54 | <EvanR> | including haskell |
| 18:04:14 | <mreh> | monochrom: seen the "Avoid success at all costs" video from SPJ? |
| 18:04:23 | <monochrom> | Actually no. |
| 18:05:04 | <mreh> | I think he makes some good points about trying to make a language with mass appeal |
| 18:06:04 | <EvanR> | I remember one where he shows a graph of programming language lifetimes |
| 18:06:12 | <EvanR> | most die before having more than 1 user |
| 18:06:27 | <EvanR> | but some get to the point of "not being allowed to die" because too much code was written in them |
| 18:06:40 | <monochrom> | But I agree about being hesistant to replace mature systems. Even when it's a good idea, it needs to be well planned out with multiple backup plans. |
| 18:07:17 | <mreh> | https://www.youtube.com/watch?v=re96UgMk6GQ I think it was this talk where he coined that phrase |
| 18:07:32 | <EvanR> | the argument to replace C with rust usually involves how bad people are at writing C code |
| 18:07:39 | <mreh> | lol |
| 18:07:40 | <EvanR> | but more and more it sounds like an argument against people |
| 18:07:54 | <mreh> | yeah |
| 18:08:06 | <mreh> | this incident rather torpedos that argument |
| 18:08:07 | <monochrom> | I agree about being against people, at least most people. |
| 18:09:43 | <EvanR> | if it takes 40 years to get good at writing code, maybe that's bad. And the goal is to do something to bring kids up to speed in 10 years or 5 years. But rust doesn't seem to have that in the design |
| 18:10:59 | <monochrom> | For example, Dennis Ritchie and Alan Kay are extremely smart people, so when they say unsafe unchecked languages like C and Lisp work great for them, sure. But when they say it will also work for the rest of us because "oh-so flexible, oh-so unleash your creativity" I say no, the rest of us need at least static type checking. |
| 18:11:13 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 265 seconds) |
| 18:11:55 | <monochrom> | Generally the problem with opinion leaders is that their opinions work great for themselves because they are so smart. Not so great for the rest of us. |
| 18:12:46 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 18:13:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:13:16 | <mauke> | I know a lot of people who would take issue with "need at least static type checking" (and calling Lisp "unsafe") |
| 18:13:51 | <monochrom> | I'm sure. Of course they bought Ritchie's and Kay's opinion. |
| 18:14:18 | <monochrom> | Because Ritchie and Kay are opinion leaders. Everyone wants to follow opinion leaders. |
| 18:15:01 | <monochrom> | You have heard "history is written by the victors". But have you also considered: Success stories are written by victors. |
| 18:15:15 | <mreh> | It's quite lucrative to follow the herd |
| 18:15:40 | <monochrom> | Even more sinister if you think about it. |
| 18:15:43 | <glguy> | monochrom: I've heard of "survivorship bias" |
| 18:15:46 | <EvanR> | history is written by the victors, except in the US south, but that's another story |
| 18:15:55 | <monochrom> | haha |
| 18:16:29 | <Franciman> | who is Victor who write all this stories? :P |
| 18:16:48 | → | sadeq_ir joins (~sadeq_ir@5.239.173.93) |
| 18:16:54 | <glguy> | That'd be fun to get a history book with two authors having the first name Victor |
| 18:17:19 | <monochrom> | haha let me search on Amazon... |
| 18:17:24 | <mreh> | aren't vectors why people chose to write Rust in the first place? |
| 18:17:35 | <Franciman> | lol |
| 18:17:39 | × | sadeq_ir quits (~sadeq_ir@5.239.173.93) (Remote host closed the connection) |
| 18:17:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:18:17 | <monochrom> | "The Second World Wars: How the First Global Conflict Was Fought and Won" Victor Davis Hanson |
| 18:18:34 | <monochrom> | literally all of: history, won, victor |
| 18:18:37 | <Franciman> | lol |
| 18:18:58 | <monochrom> | Oh need two Victors. OK, searching... |
| 18:20:03 | <Franciman> | lolol |
| 18:20:25 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 18:21:23 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:23:31 | <monochrom> | OK Rufus says it can't find one history book with two Victors. |
| 18:24:06 | <monochrom> | (And me, I clicked on 10 candidate books, then gave up. Sorry!) |
| 18:24:30 | <Franciman> | we had fun, thanks |
| 18:24:31 | <glguy> | maybe an llm could haluciate one for you |
| 18:24:52 | <int-e> | "AI shopping assistant" |
| 18:25:21 | <enikar> | :D |
| 18:25:46 | <int-e> | Meanwhile I'll assume that "haluciate" is proper jargon and move on. |
| 18:26:20 | <glguy> | I just don't know how to spell |
| 18:28:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:29:15 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:31:33 | <Franciman> | glguy: it may be a nice word to express the concept |
| 18:31:42 | <Franciman> | itself produced in the same way |
| 18:32:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 18:33:51 | × | deptype quits (~deptype@2406:b400:3a:9d2f:8494:f4e8:5c4a:6a4) (Remote host closed the connection) |
| 18:34:27 | → | deptype joins (~deptype@2406:b400:3a:9d2f:e31c:3390:6252:c091) |
| 18:39:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 18:39:47 | <EvanR> | halciate is how stable diffusion spells it |
| 18:39:52 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:40:06 | <EvanR> | which will be standard soon |
| 18:43:01 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 18:43:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:48:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:50:35 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:51:39 | → | weary-traveler joins (~user@user/user363627) |
| 18:53:53 | × | deptype quits (~deptype@2406:b400:3a:9d2f:e31c:3390:6252:c091) (Remote host closed the connection) |
| 18:54:17 | → | deptype joins (~deptype@2406:b400:3a:9d2f:f664:d06e:3e47:a034) |
| 18:59:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:59:29 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 18:59:45 | → | weary-traveler joins (~user@user/user363627) |
| 19:00:50 | <darkling> | Not to be confused with halloumination, which is when you get bad dreams from eating too much cheese. |
| 19:03:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:05:16 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 19:13:55 | × | deptype quits (~deptype@2406:b400:3a:9d2f:f664:d06e:3e47:a034) (Remote host closed the connection) |
| 19:14:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:15:02 | → | deptype joins (~deptype@2406:b400:3a:9d2f:ed2f:bc1a:3b89:45df) |
| 19:19:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:24:29 | → | collide29548 joins (~collide29@user/collide2954) |
| 19:25:04 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:25:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:26:25 | × | collide2954 quits (~collide29@user/collide2954) (Ping timeout: 264 seconds) |
| 19:26:25 | collide29548 | is now known as collide2954 |
| 19:28:16 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 19:28:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:30:56 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 19:31:23 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 19:32:28 | <haskellbridge> | <Morj> Similar to how there is "forM = flip traverse", is there an common name for "flip fix"? Can't find anything useful in hoogle |
| 19:32:54 | <haskellbridge> | <Morj> I like to use it to write one-line cycles like "flip fix initial $ \i next -> ..." |
| 19:34:08 | <haskellbridge> | <Morj> *\next i (the arguments should be the opposite way) |
| 19:34:27 | × | deptype quits (~deptype@2406:b400:3a:9d2f:ed2f:bc1a:3b89:45df) (Remote host closed the connection) |
| 19:35:02 | → | deptype joins (~deptype@2406:b400:3a:9d2f:bfa9:f0b2:ea22:761e) |
| 19:35:37 | tomsmeding | usually writes a self-referential let binding for that |
| 19:35:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 19:35:59 | <EvanR> | flip fix x y z $ \a b c d -> ... is funny but I could not subject the general public to |
| 19:36:21 | <EvanR> | it makes us look like we don't have nice things |
| 19:37:03 | <haskellbridge> | <Morj> Dude rust already has "loop" as an expression, why can't we |
| 19:37:19 | <tomsmeding> | :t Control.Monad.forever |
| 19:37:20 | <lambdabot> | Applicative f => f a -> f b |
| 19:37:46 | <haskellbridge> | <Morj> A self-referential binding is also good, but places emphasis on the binding, which a lot of the times is useless |
| 19:37:56 | <tomsmeding> | I can see that |
| 19:38:07 | <tomsmeding> | to wit, recursive helper functions named 'go' |
| 19:38:46 | <haskellbridge> | <Morj> Yeah, sometimes I have goList1, goList2, goTree etc if there are too many structures to fold |
| 19:39:08 | <haskellbridge> | <Morj> Or used to have this until I learned this fix trick |
| 19:39:12 | <tomsmeding> | at that point the names actually start becoming useful, IMO |
| 19:39:37 | <tomsmeding> | or at least, I like seeing the point where you recurse into a different structure |
| 19:39:38 | <haskellbridge> | <Morj> Mm not really, it's just "let var1 = goList1 list1" for every |
| 19:39:54 | <tomsmeding> | maybe my brain is not big enough yet |
| 19:40:03 | <haskellbridge> | <Morj> Haha |
| 19:40:11 | <EvanR> | please give me a recursion combinator |
| 19:40:15 | <haskellbridge> | <Morj> When I do this I imagine myself an imperative grug |
| 19:40:23 | <tomsmeding> | ω ω |
| 19:40:34 | <haskellbridge> | <Morj> Because it is just a while loop expressed with functions |
| 19:40:41 | <EvanR> | which does the exact pattern I need at this moment |
| 19:40:52 | <EvanR> | with a pithy name |
| 19:41:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 19:41:06 | <EvanR> | if pithy not available a bird will do |
| 19:41:17 | <tomsmeding> | I was gonna say, we need a data-aviary version of recursion-schemes |
| 19:45:00 | <chromoblob> | (`fix` initial) $ \next i -> ... |
| 19:46:15 | <haskellbridge> | <Morj> As if the general public wasn't frightened enough.. |
| 19:46:57 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 19:47:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:48:50 | <EvanR> | frighten wasn't the emotion I was thinking of |
| 19:49:25 | <EvanR> | and the general public I was thinking of was haskell programmers not the mailman |
| 19:49:32 | <chromoblob> | i'm more frightened by flip f b a, it feels like a redirected thread in my head, like __s--- |
| 19:50:32 | <EvanR> | a single flip is good for party tricks |
| 19:50:33 | <chromoblob> | i guess i don't accept "flip" as a standard function. who and when would want to reorder arguments |
| 19:51:02 | <EvanR> | sometimes the order of arguments doesn't have 1 best choice |
| 19:51:13 | <EvanR> | so you can't blame the person who defined it |
| 19:51:16 | <chromoblob> | then have two names for two orders |
| 19:51:17 | <haskellbridge> | <Morj> I agree with you, that's why I was asking if this pattern is known and has a better named combinator :-) |
| 19:51:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:51:53 | <chromoblob> | or use points: (\a b -> (...) b a) ... |
| 19:52:01 | <EvanR> | yeah |
| 19:52:05 | <EvanR> | and you can define it like this |
| 19:52:07 | <EvanR> | g = flip f |
| 19:52:11 | <EvanR> | \o/ |
| 19:52:26 | <EvanR> | @src forM |
| 19:52:26 | <lambdabot> | forM = flip mapM |
| 19:52:26 | <chromoblob> | ohh |
| 19:52:47 | → | Nachtgespenst joins (~user@user/siracusa) |
| 19:52:47 | <EvanR> | this is a great usecase for flip |
| 19:53:28 | <chromoblob> | why isn't there more flips - flip3_1, flip3_2, ..., flip3_6 |
| 19:53:59 | × | deptype quits (~deptype@2406:b400:3a:9d2f:bfa9:f0b2:ea22:761e) (Remote host closed the connection) |
| 19:53:59 | <EvanR> | do you mean n factorial flips for each N |
| 19:54:01 | <chromoblob> | or one could call them like: abcToAcb, abcToBac, ... |
| 19:54:26 | <chromoblob> | yes |
| 19:54:34 | <EvanR> | at this point use nonpointless form |
| 19:54:36 | → | deptype joins (~deptype@2406:b400:3a:9d2f:1c0f:7b0:178a:6f00) |
| 19:54:46 | <EvanR> | g a b c d e = f c d e a b |
| 19:54:53 | <haskellbridge> | <Morj> I have flashbacks to a system which had those factorial-flips, but I erased it from my memory |
| 19:55:08 | <haskellbridge> | <Morj> Was it in qt for signals |
| 19:56:25 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 19:57:04 | → | falafel joins (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) |
| 20:00:05 | <haskellbridge> | <Morj> God damn it, why does curl not hit a captcha, but http-client-tls does |
| 20:00:37 | × | raym_ quits (~ray@user/raym) (Ping timeout: 246 seconds) |
| 20:02:24 | <[exa]> | Morj: it's curl, it has authenticated as a bot, no need to captcha! |
| 20:02:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:02:38 | → | raym joins (~ray@user/raym) |
| 20:07:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:14:16 | <haskellbridge> | <Morj> I wonder if the page I'm scraping is going to block curl after 500 requests (in 500*2 seconds) |
| 20:14:32 | × | deptype quits (~deptype@2406:b400:3a:9d2f:1c0f:7b0:178a:6f00) (Remote host closed the connection) |
| 20:15:07 | → | deptype joins (~deptype@2406:b400:3a:9d2f:4399:e959:784c:f191) |
| 20:15:24 | <haskellbridge> | <Morj> An btw 'scalpel' package is pretty good |
| 20:16:18 | → | Square3 joins (~Square@user/square) |
| 20:16:38 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 20:17:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:18:21 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:18:28 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 20:18:52 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:19:50 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 20:20:09 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 20:21:05 | <haskellbridge> | <Morj> The worst part is that I can't define the parsers at module's top level because of ambigous types. Makes iterating in ghci a bit annoying |
| 20:21:37 | <bwe> | How can I make 0 unrepresentable for a data type that is Int right now? |
| 20:22:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:22:18 | <EvanR> | a newtype wrapper with a smart constructor? |
| 20:22:32 | <glguy> | check for 0 in the function that constructs values of your new type |
| 20:23:25 | <EvanR> | another avenue is to make the new type represent the value wrapped value + something |
| 20:23:50 | <EvanR> | but that might be too heady |
| 20:24:26 | <bwe> | glguy: oh, that's a nice trick. So I am not constructing it with MyType but newMyType that checks for 0. |
| 20:24:49 | <monochrom> | Use Natural or Word but consistently off by 1, e.g., 1 is represented by 0. |
| 20:24:59 | <haskellbridge> | <Morj> Yes, this is a common trick. Usually used for data structures, like https://hackage.haskell.org/package/mono-traversable-1.0.21.0/docs/Data-NonNull.html |
| 20:25:10 | <EvanR> | yes Word is what I should have thought of |
| 20:25:14 | <EvanR> | Word + 1 |
| 20:26:16 | <EvanR> | then zero is literally not representable... but 255 is necessarily an error |
| 20:26:28 | <bwe> | Word is confusing |
| 20:26:30 | <EvanR> | er, maxWord |
| 20:26:59 | <monochrom> | Word is no more confusing than Int. |
| 20:27:12 | <bwe> | No, I mean the word `Word`. |
| 20:27:23 | <haskellbridge> | <Morj> If Word is not confusing, what's the name of dynamic-sized word? |
| 20:27:32 | <haskellbridge> | <Morj> Don't say Wordeger |
| 20:28:20 | <monochrom> | No more confusing than any other meaningful names. |
| 20:29:30 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 20:29:38 | <glguy> | Natural |
| 20:30:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:30:14 | <monochrom> | type Lexicon = Word >:) |
| 20:30:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 20:30:55 | <EvanR> | data NonZero = PosMinusOne Natural | NegPlusOne Natural |
| 20:30:56 | monochrom | is preparing to teach a compiler course in which we begin with tokenization aka lexical analysis! |
| 20:31:46 | <int-e> | monochrom: teach it with s/parsing/word processing/g? :P |
| 20:31:57 | <monochrom> | haha that's great |
| 20:34:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:35:04 | × | deptype quits (~deptype@2406:b400:3a:9d2f:4399:e959:784c:f191) (Remote host closed the connection) |
| 20:35:39 | → | deptype joins (~deptype@2406:b400:3a:9d2f:863f:df64:5fc4:398c) |
| 20:37:44 | <mauke> | type Lexicon = [Word] |
| 20:38:07 | × | trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 20:38:34 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 20:40:08 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 20:45:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:46:11 | <EvanR> | Dyslexicons transform and roll out |
| 20:47:18 | <monochrom> | heh |
| 20:50:07 | → | Pixi` joins (~Pixi@user/pixi) |
| 20:50:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:50:42 | × | kimiamania99 quits (~67ff9c12@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 20:51:05 | → | kimiamania99 joins (~67ff9c12@user/kimiamania) |
| 20:53:25 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 20:53:54 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 20:55:06 | × | deptype quits (~deptype@2406:b400:3a:9d2f:863f:df64:5fc4:398c) (Remote host closed the connection) |
| 20:55:41 | → | deptype joins (~deptype@2406:b400:3a:9d2f:a939:4003:9f33:7d40) |
| 21:00:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:05:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:07:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 21:08:15 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 21:14:38 | × | deptype quits (~deptype@2406:b400:3a:9d2f:a939:4003:9f33:7d40) (Remote host closed the connection) |
| 21:15:15 | → | deptype joins (~deptype@2406:b400:3a:9d2f:5e1d:1d96:fe87:fe40) |
| 21:16:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:20:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:20:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 21:25:48 | → | rls129 joins (~rls129@150.107.206.33) |
| 21:26:09 | × | rls129 quits (~rls129@150.107.206.33) (Client Quit) |
| 21:30:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:32:30 | <haskellbridge> | <Zemyla> I'm thinking about coexponentials. |
| 21:32:48 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 21:34:08 | <haskellbridge> | <Zemyla> Exponentials have an eval :: (exp a b, a) -> b function. Coexponentials would have coeval :: b -> Either (coexp a b. a), which doesn't exist in Hask. However, it does exist in Kleisli (Cont r). |
| 21:34:40 | × | deptype quits (~deptype@2406:b400:3a:9d2f:5e1d:1d96:fe87:fe40) (Remote host closed the connection) |
| 21:35:16 | → | deptype joins (~deptype@2406:b400:3a:9d2f:d95e:55e2:ae9e:ce68) |
| 21:35:22 | <haskellbridge> | <Zemyla> It'd be coeval :: b -> m (Either (Coexp m a b) a), where Coexp m a b = (b, a -> m Void). |
| 21:35:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:37:54 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 21:40:38 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 21:42:02 | trickard_ | is now known as trickard |
| 21:46:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:51:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:51:17 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 21:55:12 | × | deptype quits (~deptype@2406:b400:3a:9d2f:d95e:55e2:ae9e:ce68) (Remote host closed the connection) |
| 21:55:48 | → | deptype joins (~deptype@2406:b400:3a:9d2f:1559:d36f:155b:68b3) |
| 21:57:38 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 22:02:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:06:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:12:39 | × | mhatta_ quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 22:14:45 | × | deptype quits (~deptype@2406:b400:3a:9d2f:1559:d36f:155b:68b3) (Remote host closed the connection) |
| 22:15:18 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 22:15:20 | → | deptype joins (~deptype@2406:b400:3a:9d2f:c47b:d446:60a0:f965) |
| 22:15:25 | × | Square3 quits (~Square@user/square) (Remote host closed the connection) |
| 22:15:47 | → | Square3 joins (~Square@user/square) |
| 22:15:47 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 22:17:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:22:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:32:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:35:16 | × | deptype quits (~deptype@2406:b400:3a:9d2f:c47b:d446:60a0:f965) (Remote host closed the connection) |
| 22:35:52 | → | deptype joins (~deptype@2406:b400:3a:9d2f:8822:f1c8:bfbe:4a80) |
| 22:37:30 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:38:47 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 22:39:06 | → | divlamir joins (~divlamir@user/divlamir) |
| 22:39:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 22:39:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:43:16 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:50:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:50:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:53:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 22:54:22 | → | bggd joins (~bgg@2a01:e0a:819:1510:4ee8:95df:342d:f89b) |
| 22:55:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 22:55:19 | × | deptype quits (~deptype@2406:b400:3a:9d2f:8822:f1c8:bfbe:4a80) (Remote host closed the connection) |
| 22:55:54 | → | deptype joins (~deptype@2406:b400:3a:9d2f:7827:c6b0:e65c:559e) |
| 23:00:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 23:03:32 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 23:06:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:08:42 | × | bggd quits (~bgg@2a01:e0a:819:1510:4ee8:95df:342d:f89b) (Remote host closed the connection) |
| 23:09:19 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 23:11:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:13:21 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 23:15:21 | × | deptype quits (~deptype@2406:b400:3a:9d2f:7827:c6b0:e65c:559e) (Remote host closed the connection) |
| 23:15:31 | × | Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 23:15:56 | → | deptype joins (~deptype@2406:b400:3a:9d2f:d574:afa7:9568:7608) |
| 23:18:31 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 23:21:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:25:08 | × | dunj3 quits (~dunj3@2a01:239:328:1600::1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 23:25:51 | → | dunj3 joins (~dunj3@h1765027.stratoserver.net) |
| 23:26:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:26:24 | → | karenw joins (~karenw@user/karenw) |
| 23:29:59 | × | dunj3 quits (~dunj3@h1765027.stratoserver.net) (Client Quit) |
| 23:31:08 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 23:31:18 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:35:23 | × | deptype quits (~deptype@2406:b400:3a:9d2f:d574:afa7:9568:7608) (Remote host closed the connection) |
| 23:35:58 | → | deptype joins (~deptype@2406:b400:3a:9d2f:a810:75:233:1e39) |
| 23:37:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:42:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:43:36 | × | trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:43:50 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 23:45:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 23:52:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:55:25 | × | deptype quits (~deptype@2406:b400:3a:9d2f:a810:75:233:1e39) (Remote host closed the connection) |
| 23:55:49 | → | deptype joins (~deptype@2406:b400:3a:9d2f:e7a:c619:d9db:72ca) |
| 23:58:04 | × | tromp quits (~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
All times are in UTC on 2025-11-22.