Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 .. 5022
— 502,152 events total
2020-11-07 12:41:31 <ski> it should be `(2 +) . (3 *)', or `\x -> 2 + 3 * x'
2020-11-07 12:42:25 <int-e> > (- 1 +) 2
2020-11-07 12:42:28 <lambdabot> 1
2020-11-07 12:43:11 <ski> i suppose one might call it a "MultiOperatorSection", maybe ?
2020-11-07 12:43:45 kish is now known as BidensCrackhead
2020-11-07 12:44:33 ← ironChicken parts (~richard@93.93.130.40) ("ERC Version 5.3 (IRC client for Emacs)")
2020-11-07 12:44:36 <ski> (although, perhaps that name would suggest that one could expect also `(2 + * 3)' to work, which is not what i really had in mind. just the situation, where the "hole", the missing/elided operand occurs either at the start, or at the end, of the tokens wrapped inside the brackets)
2020-11-07 12:44:37 <c_wraith> ski: By analogy to TupleSections... (+ *) === \x y z -> x + y * z ?
2020-11-07 12:44:47 × mastarija quits (~mastarija@93-136-96-12.adsl.net.t-com.hr) (Quit: Leaving)
2020-11-07 12:44:49 <ski> see above ^ :)
2020-11-07 12:45:02 <c_wraith> I mean, that is how TupleSections works
2020-11-07 12:45:27 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-07 12:45:44 <ski> (and no, not really in analogy to `TupleSections' (i'm not sure they existed, when i first wanted this ..), although i got them in mind, when i wrote the above clarification)
2020-11-07 12:45:52 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-07 12:46:20 <c_wraith> They've been around for like 10 years now... Which reminds me I've been using Haskell for longer than that. :)
2020-11-07 12:46:30 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-07 12:46:36 <ski> one could perhaps argue for something in analogy to `TupleSections', too, as an extension/generalization of what i was arguing for. but i didn't have that in mind
2020-11-07 12:46:48 <ski> heh :)
2020-11-07 12:49:22 <ski> if you think of an operator section as "leave out the leading, or trailing, operand", then one's easily lead to this generalization, where you, in terms of AST, have one operator nested inside the operand of another, but where the precedences are such that you don't need to wrap in brackets. and then one could easily want to also be able to "leave out" the leading/trailing operand, despite it being nested
2020-11-07 12:49:28 <ski> inside two (or more) operators, not just one
2020-11-07 12:50:42 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-07 12:51:27 <ski> @type (take 2 . drop 3 .) -- this is a particular case, which feels annoying, since `.' is an associative operator
2020-11-07 12:51:28 <lambdabot> error:
2020-11-07 12:51:28 <lambdabot> The operator ‘.’ [infixr 9] of a section
2020-11-07 12:51:28 <lambdabot> must have lower precedence than that of the operand,
2020-11-07 12:52:48 → Mitchell16 joins (70ce9c0d@112.206.156.13)
2020-11-07 12:54:15 Mitchell16 is now known as fortayy
2020-11-07 12:55:32 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-11-07 12:55:50 → mirrorbird joins (~psutcliff@176.227.54.4)
2020-11-07 12:55:55 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-07 12:56:26 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-07 13:00:05 × fortayy quits (70ce9c0d@112.206.156.13) (Remote host closed the connection)
2020-11-07 13:00:21 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-07 13:00:50 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-07 13:03:09 BidensCrackhead is now known as kish
2020-11-07 13:03:21 kish is now known as kish\
2020-11-07 13:04:10 → geekosaur joins (ac3a3edc@172.58.62.220)
2020-11-07 13:06:13 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-07 13:07:09 × amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
2020-11-07 13:08:09 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-07 13:08:30 hackage mmsyn6ukr 0.9.0.0 - A musical instrument synthesizer or a tool for Ukrainian language listening https://hackage.haskell.org/package/mmsyn6ukr-0.9.0.0 (OleksandrZhabenko)
2020-11-07 13:08:34 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-07 13:10:58 → amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com)
2020-11-07 13:11:30 → Deide joins (~Deide@217.155.19.23)
2020-11-07 13:18:20 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-07 13:19:33 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-07 13:24:18 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-07 13:27:46 → resolve joins (~resolve@184.75.223.227)
2020-11-07 13:28:14 × borne quits (~fritjof@200116b864092f009eed9778381c1dff.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2020-11-07 13:29:41 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-07 13:29:58 → luke joins (~luke@bitnomial/staff/luke)
2020-11-07 13:32:26 × resolve quits (~resolve@184.75.223.227) (Remote host closed the connection)
2020-11-07 13:33:47 → renzhi joins (~renzhi@2607:fa49:655f:e600::28da)
2020-11-07 13:34:13 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-07 13:34:27 → alp joins (~alp@2a01:e0a:58b:4920:2c9d:39b9:4980:b098)
2020-11-07 13:34:42 × Varis quits (~Tadas@unaffiliated/varis) (Quit: Leaving)
2020-11-07 13:36:35 → jedws joins (~jedws@101.184.150.81)
2020-11-07 13:37:26 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-07 13:38:16 × geekosaur quits (ac3a3edc@172.58.62.220) (Remote host closed the connection)
2020-11-07 13:44:17 × drbean quits (~drbean@TC210-63-209-187.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-11-07 13:44:51 → avdb joins (~avdb@ip-83-134-26-133.dsl.scarlet.be)
2020-11-07 13:48:30 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-07 13:48:52 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-11-07 13:48:54 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-07 13:51:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-07 13:51:34 × mmohammadi9812 quits (~mmohammad@5.238.175.25) (Quit: Quit)
2020-11-07 13:52:06 × knupfer quits (~Thunderbi@200116b82cc0b9000cfa0fa6825bda66.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-07 13:52:15 → knupfer joins (~Thunderbi@200116b82cc0b9002da38997f72b7245.dip.versatel-1u1.de)
2020-11-07 13:52:51 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-07 13:53:38 × grimgnr quits (~user@94.19.246.43) (Ping timeout: 272 seconds)
2020-11-07 13:55:33 → grimgnr joins (~user@94.19.246.43)
2020-11-07 13:57:21 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-07 13:58:42 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-11-07 14:00:28 × grimgnr quits (~user@94.19.246.43) (Ping timeout: 246 seconds)
2020-11-07 14:01:25 × gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 240 seconds)
2020-11-07 14:02:01 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-07 14:06:14 → grimgnr joins (~user@94.19.246.43)
2020-11-07 14:06:33 → systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2020-11-07 14:06:42 → daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-07 14:07:10 → gproto23 joins (~gproto23@unaffiliated/gproto23)
2020-11-07 14:07:59 × daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2020-11-07 14:08:12 × kish\ quits (~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-11-07 14:08:17 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-07 14:09:20 → kish joins (~oracle@unaffiliated/oracle)
2020-11-07 14:09:34 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-07 14:11:25 × systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-07 14:12:53 → pjb joins (~t@2a01cb04063ec50070ecdd787f2214a5.ipv6.abo.wanadoo.fr)
2020-11-07 14:14:33 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-07 14:16:10 × Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving)
2020-11-07 14:16:29 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-11-07 14:23:48 → texasmynsted joins (~texasmyns@64.44.55.84)
2020-11-07 14:24:04 × russruss84 quits (~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds))
2020-11-07 14:24:21 × rkvist quits (~user@138.197.72.132) (Quit: wait wut)
2020-11-07 14:25:18 × sarahzrf quits (~sarahzrf_@sarahzrf.com) (Ping timeout: 272 seconds)
2020-11-07 14:25:18 × ashnur quits (~rak@unaffiliated/ashnur) (Ping timeout: 272 seconds)
2020-11-07 14:25:39 → rkvist joins (~user@138.197.72.132)
2020-11-07 14:25:56 × Hijiri_ quits (~Hijiri@104.236.61.10) (Ping timeout: 272 seconds)
2020-11-07 14:26:13 → sarahzrf joins (~sarahzrf_@sarahzrf.com)
2020-11-07 14:26:36 → russruss84 joins (~russruss@my.russellmcc.com)
2020-11-07 14:27:16 → ashnur joins (~rak@ashnur.com)
←Prev  Next→
Page 1 .. 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 .. 5022

All times are in UTC.