Logs: liberachat/#haskell
| 2021-07-22 13:19:36 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-07-22 13:19:37 | → | sander joins (~sander@user/sander) |
| 2021-07-22 13:19:45 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-22 13:19:54 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2021-07-22 13:19:55 | → | cocreature joins (~moritz@2a03:b0c0:3:d0::c8:f001) |
| 2021-07-22 13:20:02 | → | jolly joins (~jolly@63-97-42-210-ama.pathwayz.com) |
| 2021-07-22 13:20:05 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 2021-07-22 13:20:07 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 2021-07-22 13:20:09 | → | synthmeat joins (~synthmeat@user/synthmeat) |
| 2021-07-22 13:20:14 | → | koolazer joins (~koo@user/koolazer) |
| 2021-07-22 13:20:28 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 13:20:45 | → | swistak joins (~swistak@185.21.216.141) |
| 2021-07-22 13:20:57 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2021-07-22 13:21:19 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-07-22 13:21:22 | maerwald_ | is now known as maerwald |
| 2021-07-22 13:21:38 | × | maerwald quits (~maerwald@mail.hasufell.de) (Changing host) |
| 2021-07-22 13:21:38 | → | maerwald joins (~maerwald@user/maerwald) |
| 2021-07-22 13:23:32 | → | ozzymcduff joins (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-22 13:24:58 | → | Guest9 joins (~Guest9@103.240.169.34) |
| 2021-07-22 13:27:27 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 13:27:51 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 13:30:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-22 13:31:09 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-22 13:32:34 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 265 seconds) |
| 2021-07-22 13:35:29 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 13:36:59 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-22 13:37:38 | ← | delYsid parts (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-07-22 13:38:11 | <arkanoid> | how to split a list every X elements? for example "foobarbaz" 3 would be ["foo", "bar", "baz"] |
| 2021-07-22 13:39:52 | <dminuoso_> | Roll your own |
| 2021-07-22 13:39:58 | <Clint> | arkanoid: https://hackage.haskell.org/package/split-0.2.3.4/docs/Data-List-Split.html |
| 2021-07-22 13:40:00 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-22 13:40:35 | <arkanoid> | chunksOf! |
| 2021-07-22 13:49:22 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 240 seconds) |
| 2021-07-22 13:51:22 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-22 13:53:13 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 13:54:20 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-22 13:57:40 | dminuoso_ | is now known as dminuoso |
| 2021-07-22 14:02:35 | bastelfreak1 | is now known as bastelfreak |
| 2021-07-22 14:03:40 | × | Guest9 quits (~Guest9@103.240.169.34) (Quit: Connection closed) |
| 2021-07-22 14:04:07 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-22 14:04:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-22 14:06:05 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-22 14:07:10 | → | alx741_ joins (~alx741@186.178.108.210) |
| 2021-07-22 14:07:15 | × | dminuoso quits (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2021-07-22 14:07:15 | → | dminuoso joins (~dminuoso@user/dminuoso) |
| 2021-07-22 14:07:32 | × | alx741 quits (~alx741@186.178.108.210) (Read error: Connection reset by peer) |
| 2021-07-22 14:07:45 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-22 14:08:38 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-22 14:11:05 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-07-22 14:12:01 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-22 14:15:07 | <adamCS> | Boarders: sorry! Had to go. I don't know if there's cost to that vs. local. Performance of the various effect systems is extremely tricky and difficult to test in isolation. Though I think you can profile your own case if you think it's an issue. I' |
| 2021-07-22 14:15:41 | <adamCS> | Boarders: I'm inclined to think it's unlikely to matter in most cases but I don't know how you are using it. |
| 2021-07-22 14:15:42 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-22 14:20:11 | <adamCS> | Boarders: As to your other question, you could catch everything and then rethrow a custom exception type which holds a copy of the environment. But catching everything is not usually what you want. Do you know what exception is being thrown that leads you to want to know about the local environment at that point? |
| 2021-07-22 14:20:38 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-07-22 14:21:00 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 14:21:25 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 14:21:26 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-07-22 14:21:47 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 252 seconds) |
| 2021-07-22 14:22:07 | → | ub joins (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) |
| 2021-07-22 14:22:23 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-22 14:22:51 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 14:23:22 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-07-22 14:25:25 | × | unyu quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2021-07-22 14:28:26 | <Boarders> | adamCS: it is for a compiler architecture, you want to throw a compiler error but also for the purpose of error reporting to also get the local environment when that error was thrown |
| 2021-07-22 14:28:33 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 14:28:33 | <Boarders> | (e.g. so you can see variables in scope and other stuff) |
| 2021-07-22 14:29:30 | <Boarders> | and I don't mean IO errors really here, just the Exception monad |
| 2021-07-22 14:30:30 | <adamCS> | Boarders: Right. So then you could maybe do "ExceptT Reader"? |
| 2021-07-22 14:30:53 | <adamCS> | Oh. Maybe not. |
| 2021-07-22 14:31:45 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-07-22 14:32:18 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-22 14:32:33 | <Boarders> | no, reader will not allow you to surface the env |
| 2021-07-22 14:32:43 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-22 14:32:50 | <Boarders> | my point was that you need state for that |
| 2021-07-22 14:32:53 | <Boarders> | but it seems overkill |
| 2021-07-22 14:32:55 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-22 14:33:02 | → | acidjnk_new joins (~acidjnk@p200300d0c72b958851fb9d80c066df0b.dip0.t-ipconnect.de) |
| 2021-07-22 14:33:18 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-22 14:33:35 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 14:35:39 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-22 14:35:57 | × | acidjnk quits (~acidjnk@p200300d0c72b9516f180e3afe24121d7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-07-22 14:37:02 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Client Quit) |
| 2021-07-22 14:37:12 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-22 14:37:41 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 14:38:04 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Client Quit) |
| 2021-07-22 14:38:27 | <adamCS> | Boarders: Why doesn't it work to have a custom exception type which holds a copy of the env? Then you catch what you need to, get the env at that point, and rethrow your type with the copy of the env. |
| 2021-07-22 14:38:49 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-22 14:39:28 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-22 14:39:31 | × | ub quits (~Thunderbi@178.165.186.232.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2021-07-22 14:39:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-22 14:40:17 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-22 14:41:15 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-07-22 14:41:40 | <Boarders> | that is one option |
| 2021-07-22 14:42:14 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-07-22 14:43:06 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Client Quit) |
| 2021-07-22 14:43:06 | → | crazazy joins (~user@2001:1c00:831:4700:3b4a:a6aa:91da:4816) |
| 2021-07-22 14:43:09 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-07-22 14:43:29 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-22 14:43:48 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
All times are in UTC.