Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 .. 5022
— 502,152 events total
2020-11-02 07:56:11 <danso> i suspect the same as you. what else would it be? @? #? ~?
2020-11-02 07:56:17 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-02 07:56:32 <dminuoso> So what you're left with is #, $ and &
2020-11-02 07:56:42 <danso> @-patterns were only added into ghc in the last few years, i think
2020-11-02 07:56:42 <lambdabot> Unknown command, try @list
2020-11-02 07:56:50 <dminuoso> Oh, then include @ in that list
2020-11-02 07:57:02 <danso> $ definitely predates it by at least 15 years
2020-11-02 07:57:04 <dminuoso> Out of those, perhaps $ renders less widely and reads better than the rest.
2020-11-02 07:57:19 <energizer> coulda been `??` ?
2020-11-02 07:57:25 <dminuoso> Sure, could have.
2020-11-02 07:57:45 <dminuoso> But then you'd ask "why chose ?? and not $" :)
2020-11-02 07:57:51 <energizer> heheh
2020-11-02 07:58:09 <danso> is ? actually used for anything other than implicit params?
2020-11-02 07:58:23 <danso> it might not be an allowed operator character
2020-11-02 07:58:29 <dminuoso> % f ? g = f + g
2020-11-02 07:58:29 <yahb> dminuoso: ; <interactive>:324:1: warning: [-Wname-shadowing] This binding for `f' shadows the existing binding defined at <interactive>:168:1
2020-11-02 07:58:31 <dminuoso> Seems fine
2020-11-02 07:58:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-02 07:58:53 <danso> hm, i don't recall ever seeing it used
2020-11-02 07:59:21 → idhugo joins (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-11-02 07:59:21 <dminuoso> ? is used a lot in lens operators
2020-11-02 07:59:30 <dminuoso> Think it's usually for things that deal with Maybe
2020-11-02 07:59:48 <dminuoso> % :t (?~)
2020-11-02 07:59:48 <yahb> dminuoso: ASetter s t a (Maybe b) -> b -> s -> t
2020-11-02 08:00:01 <danso> i could see it working as the function `Maybe a -> a -> a`
2020-11-02 08:00:02 <dminuoso> % :t (^?)
2020-11-02 08:00:02 <yahb> dminuoso: s -> Getting (First a) s a -> Maybe a
2020-11-02 08:02:23 × sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!)
2020-11-02 08:05:35 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 08:06:07 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-11-02 08:06:40 <energizer> that's like regex
2020-11-02 08:07:59 × Inoperable quits (~PLAYER_1@fancydata.science) (Excess Flood)
2020-11-02 08:09:07 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-02 08:09:54 → leah2 joins (~leah@vuxu.org)
2020-11-02 08:10:36 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-02 08:11:01 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-02 08:11:18 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-11-02 08:14:43 → Inoperable joins (~PLAYER_1@fancydata.science)
2020-11-02 08:15:32 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 08:16:52 × danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-11-02 08:20:43 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-02 08:21:57 → manu1511 joins (~manu@194-208-201-025.tele.net)
2020-11-02 08:22:04 ← manu1511 parts (~manu@194-208-201-025.tele.net) ()
2020-11-02 08:23:36 × drbean quits (~drbean@TC210-63-209-59.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-11-02 08:27:02 → alp joins (~alp@88.126.45.36)
2020-11-02 08:27:31 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-02 08:28:02 → thir joins (~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-11-02 08:28:14 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 08:28:22 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-02 08:30:44 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-02 08:31:05 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-02 08:31:52 <merijn> Don't forget !? from containers
2020-11-02 08:32:05 × thir quits (~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-02 08:32:44 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-02 08:32:44 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
2020-11-02 08:34:53 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-02 08:35:15 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-02 08:36:10 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-02 08:36:16 <tomsmeding> Accelerate has (?) for the infix if-operator of the EDSL: https://hackage.haskell.org/package/accelerate-1.3.0.0/docs/Data-Array-Accelerate.html#v:-63- (warning, large page)
2020-11-02 08:38:46 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-02 08:41:39 × alp quits (~alp@88.126.45.36) (Remote host closed the connection)
2020-11-02 08:41:49 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-02 08:42:02 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-almrgtblciiegvzz) (Quit: Connection closed for inactivity)
2020-11-02 08:43:19 × Inoperable quits (~PLAYER_1@fancydata.science) (Excess Flood)
2020-11-02 08:43:38 → borne joins (~fritjof@200116b864ec3c00c8b76624f4b75a13.dip.versatel-1u1.de)
2020-11-02 08:47:10 <tomsmeding> programming language documentation pages are the best browser benchmarks nowadays
2020-11-02 08:47:28 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-11-02 08:50:15 → Neo-- joins (~neo@188-230-154-134.dynamic.t-2.net)
2020-11-02 08:51:01 → Inoperable joins (~PLAYER_1@fancydata.science)
2020-11-02 08:51:22 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-11-02 08:51:26 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-02 08:51:42 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-02 08:52:00 hackage cobot-io 0.1.3.9 - Biological data file formats and IO https://hackage.haskell.org/package/cobot-io-0.1.3.9 (ozzzzz)
2020-11-02 08:56:08 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-02 08:56:18 → todda7 joins (~torstein@2a02:587:d28:2900:bd30:f5ea:90f2:33aa)
2020-11-02 08:58:34 × bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 246 seconds)
2020-11-02 08:58:36 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 08:58:42 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 08:59:28 → bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com)
2020-11-02 09:00:01 × frankie2 quits (~frankie@185.104.184.43) ()
2020-11-02 09:03:03 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-02 09:03:04 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-02 09:03:32 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-02 09:05:58 × jneira quits (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 268 seconds)
2020-11-02 09:07:19 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-02 09:07:29 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-02 09:07:44 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-02 09:14:48 → thc202 joins (~thc202@unaffiliated/thc202)
2020-11-02 09:17:31 → britva joins (~britva@2a02:aa13:7240:2980:fc63:822e:7d74:772d)
2020-11-02 09:17:44 → flatmap joins (~flatmap@p200300dd370a47007ce3847efe0685c7.dip0.t-ipconnect.de)
2020-11-02 09:23:01 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds)
2020-11-02 09:23:12 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-11-02 09:23:12 → day joins (~Unknown@unaffiliated/day)
2020-11-02 09:26:47 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 09:27:11 → sam___ joins (~sam@228.175.185.81.rev.sfr.net)
2020-11-02 09:28:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-02 09:30:14 → kuribas joins (~user@ptr-25vy0i9b0d7gsf4mjtv.18120a2.ip6.access.telenet.be)
2020-11-02 09:31:33 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-02 09:33:06 × bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 256 seconds)
2020-11-02 09:33:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
←Prev  Next→
Page 1 .. 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 .. 5022

All times are in UTC.