Logs: liberachat/#haskell
| 2021-07-27 21:00:50 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-27 21:01:06 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 240 seconds) |
| 2021-07-27 21:03:22 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-07-27 21:04:20 | × | amahl quits (~amahl@84.251.202.64) (Remote host closed the connection) |
| 2021-07-27 21:06:06 | <dsal> | alexfmpe[m]: Is that just something like `[ a | a <- l1, b <- l2, f a b]` ? |
| 2021-07-27 21:06:57 | <dsal> | Oh, intersectBy is in Data.OldList with a definition similar to that. |
| 2021-07-27 21:07:18 | <alexfmpe[m]> | I don't think I can get away with intersection, since multiplicity matters here |
| 2021-07-27 21:07:49 | <alexfmpe[m]> | well, and order, otherwise some multiset intersection thing would work |
| 2021-07-27 21:10:00 | → | chomwitt joins (~chomwitt@2a02:587:dc01:5c00:12c3:7bff:fe6d:d374) |
| 2021-07-27 21:10:10 | → | guest76 joins (~guest76@2604:3d08:6f7e:cf00::2e50) |
| 2021-07-27 21:10:43 | → | roboguy__ joins (~roboguy_@2605:a601:ac0e:ae00:3db6:b926:dbf2:890a) |
| 2021-07-27 21:11:02 | × | amk quits (~amk@176.61.106.150) (Ping timeout: 252 seconds) |
| 2021-07-27 21:11:07 | × | guest76 quits (~guest76@2604:3d08:6f7e:cf00::2e50) (Client Quit) |
| 2021-07-27 21:13:30 | × | roboguy_ quits (~roboguy_@2605:a601:ac0e:ae00:bc41:cf44:b56:1727) (Ping timeout: 240 seconds) |
| 2021-07-27 21:13:38 | <Cale> | alexfmpe[m]: Here's a fun one: https://gist.github.com/cgibbard/b129fe412b74cca676ac2a2c941362ea |
| 2021-07-27 21:14:06 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-07-27 21:14:46 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-27 21:14:55 | × | roboguy__ quits (~roboguy_@2605:a601:ac0e:ae00:3db6:b926:dbf2:890a) (Client Quit) |
| 2021-07-27 21:14:57 | <Cale> | Pretty close to the most general thing you can do with a pair of lists, lol |
| 2021-07-27 21:15:09 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-27 21:16:09 | <alexfmpe[m]> | huh that looks like it works for my case |
| 2021-07-27 21:16:19 | <alexfmpe[m]> | though, Pick seems suspiciously like `These` |
| 2021-07-27 21:17:29 | <Cale> | yeah |
| 2021-07-27 21:17:42 | <alexfmpe[m]> | `these :: (a -> c) -> (b -> c) -> (a -> b -> c) -> These a b -> c` |
| 2021-07-27 21:18:12 | <Cale> | I probably should have just used These |
| 2021-07-27 21:18:20 | <Cale> | For some reason it slipped my mind |
| 2021-07-27 21:18:44 | → | bruceleewees joins (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) |
| 2021-07-27 21:18:45 | <Cale> | Though this is kinda sorta dual to it |
| 2021-07-27 21:18:47 | → | jolly23 joins (~jolly@208.180.97.158) |
| 2021-07-27 21:18:56 | <alexfmpe[m]> | it's backwards though? |
| 2021-07-27 21:18:57 | <alexfmpe[m]> | yeah |
| 2021-07-27 21:19:05 | <alexfmpe[m]> | more like `These a b -> (c -> c)` |
| 2021-07-27 21:19:32 | <Cale> | Yeah, you'd have something like (a -> b -> These a b) and (These a b -> c -> c) |
| 2021-07-27 21:20:35 | × | fendor quits (~fendor@77.119.218.44.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-27 21:20:35 | × | bruceleewees quits (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) (Read error: Connection reset by peer) |
| 2021-07-27 21:21:17 | → | bruceleewees joins (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) |
| 2021-07-27 21:22:11 | × | jolly quits (~jolly@208.180.97.158) (Ping timeout: 258 seconds) |
| 2021-07-27 21:22:24 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-27 21:23:26 | × | xff0x quits (~xff0x@2001:1a81:527c:b500:2b8c:4e21:9ff9:e65e) (Ping timeout: 256 seconds) |
| 2021-07-27 21:23:26 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-07-27 21:23:43 | × | Null_A quits (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) (Remote host closed the connection) |
| 2021-07-27 21:23:48 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-07-27 21:23:58 | → | xff0x joins (~xff0x@2001:1a81:527c:b500:2843:4b18:8f2c:3a0f) |
| 2021-07-27 21:24:00 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 256 seconds) |
| 2021-07-27 21:24:20 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-07-27 21:25:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-27 21:26:47 | × | jolly23 quits (~jolly@208.180.97.158) (Ping timeout: 258 seconds) |
| 2021-07-27 21:28:59 | → | Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) |
| 2021-07-27 21:30:56 | → | pbrisbin joins (~patrick@174-083-170-200.res.spectrum.com) |
| 2021-07-27 21:32:12 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 245 seconds) |
| 2021-07-27 21:32:14 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-27 21:32:28 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-27 21:32:43 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-27 21:36:07 | <peutri> | what's the standard these days to parse a relaxng-constrained xml? |
| 2021-07-27 21:36:38 | <peutri> | i looked around for some sort of validate-parser combo, but it always return some form of generic xml structure |
| 2021-07-27 21:37:07 | → | amk joins (~amk@176.61.106.150) |
| 2021-07-27 21:37:12 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-07-27 21:37:14 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-07-27 21:37:58 | <peutri> | i was hoping for actual sum types, to (help) get a feeling I'm not forgetting branches in my cases |
| 2021-07-27 21:38:47 | × | Null_A quits (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) (Remote host closed the connection) |
| 2021-07-27 21:39:30 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 276 seconds) |
| 2021-07-27 21:40:31 | <dsal> | Huh, I've never really looked at these, but it's been brought up twice in the last couple of days. It's pretty neat. |
| 2021-07-27 21:40:38 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-27 21:44:07 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-07-27 21:48:04 | → | agua joins (~agua@2804:14c:8793:8e2f:24cc:893e:e794:aea7) |
| 2021-07-27 21:48:45 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-27 21:50:38 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 256 seconds) |
| 2021-07-27 21:51:25 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-27 21:51:31 | → | pesada joins (~agua@2804:18:4a:f76c:1:0:5e60:e39) |
| 2021-07-27 21:52:05 | × | Core8816 quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 255 seconds) |
| 2021-07-27 21:54:36 | × | agua quits (~agua@2804:14c:8793:8e2f:24cc:893e:e794:aea7) (Ping timeout: 256 seconds) |
| 2021-07-27 21:56:39 | × | sheepduck quits (~sheepduck@user/sheepduck) (Quit: Konversation terminated!) |
| 2021-07-27 21:57:16 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Quit: Leaving) |
| 2021-07-27 21:57:22 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-07-27 21:58:21 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 265 seconds) |
| 2021-07-27 21:59:02 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-27 21:59:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-27 21:59:44 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-27 22:00:08 | × | Guest1981 quits (~user@c-66-31-23-28.hsd1.ma.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-27 22:01:52 | <lechner> | Hi, why do I have to send my Haskell programs Ctrl-C two times to terminate, please? |
| 2021-07-27 22:02:47 | <geekosaur> | are you trapping exceptions? ctrl-c is translated into an exception |
| 2021-07-27 22:03:15 | <lechner> | i am |
| 2021-07-27 22:03:33 | <glguy> | You shouldn't be blanket-dropping exceptions |
| 2021-07-27 22:03:48 | <lechner> | actually, not in this program |
| 2021-07-27 22:03:57 | <hpc> | the first ctrl-c is for your program, the second ctrl-c is for the rts to go "uh oh" |
| 2021-07-27 22:04:04 | <hpc> | otherwise you'd be stuck |
| 2021-07-27 22:04:46 | <monochrom> | I only need one ctrl-c. |
| 2021-07-27 22:04:56 | <lechner> | can i do anything useful in the RTS? |
| 2021-07-27 22:05:13 | <monochrom> | Unless my ghci is inside emacs, but then it's emacs that requires two ctrl-c. |
| 2021-07-27 22:05:37 | <hpc> | *c-c |
| 2021-07-27 22:05:51 | <lechner> | i use 'cabal install' and then run the program from that path via fish |
| 2021-07-27 22:06:12 | <geekosaur> | fwiw I just tested one of my programs and it only requires one ctrl-c. I don't use exceptions |
| 2021-07-27 22:06:16 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 258 seconds) |
| 2021-07-27 22:07:03 | <geekosaur> | (took some time to get it to run long enough to let me interrupt it though) |
| 2021-07-27 22:07:15 | <lechner> | maybe something with the ZMQ loop |
| 2021-07-27 22:07:29 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-27 22:07:37 | <monochrom> | This is what goes wrong when you overgeneralize your question. |
| 2021-07-27 22:08:02 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-27 22:08:46 | <glguy> | When I press ^C I just got C added to my program's input buffer |
| 2021-07-27 22:09:13 | <hpc> | this reproduces the ^C^C behavior - Prelude Control.Exception Control.Concurrent> catch (threadDelay 100000000) (\(SomeException e) -> threadDelay 10000000) |
All times are in UTC.