Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 .. 5022
— 502,152 events total
2021-03-15 03:22:20 × kiweun quits (~kiweun@2607:fea8:2a62:9600:2584:bfd8:4ff2:6f57) (Remote host closed the connection)
2021-03-15 03:22:47 <curiousgay> so (.) composes functions only when I don't give the rightmost function an argument
2021-03-15 03:23:07 <Axman6> s/only when I don't give the rightmost function an argument//
2021-03-15 03:23:17 <Axman6> :t (.)
2021-03-15 03:23:18 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2021-03-15 03:23:38 <Axman6> :t fst . head
2021-03-15 03:23:40 <lambdabot> [(c, b)] -> c
2021-03-15 03:23:57 <Axman6> :t (fst . head) [(3,"four")]
2021-03-15 03:23:58 <lambdabot> Num c => c
2021-03-15 03:24:03 <Axman6> > (fst . head) [(3,"four")]
2021-03-15 03:24:05 <lambdabot> 3
2021-03-15 03:24:11 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-15 03:24:13 × azure2 quits (~azure@103.154.230.130) (Ping timeout: 245 seconds)
2021-03-15 03:24:34 <curiousgay> I mean I thought `fst . head [(3, "four")]` would translate to `fst(head [(3, "four")])`
2021-03-15 03:24:52 <Axman6> > fst . head $ [(3,"four")] -- $ isn't magic, it just has lower precidence and the correct fixity to remove the need for brackets on the right when using (.)
2021-03-15 03:24:54 <lambdabot> 3
2021-03-15 03:25:05 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-03-15 03:25:08 → azure2 joins (~azure@103.154.230.130)
2021-03-15 03:25:27 → jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-15 03:25:43 <Axman6> curiousgay: nope, we've gone through that that means, fst . head [(3,"four")] means fst . (head [(3,"four")])
2021-03-15 03:25:48 <Axman6> what that*
2021-03-15 03:26:15 <curiousgay> ok
2021-03-15 03:27:17 <Axman6> the invisible function application operator, whitespace, binds more tightly than any binary operator
2021-03-15 03:27:54 <Axman6> > f $ g $ g $ x :: Expr
2021-03-15 03:27:56 <lambdabot> error:
2021-03-15 03:27:56 <lambdabot> • Ambiguous type variable ‘t0’ arising from a use of ‘f’
2021-03-15 03:27:56 <lambdabot> prevents the constraint ‘(Show t0)’ from being solved.
2021-03-15 03:28:05 <Axman6> :(
2021-03-15 03:28:10 → ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-15 03:28:37 → joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe)
2021-03-15 03:28:43 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 260 seconds)
2021-03-15 03:32:06 × theDon quits (~td@94.134.91.134) (Ping timeout: 246 seconds)
2021-03-15 03:34:01 → theDon joins (~td@94.134.91.151)
2021-03-15 03:34:05 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-15 03:34:17 <curiousgay> haha, that reminds me spending some time to verify list holding curried functions :)
2021-03-15 03:35:03 → brandly joins (~brandly@c-73-68-15-46.hsd1.ma.comcast.net)
2021-03-15 03:35:29 <curiousgay> s/holding/of/
2021-03-15 03:35:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-15 03:38:02 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-15 03:44:30 × geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-03-15 03:44:58 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 03:45:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-15 03:45:56 → __minoru__shirae joins (~shiraeesh@46.34.207.217)
2021-03-15 03:46:14 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 03:47:43 → tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 03:47:43 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-15 03:48:38 → Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-15 03:48:40 × tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-15 03:50:06 → arrowsvc_ joins (~arr@2.93.163.35)
2021-03-15 03:50:45 → tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 03:50:53 × Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-03-15 03:51:53 × tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-15 03:52:12 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 03:52:55 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-15 03:53:23 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 03:54:08 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-03-15 03:54:38 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 03:59:43 × joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Quit: Lost terminal)
2021-03-15 04:00:58 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-03-15 04:01:43 × dfeuer quits (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-03-15 04:02:05 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2021-03-15 04:02:20 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-15 04:04:26 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-15 04:05:20 → bergey` joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-15 04:05:27 → shailangsa joins (~shailangs@host86-162-150-241.range86-162.btcentralplus.com)
2021-03-15 04:09:38 × bergey` quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2021-03-15 04:12:19 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-15 04:12:37 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-15 04:14:22 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds)
2021-03-15 04:15:30 × elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-15 04:18:42 → moleillish joins (~moleillis@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f)
2021-03-15 04:20:01 × moleillish quits (~moleillis@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) (Client Quit)
2021-03-15 04:20:59 → molehillish joins (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f)
2021-03-15 04:21:50 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-15 04:25:05 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-03-15 04:25:24 → jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-15 04:29:43 → codygman__ joins (~user@47.186.207.161)
2021-03-15 04:32:43 × vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-15 04:32:49 <molehillish> silly question, is Haskell more popular in Europe, or US ?
2021-03-15 04:34:12 → vicfred joins (vicfred@gateway/vpn/mullvad/vicfred)
2021-03-15 04:34:57 → plutoniix joins (~q@184.82.207.25)
2021-03-15 04:36:37 × irc_user quits (uid423822@gateway/web/irccloud.com/x-nlsxajxsercntvta) (Quit: Connection closed for inactivity)
2021-03-15 04:39:14 <glguy> I wouldn't think so
2021-03-15 04:42:49 × Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-15 04:44:24 → conal joins (~conal@64.71.133.70)
2021-03-15 04:48:06 × codygman__ quits (~user@47.186.207.161) (Quit: ERC (IRC client for Emacs 28.0.50))
2021-03-15 04:48:28 → codygman__ joins (~user@47.186.207.161)
2021-03-15 04:48:44 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
2021-03-15 04:49:48 → codygman__ joins (~user@47.186.207.161)
2021-03-15 04:50:47 × ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-15 04:51:06 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-15 04:51:54 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-15 04:53:13 → kiweun joins (~kiweun@2607:fea8:2a62:9600:4cd1:619d:db56:98e6)
2021-03-15 04:54:08 × arrowsvc_ quits (~arr@2.93.163.35) (Ping timeout: 265 seconds)
2021-03-15 04:55:48 × molehillish quits (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) (Remote host closed the connection)
2021-03-15 04:57:51 → rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-woyfwvonkmfyvkag)
2021-03-15 04:58:14 × codygman__ quits (~user@47.186.207.161) (Ping timeout: 260 seconds)
2021-03-15 05:00:52 → molehillish joins (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f)
2021-03-15 05:02:24 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-03-15 05:02:45 × __minoru__shirae quits (~shiraeesh@46.34.207.217) (Ping timeout: 246 seconds)
←Prev  Next→
Page 1 .. 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 .. 5022

All times are in UTC.