Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 952 953 954 955 956 957 958 959 960 961 962 .. 5022
— 502,152 events total
2020-10-30 08:15:01 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-10-30 08:15:11 × xiinotulp quits (~q@ppp-223-24-166-140.revip6.asianet.co.th) (Read error: Connection reset by peer)
2020-10-30 08:15:46 × MattMareo quits (~mattl@unaffiliated/mattmareo) (Quit: WeeChat 2.7.1)
2020-10-30 08:15:47 → xiinotulp joins (~q@ppp-27-55-76-28.revip3.asianet.co.th)
2020-10-30 08:16:24 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-30 08:17:28 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-30 08:19:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-30 08:21:52 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-30 08:23:52 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-30 08:24:34 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-30 08:28:13 → Sanchayan joins (~Sanchayan@106.200.201.167)
2020-10-30 08:29:19 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 265 seconds)
2020-10-30 08:30:03 × polyrain quits (~polyrain@130.102.13.189) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-30 08:30:28 → ephemera_ joins (~E@122.34.1.187)
2020-10-30 08:31:13 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-30 08:38:13 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-30 08:38:50 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-30 08:41:05 × drbean quits (~drbean@TC210-63-209-96.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-10-30 08:46:10 × alp_ quits (~alp@2a01:e0a:58b:4920:39fb:a32b:68ff:61b3) (Remote host closed the connection)
2020-10-30 08:46:11 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-30 08:46:31 → alp_ joins (~alp@2a01:e0a:58b:4920:4824:2411:72d0:af73)
2020-10-30 08:48:55 → thc202 joins (~thc202@unaffiliated/thc202)
2020-10-30 08:48:57 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 268 seconds)
2020-10-30 08:49:09 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-30 08:53:58 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-30 08:58:47 → grimgnr joins (~user@94.19.246.43)
2020-10-30 09:00:01 × Robert1 quits (~Robert@217.146.82.202) ()
2020-10-30 09:00:05 × io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-vgfwulljnqdvxelo) (Quit: Idle for 30+ days)
2020-10-30 09:06:06 → jedws joins (~jedws@101.184.150.81)
2020-10-30 09:07:22 → dhil joins (~dhil@195.213.192.122)
2020-10-30 09:07:38 → cabpa joins (~cabpa@110.54.186.150)
2020-10-30 09:08:14 × brown121407 quits (~brown1214@fsf/member/brown121407) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-30 09:08:33 → idhugo joins (~idhugo@users-1190.st.net.au.dk)
2020-10-30 09:10:17 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:cdb:717d:49e3:4e14)
2020-10-30 09:10:34 × howdoi quits (uid224@gateway/web/irccloud.com/x-uyyqinprnfdxpgmh) (Quit: Connection closed for inactivity)
2020-10-30 09:14:58 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-30 09:18:23 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-30 09:22:38 × troydm quits (~troydm@unaffiliated/troydm) (Ping timeout: 260 seconds)
2020-10-30 09:22:53 × hhmmss quits (3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-10-30 09:24:38 × Sanchayan quits (~Sanchayan@106.200.201.167) (Quit: leaving)
2020-10-30 09:26:04 × taurux quits (~taurux@net-93-151-195-63.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-30 09:27:05 → troydm joins (~troydm@unaffiliated/troydm)
2020-10-30 09:27:07 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-30 09:27:49 → taurux joins (~taurux@net-130-25-101-121.cust.vodafonedsl.it)
2020-10-30 09:28:15 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-30 09:32:26 × xiinotulp quits (~q@ppp-27-55-76-28.revip3.asianet.co.th) (Ping timeout: 264 seconds)
2020-10-30 09:32:39 → jakob_ joins (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de)
2020-10-30 09:32:51 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:cdb:717d:49e3:4e14) (Read error: Connection reset by peer)
2020-10-30 09:32:51 → xiinotulp joins (~q@ppp-27-55-90-211.revip3.asianet.co.th)
2020-10-30 09:37:07 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-30 09:39:21 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-30 09:39:37 → ubert joins (~Thunderbi@p200300ecdf1e5396e6b318fffe838f33.dip0.t-ipconnect.de)
2020-10-30 09:42:38 × strangeglyph quits (~strangegl@37.120.174.35) (Quit: User terminated)
2020-10-30 09:42:49 → strangeglyph joins (~strangegl@boreeas.net)
2020-10-30 09:44:16 → brown121407 joins (~brown1214@2001:19f0:6c01:2b9c:3c66:4201:22f3:3ebc)
2020-10-30 09:44:16 × brown121407 quits (~brown1214@2001:19f0:6c01:2b9c:3c66:4201:22f3:3ebc) (Changing host)
2020-10-30 09:44:16 → brown121407 joins (~brown1214@fsf/member/brown121407)
2020-10-30 09:44:27 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-30 09:45:38 × bliminse quits (~bliminse@host109-158-129-241.range109-158.btcentralplus.com) (Ping timeout: 264 seconds)
2020-10-30 09:46:13 → bliminse joins (~bliminse@host109-158-129-241.range109-158.btcentralplus.com)
2020-10-30 09:46:18 × xff0x_ quits (~fox@2001:1a81:52d0:1400:178e:93d:529c:83a3) (Ping timeout: 268 seconds)
2020-10-30 09:46:57 → xff0x_ joins (~fox@2001:1a81:52d0:1400:27e4:ce:8da5:24fb)
2020-10-30 09:48:29 × brown121407 quits (~brown1214@fsf/member/brown121407) (Client Quit)
2020-10-30 09:54:31 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-30 09:54:31 → kreative joins (~kreative@84.39.117.57)
2020-10-30 09:55:06 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-30 09:59:26 <maerwald> ApplicativDo was a mistake imo, SelectiveDo won't be any better
2020-10-30 10:01:40 hackage in-other-words 0.1.1.0 - A higher-order effect system where the sky's the limit https://hackage.haskell.org/package/in-other-words-0.1.1.0 (KingoftheHomeless)
2020-10-30 10:03:28 → fendor joins (~fendor@77.119.131.209.wireless.dyn.drei.com)
2020-10-30 10:03:53 <merijn> ApplicativeDo is to complicated
2020-10-30 10:04:39 <Rembane> What's the syntax for ApplicativeDo? Left arrows?
2020-10-30 10:06:32 <Kolkrabe> It's the usual do-notation, IIRC
2020-10-30 10:06:48 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-30 10:07:11 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-30 10:07:13 → brown121407 joins (~brown1214@mail.121407.xyz)
2020-10-30 10:07:14 × brown121407 quits (~brown1214@mail.121407.xyz) (Changing host)
2020-10-30 10:07:14 → brown121407 joins (~brown1214@fsf/member/brown121407)
2020-10-30 10:08:16 <merijn> Rembane: Do syntax, but with voodoo black magic deciding if it works or you get a type error
2020-10-30 10:09:26 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-30 10:09:46 <Rembane> merijn: That sounds like something I don't want in a programming language.
2020-10-30 10:10:08 <[exa]> Rembane: some people hate the applicative .. <$> .. <*> .. <*> .. noodles
2020-10-30 10:10:23 <dminuoso> Rembane: Well, think of it as a freebie.
2020-10-30 10:10:31 <dminuoso> Consider the use case of haxl
2020-10-30 10:10:48 <dminuoso> You get the expressivity of monadic code, but with automatic parallelization whenever possible
2020-10-30 10:11:00 <dminuoso> If you dont want it, you get no automatic parallelization
2020-10-30 10:11:41 <lortabac> maybe they should have added an explicit keyword for ApplicativeDo
2020-10-30 10:11:42 <Rembane> [exa]: I love them! :)
2020-10-30 10:11:52 <Rembane> dminuoso: That is a very good point though.
2020-10-30 10:13:14 <[exa]> they overloaded `do` instead of using `doA` or something?
2020-10-30 10:13:27 <lortabac> [exa]: yes
2020-10-30 10:13:30 <[exa]> I hoped that people have learned from `mdo`
2020-10-30 10:14:39 → cleveraware joins (~kali@45.133.7.43)
2020-10-30 10:14:51 <dminuoso> Introducing new keywords is very unpopular in GHC.
2020-10-30 10:15:01 <dminuoso> It causes friction every time
2020-10-30 10:15:34 <[exa]> lucky we have pretty nice isolated extensions!
2020-10-30 10:15:45 <[exa]> ( :] )
2020-10-30 10:15:54 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 268 seconds)
2020-10-30 10:15:58 <Uniaika> hmm, I think there will be an extension for having Selective do without RebindableSyntax
2020-10-30 10:16:05 <Uniaika> damnit, I can't recall its name
2020-10-30 10:16:16 <dminuoso> If there is, Id be very curious what the ergonomics is
←Prev  Next→
Page 1 .. 952 953 954 955 956 957 958 959 960 961 962 .. 5022

All times are in UTC.