Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 .. 18041
— 1,804,039 events total
2021-08-10 01:19:57 → natechan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-10 01:20:03 <lechner> that one too
2021-08-10 01:20:07 <lechner> ?
2021-08-10 01:20:12 → raoul1 joins (~raoul@95.179.203.88)
2021-08-10 01:20:17 <dsal> I use <$> everywhere. I don't think about it much.
2021-08-10 01:20:28 <sm> same
2021-08-10 01:20:31 <dsal> map ($2) [(2+), (3*)]
2021-08-10 01:20:35 <dsal> > map ($2) [(2+), (3*)]
2021-08-10 01:20:37 <lambdabot> [4,6]
2021-08-10 01:20:38 <dsal> There. :)
2021-08-10 01:20:48 × dragestil_ quits (~quassel@user/dragestil) (Quit: No Ping reply in 180 seconds.)
2021-08-10 01:20:51 <sm> ah, well I wouldn't use it there. :)
2021-08-10 01:21:00 → peterhil_ joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-08-10 01:21:05 → mustafa_ joins (sid502723@rockylinux/releng/mustafa)
2021-08-10 01:21:06 → ehamberg_ joins (sid18208@id-18208.stonehaven.irccloud.com)
2021-08-10 01:21:06 → tritlo_ joins (sid58727@user/tritlo)
2021-08-10 01:21:13 → jrm2 joins (~jrm@156.34.187.65)
2021-08-10 01:21:25 → nshepperd24 joins (~nshepperd@li364-218.members.linode.com)
2021-08-10 01:21:41 <adamCS> But it sometimes bites me when I also use $ on the RHS of <$>. Which is my own fault, I guess.
2021-08-10 01:21:44 → Firedancer_ joins (sid336191@id-336191.stonehaven.irccloud.com)
2021-08-10 01:21:51 → rubin55__ joins (sid175221@id-175221.stonehaven.irccloud.com)
2021-08-10 01:21:55 <dsal> :t ($)
2021-08-10 01:21:56 <lambdabot> (a -> b) -> a -> b
2021-08-10 01:21:58 <dsal> :t (<$>)
2021-08-10 01:21:59 <lambdabot> Functor f => (a -> b) -> f a -> f b
2021-08-10 01:22:05 <sm> but maybe after a bit more time I will
2021-08-10 01:22:10 <dsal> :t (<*>)
2021-08-10 01:22:11 <lambdabot> Applicative f => f (a -> b) -> f a -> f b
2021-08-10 01:22:16 → dragestil_ joins (~quassel@user/dragestil)
2021-08-10 01:22:22 → aria_ joins (sid380617@id-380617.tooting.irccloud.com)
2021-08-10 01:22:25 <dsal> lechner: It might be interesting to see how these things relate.
2021-08-10 01:22:36 → m4lvin_ joins (~m4lvin@w4eg.de)
2021-08-10 01:22:59 <dsal> But at least, don't think of $ as a paren too much.
2021-08-10 01:23:17 <dsal> I'm about 50/50 on `(f.g.h) x` vs. `f .g.h $ x`
2021-08-10 01:23:20 sm adds that these things become very clear after a bit more coding
2021-08-10 01:23:29 → pe200012_ joins (~pe200012@218.107.49.28)
2021-08-10 01:23:39 → bairyn joins (~bairyn@mail.digitalkingdom.org)
2021-08-10 01:23:47 → fjmorazan_ joins (~quassel@user/fjmorazan)
2021-08-10 01:23:50 <dsal> There are a lot things that "just do this" and eventually you get it.
2021-08-10 01:24:44 <sm> that's the "rewire your brain" step
2021-08-10 01:25:00 → nf__ joins (~n@monade.li)
2021-08-10 01:25:08 × peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-10 01:25:08 × raoul quits (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds))
2021-08-10 01:25:08 × sus quits (thelounge@user/zeromomentum) (Quit: Ping timeout (120 seconds))
2021-08-10 01:25:08 × jrm quits (~jrm@156.34.187.65) (Quit: ciao)
2021-08-10 01:25:08 × dwt_ quits (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Remote host closed the connection)
2021-08-10 01:25:08 × maerwald quits (~maerwald@mail.hasufell.de) (Quit: gone)
2021-08-10 01:25:08 × ehamberg quits (sid18208@stonehaven.irccloud.com) (Read error: Connection reset by peer)
2021-08-10 01:25:08 × rubin55_ quits (sid175221@stonehaven.irccloud.com) (Read error: Connection reset by peer)
2021-08-10 01:25:08 × mustafa quits (sid502723@rockylinux/releng/mustafa) (Read error: Connection reset by peer)
2021-08-10 01:25:08 × tritlo quits (sid58727@user/tritlo) (Write error: Connection reset by peer)
2021-08-10 01:25:08 × Firedancer quits (sid336191@stonehaven.irccloud.com) (Write error: Connection reset by peer)
2021-08-10 01:25:08 × nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Quit: Ping timeout (120 seconds))
2021-08-10 01:25:08 × m4lvin quits (~m4lvin@w4eg.de) (Remote host closed the connection)
2021-08-10 01:25:08 × matijja quits (~matijja@193.77.181.201) (Quit: ZNC 1.8.1 - https://znc.in)
2021-08-10 01:25:08 × dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-10 01:25:08 × aria quits (sid380617@id-380617.tooting.irccloud.com) (Read error: Connection reset by peer)
2021-08-10 01:25:08 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-08-10 01:25:08 × fjmorazan quits (~quassel@user/fjmorazan) (Quit: No Ping reply in 180 seconds.)
2021-08-10 01:25:08 × favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × jlamothe quits (~jlamothe@104.158.48.100) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × jolly quits (~jolly@208.180.97.158) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × pe200012 quits (~pe200012@218.107.49.28) (Remote host closed the connection)
2021-08-10 01:25:09 × nf quits (~n@monade.li) (Remote host closed the connection)
2021-08-10 01:25:09 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Remote host closed the connection)
2021-08-10 01:25:09 × ByronJohnson quits (~bairyn@mail.digitalkingdom.org) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × infinity0 quits (~infinity0@occupy.ecodis.net) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × earthy quits (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 272 seconds)
2021-08-10 01:25:09 raoul1 is now known as raoul
2021-08-10 01:25:09 aria_ is now known as aria
2021-08-10 01:25:09 Firedancer_ is now known as Firedancer
2021-08-10 01:25:09 ehamberg_ is now known as ehamberg
2021-08-10 01:25:09 mustafa_ is now known as mustafa
2021-08-10 01:25:10 nshepperd24 is now known as nshepperd2
2021-08-10 01:25:10 jrm2 is now known as jrm
2021-08-10 01:25:10 tritlo_ is now known as tritlo
2021-08-10 01:25:11 × Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (Remote host closed the connection)
2021-08-10 01:25:12 → Vq_ joins (~vq@90-227-195-41-no77.tbcn.telia.com)
2021-08-10 01:25:15 → maerwald_ joins (~maerwald@mail.hasufell.de)
2021-08-10 01:25:17 → nshepper1 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-08-10 01:25:18 <sm> the rewiring doesn't stick unless you run some current through it
2021-08-10 01:25:19 → Jonno_FTW joins (~come@api.carswap.me)
2021-08-10 01:25:20 × ornxka quits (~ornxka@user/ornxka) (Remote host closed the connection)
2021-08-10 01:25:20 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
2021-08-10 01:25:25 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-08-10 01:25:27 <Cajun> well is there a good list of coding exercises/problems that are decently involved?
2021-08-10 01:25:33 → dolio joins (~dolio@130.44.130.54)
2021-08-10 01:25:34 → matijja joins (~matijja@193.77.181.201)
2021-08-10 01:25:41 → sus joins (thelounge@user/zeromomentum)
2021-08-10 01:25:45 → ornxka joins (~ornxka@user/ornxka)
2021-08-10 01:25:53 → infinity0 joins (~infinity0@occupy.ecodis.net)
2021-08-10 01:25:53 → favonia joins (~favonia@user/favonia)
2021-08-10 01:25:57 <sm> I say 1 project euler, 2 exercism, 3 advent of code
2021-08-10 01:26:13 <dsal> Cajun: I've really enjoyed all the AoC stuff.
2021-08-10 01:26:15 <Axman6> I always liked dibblego's https://gist.github.com/23Skidoo/5087060 intermediate haskell exercises
←Prev  Next→
Page 1 .. 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 .. 18041

All times are in UTC.