Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 624 625 626 627 628 629 630 631 632 633 634 .. 5022
— 502,152 events total
2020-10-14 01:31:46 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 01:32:16 × minne quits (~minne@4e69b241.skybroadband.com) (Ping timeout: 272 seconds)
2020-10-14 01:33:01 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 01:40:59 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving)
2020-10-14 01:41:31 → Volt_ joins (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net)
2020-10-14 01:41:40 × spew quits (uid195861@gateway/web/irccloud.com/x-fetxtksdzgfjvjwb) (Quit: Connection closed for inactivity)
2020-10-14 01:42:44 × polyrain quits (~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 01:45:18 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 244 seconds)
2020-10-14 01:46:07 <dsal> A friend just sent me a web page that had some haskell code on it and it never occurred to me that you could infix constructors.
2020-10-14 01:46:19 <dsal> @let data XY = XY Int Int deriving Show
2020-10-14 01:46:21 <lambdabot> Defined.
2020-10-14 01:46:25 <dsal> > 1 `XY` 2
2020-10-14 01:46:27 <lambdabot> XY 1 2
2020-10-14 01:47:44 <monochrom> There is more.
2020-10-14 01:48:00 <monochrom> @let data MN = Int `MN` Int deriving Show
2020-10-14 01:48:02 <lambdabot> Defined.
2020-10-14 01:48:06 <monochrom> > MN 1 2
2020-10-14 01:48:08 <lambdabot> 1 `MN` 2
2020-10-14 01:48:34 <monochrom> The derived Show instance respects which syntax you used at "data" time. :)
2020-10-14 01:49:15 <monochrom> This also applies to "data C = Double :+ Double" vs "data C = (:+) Double Double"
2020-10-14 01:49:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 01:50:38 → ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-10-14 01:50:38 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-14 01:50:46 <monochrom> If you also derive Generic, the meta information about the constructor also tells you prefix vs infix according to which syntax you used in the "data" line.
2020-10-14 01:51:21 <monochrom> (So that for example you can perfecting duplicate the behaviour of "deriving Show".)
2020-10-14 01:51:29 <monochrom> s/perfecting/perfectly/
2020-10-14 01:53:08 → afb joins (~afb@84.39.117.57)
2020-10-14 01:53:48 <dsal> Oh wow.
2020-10-14 01:53:58 → conal joins (~conal@64.71.133.70)
2020-10-14 01:54:07 <dsal> It's the little things.
2020-10-14 01:54:57 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-14 01:55:23 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-14 01:58:57 × Tops2 quits (~Tobias@dyndsl-095-033-027-027.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-14 02:00:25 × Wuzzy quits (~Wuzzy@p549c9d2d.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-14 02:01:12 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 02:06:21 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 02:09:18 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-14 02:09:31 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 02:11:49 → drbean joins (~drbean@TC210-63-209-18.static.apol.com.tw)
2020-10-14 02:13:16 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (beckett.freenode.net (Nickname regained by services)))
2020-10-14 02:13:22 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-14 02:15:30 → Habib_ joins (~Habib@178.239.161.88)
2020-10-14 02:15:43 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-14 02:17:06 → sdx32 joins (~sdx23@unaffiliated/sdx23)
2020-10-14 02:17:38 → davve_ joins (davve@bsd.douchedata.com)
2020-10-14 02:17:53 × lucasb quits (uid333435@gateway/web/irccloud.com/x-rbuougcnirltldfu) (Quit: Connection closed for inactivity)
2020-10-14 02:18:15 × sdx23 quits (~sdx23@unaffiliated/sdx23) (Ping timeout: 258 seconds)
2020-10-14 02:18:36 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-10-14 02:18:38 × dredozubov quits (~dredozubo@37.139.21.214) (Ping timeout: 258 seconds)
2020-10-14 02:18:38 × Firedancer_ quits (~Firedance@neurogoo.xyz) (Ping timeout: 258 seconds)
2020-10-14 02:19:23 → Firedancer_ joins (~Firedance@178.62.203.79)
2020-10-14 02:19:47 × davve quits (~davve@bsd.douchedata.com) (Ping timeout: 258 seconds)
2020-10-14 02:20:17 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-14 02:20:38 → dredozubov joins (~dredozubo@37.139.21.214)
2020-10-14 02:21:02 × drbean quits (~drbean@TC210-63-209-18.static.apol.com.tw) (Ping timeout: 272 seconds)
2020-10-14 02:21:39 → polyrain joins (~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633)
2020-10-14 02:23:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-14 02:24:55 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-14 02:25:55 × theDon quits (~td@muedsl-82-207-238-211.citykom.de) (Ping timeout: 258 seconds)
2020-10-14 02:26:44 → sword865 joins (uid208942@gateway/web/irccloud.com/x-okowxzgjpdhrbclc)
2020-10-14 02:26:49 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-14 02:27:36 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-14 02:27:48 → theDon joins (~td@94.134.91.134)
2020-10-14 02:31:41 × ericsagnes quits (~ericsagne@2405:6580:0:5100:1948:2999:73dd:7c01) (Ping timeout: 272 seconds)
2020-10-14 02:32:37 → reallymemorable joins (~quassel@ip68-9-215-56.ri.ri.cox.net)
2020-10-14 02:33:20 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-14 02:34:17 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 02:36:00 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-14 02:36:07 no-n is now known as pony
2020-10-14 02:39:51 × electricityZZZZ quits (~electrici@108.216.157.17) (Remote host closed the connection)
2020-10-14 02:40:10 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-10-14 02:41:57 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 02:43:41 → ericsagnes joins (~ericsagne@2405:6580:0:5100:685a:f875:708d:3e)
2020-10-14 02:44:54 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-14 02:48:16 × Buntspecht quits (~user@unaffiliated/siracusa) (Ping timeout: 272 seconds)
2020-10-14 02:48:37 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-14 02:50:19 → perdent joins (~blah@101.175.147.239)
2020-10-14 02:51:09 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-14 02:51:28 × perdent quits (~blah@101.175.147.239) (Excess Flood)
2020-10-14 02:51:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 02:52:26 → perdent joins (~blah@101.175.147.239)
2020-10-14 02:56:47 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2020-10-14 02:56:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-14 02:57:31 × taurux quits (~taurux@net-93-151-195-211.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2020-10-14 02:58:42 → taurux joins (~taurux@net-93-146-46-96.cust.vodafonedsl.it)
2020-10-14 03:00:01 × afb quits (~afb@84.39.117.57) ()
2020-10-14 03:00:03 × perdent quits (~blah@101.175.147.239) (Ping timeout: 260 seconds)
2020-10-14 03:02:47 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-14 03:02:55 × jlv quits (jlvjustinl@gateway/shell/matrix.org/x-kssklhfqxoumhtye) (Ping timeout: 240 seconds)
2020-10-14 03:03:02 → jlv joins (jlvjustinl@gateway/shell/matrix.org/x-iwakkkxhzkvqgocd)
2020-10-14 03:03:29 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 258 seconds)
2020-10-14 03:05:09 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-14 03:05:14 ← Habib_ parts (~Habib@178.239.161.88) ()
2020-10-14 03:06:55 × davetapley quits (sid666@gateway/web/irccloud.com/x-cretwjqzdceozsvl) (Ping timeout: 240 seconds)
2020-10-14 03:07:17 → davetapley joins (sid666@gateway/web/irccloud.com/x-jnosdhgzusdwtedt)
2020-10-14 03:08:13 → dolio joins (~dolio@haskell/developer/dolio)
2020-10-14 03:09:36 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-14 03:09:37 → perdent joins (~blah@101.175.86.169)
2020-10-14 03:09:41 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 03:15:04 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
←Prev  Next→
Page 1 .. 624 625 626 627 628 629 630 631 632 633 634 .. 5022

All times are in UTC.