Logs: freenode/#haskell
| 2020-11-07 10:41:37 | × | scasc quits (~szabi@213142096120.public.telering.at) (Ping timeout: 264 seconds) |
| 2020-11-07 10:42:52 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-07 10:48:00 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 10:53:18 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-07 10:53:56 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 2020-11-07 10:54:09 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-11-07 10:58:41 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-07 10:59:01 | × | laxask quits (~lax@unaffiliated/laxask) (Ping timeout: 264 seconds) |
| 2020-11-07 11:04:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-07 11:08:52 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 2020-11-07 11:10:13 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-07 11:10:20 | → | kish joins (~oracle@unaffiliated/oracle) |
| 2020-11-07 11:10:38 | × | mimi_vx quits (~mimi@tulipan.habr.nat.praha12.net) (Remote host closed the connection) |
| 2020-11-07 11:12:14 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-11-07 11:13:42 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection) |
| 2020-11-07 11:14:04 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-11-07 11:15:11 | × | alp quits (~alp@2a01:e0a:58b:4920:a483:805:42d9:dd26) (Ping timeout: 246 seconds) |
| 2020-11-07 11:21:01 | → | scasc joins (~szabi@213142096120.public.telering.at) |
| 2020-11-07 11:23:08 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2020-11-07 11:28:25 | × | efertone quits (~efertone@138.68.79.27) (Quit: The Lounge @ Code-Infection) |
| 2020-11-07 11:28:37 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 268 seconds) |
| 2020-11-07 11:28:48 | × | avdb quits (~avdb@ip-62-235-73-186.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-11-07 11:29:01 | × | scasc quits (~szabi@213142096120.public.telering.at) (Ping timeout: 264 seconds) |
| 2020-11-07 11:30:03 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 258 seconds) |
| 2020-11-07 11:30:16 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-07 11:32:12 | → | acidjnk_new2 joins (~acidjnk@p200300d0c718f691fdd3038ca44bce6e.dip0.t-ipconnect.de) |
| 2020-11-07 11:34:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-07 11:35:01 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 264 seconds) |
| 2020-11-07 11:35:19 | × | sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine) |
| 2020-11-07 11:39:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2020-11-07 11:40:53 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-07 11:41:14 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-11-07 11:43:28 | × | mmohammadi9812 quits (~mmohammad@5.115.198.108) (Ping timeout: 260 seconds) |
| 2020-11-07 11:44:33 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 2020-11-07 11:45:39 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-07 11:50:19 | × | carlomagno quits (~cararell@148.87.23.10) (Remote host closed the connection) |
| 2020-11-07 11:50:54 | × | knupfer quits (~Thunderbi@200116b82cc0b9002da38997f72b7245.dip.versatel-1u1.de) (Quit: knupfer) |
| 2020-11-07 11:51:04 | → | knupfer joins (~Thunderbi@200116b82cc0b9000cfa0fa6825bda66.dip.versatel-1u1.de) |
| 2020-11-07 11:52:14 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-07 11:56:50 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-07 11:57:02 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2020-11-07 12:00:01 | × | WiQert quits (~WiQert@s91904426.blix.com) () |
| 2020-11-07 12:01:51 | × | bitmagie quits (~Thunderbi@200116b806135000d9e566969198c00f.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-07 12:02:02 | → | LKoen_ joins (~LKoen@53.253.88.92.rev.sfr.net) |
| 2020-11-07 12:02:14 | × | LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Ping timeout: 265 seconds) |
| 2020-11-07 12:06:33 | → | tankf33der joins (uid238517@gateway/web/irccloud.com/x-baozkdhqqmbjkjgd) |
| 2020-11-07 12:07:11 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-07 12:11:14 | → | carlomagno joins (~cararell@148.87.23.11) |
| 2020-11-07 12:15:55 | → | Ariakenom joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) |
| 2020-11-07 12:17:35 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 258 seconds) |
| 2020-11-07 12:18:33 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-07 12:18:34 | → | fendor_ joins (~fendor@178.165.131.130.wireless.dyn.drei.com) |
| 2020-11-07 12:19:48 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 12:21:03 | × | fendor quits (~fendor@77.119.129.239.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2020-11-07 12:23:33 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2020-11-07 12:23:47 | → | JuanMiguel joins (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) |
| 2020-11-07 12:24:56 | → | mastarija joins (~mastarija@93-136-96-12.adsl.net.t-com.hr) |
| 2020-11-07 12:24:57 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-11-07 12:24:57 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-07 12:25:49 | → | ironChicken joins (~richard@93.93.130.40) |
| 2020-11-07 12:28:35 | <ironChicken> | i'm copying the wx bouncing balls example from <https://wiki.haskell.org/WxHaskell/Quick_start>. there's one very small thing i don't understand. in the expression `varUpdate vballs (bouncing pt:)`, what does that trailing colon do? i assume it's the cons function. so is it being partially applied maybe? |
| 2020-11-07 12:29:07 | ← | tankf33der parts (uid238517@gateway/web/irccloud.com/x-baozkdhqqmbjkjgd) () |
| 2020-11-07 12:29:56 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 12:29:58 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-07 12:30:24 | <c_wraith> | ironChicken: that's exactly correct |
| 2020-11-07 12:30:36 | <c_wraith> | ironChicken: it's known as a section, and all operators support them |
| 2020-11-07 12:30:53 | <int-e> | > (1:) [2,3] |
| 2020-11-07 12:30:55 | <lambdabot> | [1,2,3] |
| 2020-11-07 12:31:03 | × | JuanMiguel quits (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) (Quit: This computer has gone to sleep) |
| 2020-11-07 12:31:07 | <c_wraith> | (with the ugly exception of subtraction in one case) |
| 2020-11-07 12:31:13 | <int-e> | recall that [1,2,3] is 1:(2:(3:[])) |
| 2020-11-07 12:31:16 | <mastarija> | but in this case it seems like an error |
| 2020-11-07 12:31:50 | <mastarija> | something is missing, bouncing takes in a point, not a function |
| 2020-11-07 12:31:51 | → | borne joins (~fritjof@200116b864092f009eed9778381c1dff.dip.versatel-1u1.de) |
| 2020-11-07 12:31:57 | <ironChicken> | c_wraith: ah yes, i see. that makes sense |
| 2020-11-07 12:32:06 | <__monty__> | mastarija: Bouncing gets a point. |
| 2020-11-07 12:32:20 | <mastarija> | it gets (pt:) |
| 2020-11-07 12:32:21 | <__monty__> | mastarija: The result of `bouncing pt` is the first argument to (:). |
| 2020-11-07 12:32:37 | <mastarija> | ah, you are right |
| 2020-11-07 12:32:42 | <mastarija> | it was weirdly formatted |
| 2020-11-07 12:32:43 | <c_wraith> | mastarija: function application has higher precedence than any binary operator |
| 2020-11-07 12:35:00 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-07 12:35:04 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-11-07 12:36:21 | → | drbean joins (~drbean@TC210-63-209-187.static.apol.com.tw) |
| 2020-11-07 12:36:27 | <c_wraith> | hmm. here's a thought. Now that there's -XNegativeLiterals, is it worth having an extension to remove prefix - as an operator? |
| 2020-11-07 12:37:05 | <c_wraith> | I'd happily use negate to not have to worry about special rules about - as a section |
| 2020-11-07 12:37:11 | <__monty__> | Would that entail distinguishing (- 1) and (-1)? |
| 2020-11-07 12:37:25 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 264 seconds) |
| 2020-11-07 12:38:08 | <c_wraith> | yes, but -XNegativeLiterals already makes (1 + -1) parse differently than (1 + - 1) |
| 2020-11-07 12:38:10 | <ironChicken> | i've just re-written it as `varUpdate vballs (\ps -> (bouncing pt) : ps)` which makes it clearer, to me at least |
| 2020-11-07 12:39:17 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-07 12:39:26 | <__monty__> | ironChicken: Parens are rarely a bad idea. |
| 2020-11-07 12:39:31 | <ski> | ironChicken : function application binds tighter than any (normal) operator. that's why you don't have to write `(foo x) + 2 * (bar x y)', you can just write `foo x + 2 * bar x y' |
| 2020-11-07 12:40:20 | <__monty__> | c_wraith: Ah, so just make right-side sections using (-) an error? |
| 2020-11-07 12:40:28 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-07 12:40:48 | <ski> | @type (2 + 3 *) -- i'd like this to not be an error |
| 2020-11-07 12:40:50 | <lambdabot> | error: |
| 2020-11-07 12:40:50 | <lambdabot> | The operator ‘*’ [infixl 7] of a section |
| 2020-11-07 12:40:50 | <lambdabot> | must have lower precedence than that of the operand, |
| 2020-11-07 12:41:31 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.