Logs: liberachat/#haskell
| 2021-07-01 11:14:32 | → | Alex_test joins (~al_test@94.233.241.144) |
| 2021-07-01 11:15:32 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 256 seconds) |
| 2021-07-01 11:23:06 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 240 seconds) |
| 2021-07-01 11:24:18 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-07-01 11:25:38 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 11:26:15 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 11:26:44 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 11:27:20 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-01 11:27:48 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-01 11:29:45 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-01 11:30:44 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-07-01 11:31:17 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 11:31:20 | → | natechan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-01 11:32:22 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-2787-f5de-e687-987e.fixed6.kpn.net) |
| 2021-07-01 11:35:40 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-07-01 11:37:55 | ← | chronon parts (~chronon@user/chronon) () |
| 2021-07-01 11:39:10 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-01 11:40:26 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-01 11:44:29 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-01 11:48:28 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 272 seconds) |
| 2021-07-01 11:49:06 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-01 11:55:08 | <Profpatsch> | What do people do with lots of nested IO (Validation err a) operations? |
| 2021-07-01 11:55:56 | <merijn> | "It Depends (TM)" |
| 2021-07-01 11:57:18 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 252 seconds) |
| 2021-07-01 11:58:11 | <Franciman> | haskell is basically at a dead end |
| 2021-07-01 11:58:24 | <Franciman> | it has to decide |
| 2021-07-01 11:58:29 | <Franciman> | will it get dependent types? |
| 2021-07-01 11:58:42 | <Franciman> | will it get better macros? |
| 2021-07-01 11:58:48 | <Franciman> | what will it do? |
| 2021-07-01 11:58:51 | <Franciman> | will it stay the same? |
| 2021-07-01 11:59:17 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-01 11:59:35 | → | cheater joins (~Username@user/cheater) |
| 2021-07-01 12:00:01 | <Profpatsch> | Franciman: ok |
| 2021-07-01 12:00:17 | <Profpatsch> | merijn: on what? |
| 2021-07-01 12:01:17 | <hpc> | the real problem with haskell is it can't implement ebpf in homomorphically encrypted iphone apps :D |
| 2021-07-01 12:01:25 | × | Codaraxis__ quits (~Codaraxis@193.32.126.157) (Remote host closed the connection) |
| 2021-07-01 12:01:39 | <merijn> | Profpatsch: What's the errors? How do you wanna handle them? Why are they in IO? How do you wanna deal with complication from that? etc. |
| 2021-07-01 12:01:44 | → | Codaraxis__ joins (~Codaraxis@193.32.126.157) |
| 2021-07-01 12:02:33 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 12:03:00 | <Profpatsch> | merijn: basically I have a bunch of IO functions that parse stuff into Validation |
| 2021-07-01 12:03:15 | <Profpatsch> | e.g. readDir and then read every file in the dir |
| 2021-07-01 12:03:23 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-01 12:03:31 | → | magnuscake joins (~magnuscak@87-121-92-61.dyn.launtel.net.au) |
| 2021-07-01 12:03:57 | <Profpatsch> | Usually the way that works is if readDir fails, put that in the Failure and return, if it succeeds read every file and accumulate errors |
| 2021-07-01 12:04:17 | <magnuscake> | Hello. I have the following; https://paste.tomsmeding.com/HCa1nNvS |
| 2021-07-01 12:04:19 | <Profpatsch> | So there’s a bunch of nested (a -> IO (Validation (NonEmpty err) b) |
| 2021-07-01 12:04:27 | <magnuscake> | This is just a general question, but for normal form, why can't I write |
| 2021-07-01 12:04:37 | <magnuscake> | data Garden' = Gardner Gardneria' |
| 2021-07-01 12:04:55 | <merijn> | I'd say you first use sequence to go from "[IO (Validation err a)]" to "IO [Validation err a]" and then you can fmap sequence into IO to go from '[Validation err a]' to 'Validation err [a]' |
| 2021-07-01 12:05:07 | <magnuscake> | | Gardner Daisy' |
| 2021-07-01 12:05:32 | <hpc> | magnuscake: the first thing in each section is the data constructor |
| 2021-07-01 12:05:39 | <hpc> | it's easier to see with GADT syntax, you get something like |
| 2021-07-01 12:05:59 | <hpc> | data Garden' where Gardenia' :: Gardener -> Garden'; Daisy' :: Gardener -> Garden'; ... |
| 2021-07-01 12:06:18 | × | acidjnk_new quits (~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-07-01 12:06:22 | <hpc> | and those constructors have to be unique so you know which one it is later when you construct the value |
| 2021-07-01 12:07:50 | <magnuscake> | Ah ok that makes sense thanks |
| 2021-07-01 12:08:15 | <Profpatsch> | merijn: let’s see whether this play on traverse gets me anywhere: |
| 2021-07-01 12:08:17 | <Profpatsch> | forValidate :: |
| 2021-07-01 12:08:20 | <Profpatsch> | (Traversable t, Applicative ap, Semigroup err) => |
| 2021-07-01 12:08:22 | <Profpatsch> | t (ap (Validation err a)) -> |
| 2021-07-01 12:08:22 | × | phma quits (phma@2001:5b0:211c:8948:6f8b:5fd0:dc14:21f2) (Read error: Connection reset by peer) |
| 2021-07-01 12:08:24 | <Profpatsch> | (a -> ap (Validation err b)) -> |
| 2021-07-01 12:08:26 | <Profpatsch> | ap (t (Validation err b)) |
| 2021-07-01 12:09:04 | AlexNoo_ | is now known as AlexNoo |
| 2021-07-01 12:09:14 | → | phma joins (phma@2001:5b0:211f:2298:dd93:a388:d3e:b1b1) |
| 2021-07-01 12:09:38 | → | lortabac joins (~lortabac@95.138.56.124) |
| 2021-07-01 12:10:35 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-01 12:12:36 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) |
| 2021-07-01 12:19:28 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-07-01 12:21:06 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 240 seconds) |
| 2021-07-01 12:21:21 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 12:25:24 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-01 12:25:24 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-01 12:26:49 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-07-01 12:26:59 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-01 12:27:01 | → | dwalker joins (~user@user/dwalker) |
| 2021-07-01 12:29:53 | → | pbrisbin joins (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) |
| 2021-07-01 12:30:44 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-07-01 12:31:06 | <jumper149> | Hmmmm, ghc is using 30GB RAM + 60GB swap. I think something might be wrong x) |
| 2021-07-01 12:31:22 | <jumper149> | It fininshes compiling though |
| 2021-07-01 12:31:40 | → | stevenxl joins (~stevenlei@68.235.43.101) |
| 2021-07-01 12:34:33 | × | dwalker quits (~user@user/dwalker) (Quit: ERC Version 5.3 (IRC client for Emacs)) |
| 2021-07-01 12:35:30 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-01 12:37:55 | → | dwalker joins (~user@185.189.160.132) |
| 2021-07-01 12:39:54 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 240 seconds) |
| 2021-07-01 12:40:05 | <merijn> | jumper149: oof |
| 2021-07-01 12:42:49 | <jumper149> | merijn: https://github.com/biocad/servant-openapi3/issues/8 |
| 2021-07-01 12:42:55 | <jumper149> | This seems to be related. |
| 2021-07-01 12:42:58 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-01 12:43:16 | <jumper149> | I hope splitting up the API type will help |
| 2021-07-01 12:45:03 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 12:45:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-01 12:46:23 | <merijn> | iirc Servant is rather type heavy, which certainly correlates with compile times |
| 2021-07-01 12:46:52 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-07-01 12:50:06 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-01 12:50:50 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 12:51:03 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-01 12:51:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 256 seconds) |
| 2021-07-01 12:51:41 | <maerwald> | the bigger problem with servant is my terminal size |
| 2021-07-01 12:52:24 | jumper149 | chuckles |
All times are in UTC.