Logs: liberachat/#haskell
| 2021-07-01 14:28:30 | <Profpatsch> | like there is a foldMap and a foldMap' |
| 2021-07-01 14:28:49 | <Profpatsch> | But there is no traverse' |
| 2021-07-01 14:29:09 | × | bollu quits (~bollu@139.59.46.74) (Ping timeout: 272 seconds) |
| 2021-07-01 14:29:10 | <Profpatsch> | which kinda makes sense I guess |
| 2021-07-01 14:29:24 | → | bollu joins (~bollu@139.59.46.74) |
| 2021-07-01 14:29:33 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-01 14:29:51 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-01 14:29:56 | → | pja joins (~pja@dsl-217-155-153-10.zen.co.uk) |
| 2021-07-01 14:30:26 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-01 14:31:14 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 272 seconds) |
| 2021-07-01 14:34:15 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 14:40:33 | <Taneb> | godbolt gives different assembly for them |
| 2021-07-01 14:41:14 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 256 seconds) |
| 2021-07-01 14:41:46 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 14:47:19 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-2787-f5de-e687-987e.fixed6.kpn.net) (Remote host closed the connection) |
| 2021-07-01 14:48:03 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-07-01 14:48:36 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) |
| 2021-07-01 14:49:39 | × | fizbin_ quits (~fizbin@93.sub-174-198-203.myvzw.com) (Read error: Connection reset by peer) |
| 2021-07-01 14:49:42 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-01 14:49:58 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-2787-f5de-e687-987e.fixed6.kpn.net) |
| 2021-07-01 14:51:24 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-01 14:51:43 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-01 14:51:48 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-01 14:52:24 | → | finsternis joins (~X@23.226.237.192) |
| 2021-07-01 14:53:08 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 256 seconds) |
| 2021-07-01 14:54:38 | → | usera joins (~usera@151.45.149.246) |
| 2021-07-01 14:59:20 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-01 14:59:41 | × | lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap) |
| 2021-07-01 14:59:44 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-01 14:59:44 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-01 15:00:15 | → | lambdap joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-07-01 15:03:42 | × | ph88 quits (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2021-07-01 15:05:12 | × | usera quits (~usera@151.45.149.246) (Quit: Client closed) |
| 2021-07-01 15:05:46 | × | azeem quits (~azeem@176.201.21.236) (Ping timeout: 252 seconds) |
| 2021-07-01 15:07:03 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-07-01 15:07:40 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-01 15:08:25 | aravk_ | is now known as aravk |
| 2021-07-01 15:10:47 | <tomsmeding> | maerwald: I saw somebody recommend the Haskell Platform to a mac user asking how to get started with haskell; I was on the brink of shouting "ghcup" but it's good I had a look at the official webpage, because I see it actually lists ghcup already :) |
| 2021-07-01 15:11:05 | <tomsmeding> | It does give a separate link for installing stack, but ghcup can do that now too, right? |
| 2021-07-01 15:11:34 | <maerwald> | yeah |
| 2021-07-01 15:11:38 | → | azeem joins (~azeem@176.201.21.236) |
| 2021-07-01 15:12:38 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-01 15:12:51 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-01 15:13:46 | → | myShoggoth joins (~myShoggot@75.164.51.64) |
| 2021-07-01 15:13:49 | → | thiagomm joins (~thiagomm@2804:14c:de88:87a9::1000) |
| 2021-07-01 15:14:05 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-01 15:14:23 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-01 15:14:42 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2021-07-01 15:15:20 | → | romes2 joins (~romes2@44.190.189.46.rev.vodafone.pt) |
| 2021-07-01 15:15:26 | <romes2> | hi! |
| 2021-07-01 15:15:54 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2021-07-01 15:15:55 | <boxscape> | hi |
| 2021-07-01 15:15:58 | × | thiagomm quits (~thiagomm@2804:14c:de88:87a9::1000) (Client Quit) |
| 2021-07-01 15:16:01 | <Vq> | Hi romes |
| 2021-07-01 15:16:18 | × | TranquilEcho quits (~grom@user/tranquilecho) (Ping timeout: 240 seconds) |
| 2021-07-01 15:16:23 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-01 15:17:01 | → | dunkeln joins (~dunkeln@188.70.10.165) |
| 2021-07-01 15:17:25 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 2021-07-01 15:18:27 | × | nanoc quits (~nanocoast@p200300e1273bf000ccc6df24f323b7c2.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-07-01 15:18:42 | → | mei joins (~mei@user/mei) |
| 2021-07-01 15:19:19 | <romes2> | I have a question, how would I check if the value of a Monadic computation is empty ? |
| 2021-07-01 15:19:38 | × | cuz quits (~user@38.140.58.234) (Remote host closed the connection) |
| 2021-07-01 15:19:48 | <romes2> | x = Nothing >> return (Just 1) is Nothing, and I could wrap it in a "case", but if it wasn't the Maybe monad, but something else that supported "empty" |
| 2021-07-01 15:20:40 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-01 15:20:55 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 246 seconds) |
| 2021-07-01 15:21:18 | <romes2> | oh I think I figured it out... when I phrased it as "conditional" when writing another message I got an idea |
| 2021-07-01 15:22:19 | <romes2> | thank you everyone hahaha (if anyone wants to know this remembered me of a function called "ifte" in the LogicT backtracking library |
| 2021-07-01 15:22:27 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-01 15:22:36 | → | Guest1870 joins (~Guest18@27.147.234.193) |
| 2021-07-01 15:22:45 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-01 15:23:10 | <merijn> | tomsmeding: on macos you might as well install the ghc bindists, imo |
| 2021-07-01 15:23:52 | <Guest1870> | why is `take 10 [13, 26..]` better than `[13, 26..13*10]`? |
| 2021-07-01 15:24:08 | <merijn> | Who says it is? |
| 2021-07-01 15:24:23 | <Guest1870> | http://learnyouahaskell.com/starting-out#ready-set-go |
| 2021-07-01 15:25:21 | <merijn> | I don't see where it says that is better? |
| 2021-07-01 15:25:39 | <boxscape> | Guest1870: to me it's a bit more immediately obvious what `take 10 [13, 26..]` means but I'd say both are fine |
| 2021-07-01 15:25:41 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 15:25:46 | <boxscape> | merijn: it says "Sure, you could do [13,26..24*13]. But there's a better way: take 24 [13,26..]" |
| 2021-07-01 15:26:02 | <geekosaur> | might be because it |
| 2021-07-01 15:26:04 | <merijn> | I'd say the main advantage is where you don't know if you will need 10 items ahead of time |
| 2021-07-01 15:26:10 | <geekosaur> | 's clearer what you intend |
| 2021-07-01 15:26:14 | <Guest1870> | better how? syntax wise? |
| 2021-07-01 15:26:22 | <merijn> | Like, suppose you wanna assign unique indices to a container of elements |
| 2021-07-01 15:26:36 | <merijn> | With the infinite list you don't have to know the size ahead of time |
| 2021-07-01 15:27:59 | <dolio> | I'd have to think longer about what the actual upper bound should be, at least. |
| 2021-07-01 15:29:13 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-01 15:29:13 | <dolio> | I'm never confident about that sort of off-by-one stuff. |
| 2021-07-01 15:30:50 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 15:31:26 | × | Guest1870 quits (~Guest18@27.147.234.193) (Quit: Client closed) |
| 2021-07-01 15:31:27 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 15:31:32 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-07-01 15:32:23 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-01 15:32:23 | × | cuz quits (~user@38.140.58.234) (Read error: Connection reset by peer) |
| 2021-07-01 15:32:35 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-01 15:32:35 | × | awk quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-07-01 15:32:39 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-01 15:33:11 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-07-01 15:33:23 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-07-01 15:34:00 | → | mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) |
| 2021-07-01 15:36:11 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
All times are in UTC.