Logs: liberachat/#haskell
| 2021-07-01 12:53:43 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-07-01 12:53:57 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-01 12:54:08 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-07-01 12:55:30 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-01 12:56:33 | → | alx741 joins (~alx741@186.178.108.157) |
| 2021-07-01 12:58:30 | × | sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Quit: ZNC - http://znc.in) |
| 2021-07-01 12:58:41 | → | sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) |
| 2021-07-01 13:01:12 | <merijn> | :) |
| 2021-07-01 13:01:27 | <ph88> | how can i let stack download multiple GHC versions for my docker image ? so that it doesn't have to download again when image is executed ? |
| 2021-07-01 13:08:04 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-01 13:10:12 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 258 seconds) |
| 2021-07-01 13:10:35 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 13:12:50 | × | stevenxl quits (~stevenlei@68.235.43.101) (Ping timeout: 256 seconds) |
| 2021-07-01 13:13:50 | → | stevenxl joins (~stevenlei@68.235.43.101) |
| 2021-07-01 13:14:52 | <fendor> | ph88, I think you can use something like: stack setup --resolver=lts-18.0, e |
| 2021-07-01 13:15:11 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 268 seconds) |
| 2021-07-01 13:15:49 | <ph88> | thanks ! |
| 2021-07-01 13:16:28 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 13:17:30 | <merijn> | Ah better question is: Why are you making docker images with compilers in it? |
| 2021-07-01 13:18:27 | ← | robbert-vdh parts (~robbert@robbertvanderhelm.nl) (WeeChat 3.2) |
| 2021-07-01 13:20:03 | × | kspalaiologos quits (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2021-07-01 13:21:03 | <fendor> | development container! |
| 2021-07-01 13:23:09 | × | magnuscake quits (~magnuscak@87-121-92-61.dyn.launtel.net.au) (Ping timeout: 265 seconds) |
| 2021-07-01 13:27:02 | × | qrpnxz quits (~qrpnxz@user/qrpnxz) (Ping timeout: 272 seconds) |
| 2021-07-01 13:28:45 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 268 seconds) |
| 2021-07-01 13:29:50 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 13:33:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-01 13:38:42 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 240 seconds) |
| 2021-07-01 13:38:55 | × | dwalker quits (~user@185.189.160.132) (Quit: ERC Version 5.3 (IRC client for Emacs)) |
| 2021-07-01 13:39:16 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-01 13:39:29 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 13:39:52 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-01 13:40:06 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 13:40:45 | mnrmnaugh | is now known as i |
| 2021-07-01 13:40:55 | i | is now known as mnrmnaugh |
| 2021-07-01 13:41:11 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-07-01 13:41:15 | mnrmnaugh | is now known as why |
| 2021-07-01 13:41:30 | why | is now known as awk |
| 2021-07-01 13:41:52 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-07-01 13:42:15 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 244 seconds) |
| 2021-07-01 13:42:27 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-01 13:42:55 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-07-01 13:45:00 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-07-01 13:45:29 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 13:48:18 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2021-07-01 13:49:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-01 13:50:04 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 272 seconds) |
| 2021-07-01 13:53:34 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 13:57:11 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-01 13:57:16 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-07-01 13:58:44 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-01 13:59:29 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-07-01 14:00:18 | × | Feuermagier_ quits (~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a) (Ping timeout: 240 seconds) |
| 2021-07-01 14:00:23 | × | fvr quits (uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-01 14:01:19 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-01 14:02:17 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) |
| 2021-07-01 14:04:15 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-01 14:05:55 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-01 14:07:10 | → | fizbin_ joins (~fizbin@93.sub-174-198-203.myvzw.com) |
| 2021-07-01 14:07:36 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-01 14:08:13 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 2021-07-01 14:08:22 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-01 14:08:54 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-01 14:09:56 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-07-01 14:09:56 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-07-01 14:09:56 | → | Deide joins (~Deide@user/deide) |
| 2021-07-01 14:10:02 | × | fendor quits (~fendor@77.119.196.177.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-01 14:12:44 | → | fendor joins (~fendor@77.119.218.107.wireless.dyn.drei.com) |
| 2021-07-01 14:14:30 | <Profpatsch> | super helpful for validation: |
| 2021-07-01 14:14:32 | <Profpatsch> | traverseFold :: (Applicative ap, Traversable t, Monoid m) => (a -> ap m) -> t a -> ap m |
| 2021-07-01 14:14:35 | <Profpatsch> | traverseFold f xs = fold <$> traverse f xs |
| 2021-07-01 14:15:02 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 2021-07-01 14:15:27 | <Profpatsch> | (a -> IO (Validation err b)) -> IO a -> IO (Validation err b) |
| 2021-07-01 14:15:54 | <Taneb> | Profpatsch: I think that can be rewritten to just have a Foldable constraint on t |
| 2021-07-01 14:16:24 | <Profpatsch> | Taneb: how do you do traverse then? |
| 2021-07-01 14:16:45 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-01 14:16:51 | <Taneb> | Profpatsch: you don't need it, a -> Ap ap m has the right monoid instance to just use foldmap |
| 2021-07-01 14:17:42 | <Profpatsch> | Taneb: what does the implementation look like? |
| 2021-07-01 14:17:44 | <Taneb> | :t \f -> getAp . foldMap (Ap . f) |
| 2021-07-01 14:17:45 | <lambdabot> | forall k (t :: * -> *) (f :: k -> *) (a1 :: k) a2. (Foldable t, Monoid (Ap f a1)) => (a2 -> f a1) -> t a2 -> f a1 |
| 2021-07-01 14:18:30 | <Taneb> | :: (Foldable t, Applicative f, Monoid m) => (a -> f m) -> t a -> f m |
| 2021-07-01 14:18:51 | <Taneb> | Ap is in Data.Monoid although I'm not quite convinced that lambdabot picked up the right Ap there |
| 2021-07-01 14:20:18 | <Profpatsch> | Taneb: but can you do the same for Semigroup? |
| 2021-07-01 14:20:36 | <Profpatsch> | I don’t think you can |
| 2021-07-01 14:20:41 | <Taneb> | Profpatsch: with Foldable1 from semigroupoids I guess |
| 2021-07-01 14:20:47 | <Taneb> | But I don't think you can your way either |
| 2021-07-01 14:20:51 | <Profpatsch> | But that doesn’t use APplicative |
| 2021-07-01 14:20:59 | <Profpatsch> | But the class that just has <*> |
| 2021-07-01 14:21:01 | <Profpatsch> | not pure |
| 2021-07-01 14:21:16 | <Profpatsch> | Apply |
| 2021-07-01 14:22:52 | <Profpatsch> | But it’s interesting that you can weaken one but not the other in the ecosystem |
| 2021-07-01 14:23:00 | <Taneb> | ? |
| 2021-07-01 14:23:14 | <Profpatsch> | Doesn’t work for Semigroup |
| 2021-07-01 14:23:30 | <Profpatsch> | Even though it could, but the class tree is missing Apply |
| 2021-07-01 14:24:29 | <Taneb> | :t \f -> foldr1 (liftA2 (<>) . f) |
| 2021-07-01 14:24:30 | <lambdabot> | (Foldable t, Applicative f, Semigroup c) => (f c -> f c) -> t (f c) -> f c |
| 2021-07-01 14:24:39 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-01 14:24:46 | <Taneb> | That's not quite right :( |
| 2021-07-01 14:26:10 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2021-07-01 14:28:24 | <Profpatsch> | Taneb: I wonder if the actual code that is run with the getAp method is different than with the traverse method |
All times are in UTC.