Logs: freenode/#haskell
| 2021-05-12 22:39:11 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-12 22:39:20 | <ski> | instead of doing this, we could allow `subpattern0',.. to be arbitrary *expressions* (using variables bound by the definiens / body pattern). then `pattern case psyn param0 ... subpattern0 ... of <body pattern> -> <additional bindings for subpatterns>' reduces to `pattern psyn param0 ... subpattern0 ... = <body pattern>' |
| 2021-05-12 22:40:26 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-12 22:42:04 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-05-12 22:42:21 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-12 22:42:55 | <ski> | this should explain the alternate definition of view patterns (in terms of this imagined generalized pattern synonyms definition syntax), from `pattern case f -> b of a -> b = a', to `pattern f -> f a = a'. e.g. if you want to match the pattern `last -> x' with a list `xs', this amounts to binding `x' to `last x', since then the pattern is `last -> last xs', which by definition is equal to `xs', which |
| 2021-05-12 22:43:01 | <ski> | trivially matches the `xs' input scrutinee |
| 2021-05-12 22:44:54 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-12 22:48:46 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds) |
| 2021-05-12 22:49:34 | × | xaxaxixax quits (4c0eef26@76-14-239-38.or.wavecable.com) (Quit: Connection closed) |
| 2021-05-12 22:49:39 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-12 22:50:03 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40:f4d0:64dc:32c0:7b34) (Ping timeout: 260 seconds) |
| 2021-05-12 22:51:01 | <ski> | (i guess `f ->' formally looks like it was a post-inverse to `f', like if the pattern was ⌜last⁻¹ x⌝ rather than `last -> x'. but it's not like ⌜last⁻¹⌝ is actually a retraction of ⌜last⌝. if ⌜last⁻¹⌝ would (e.g.) generate a singleton list, it would in fact be a section of ⌜last⌝ (you can imagine that `xs' is a `NonEmpty a' rather than a `[a]', to avoid the unrelated issue of |
| 2021-05-12 22:51:07 | <ski> | `last' being partial). but it rather appears like ⌜last⁻¹⌝ is *copartial*, iow ⌜last⁻¹ x⌝ doesn't stand for any specific list with ⌜x⌝ as last element, but rather ambiguously stands for them all (matches with all of them)) |
| 2021-05-12 22:51:54 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 2021-05-12 22:52:10 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-12 22:53:24 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-12 22:53:53 | × | Kneiva_ quits (kneiva@raah.fi) (Ping timeout: 246 seconds) |
| 2021-05-12 22:54:00 | → | Kneiva joins (kneiva@raah.fi) |
| 2021-05-12 22:54:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-12 22:56:21 | → | Alleria joins (~textual@2603-7000-3040-0000-c4a1-9300-65ca-16c5.res6.spectrum.com) |
| 2021-05-12 22:56:22 | × | alx741 quits (~alx741@186.178.109.110) (Ping timeout: 252 seconds) |
| 2021-05-12 22:56:45 | Alleria | is now known as Guest88435 |
| 2021-05-12 22:58:16 | <ski> | Iceland_jack,deejaytee : works now, ty |
| 2021-05-12 22:59:07 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 252 seconds) |
| 2021-05-12 23:00:46 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-05-12 23:03:52 | × | ddellac__ quits (~ddellacos@86.106.143.137) (Ping timeout: 240 seconds) |
| 2021-05-12 23:08:54 | → | alx741 joins (~alx741@181.196.68.14) |
| 2021-05-12 23:12:26 | × | Kneiva quits (kneiva@raah.fi) (Ping timeout: 240 seconds) |
| 2021-05-12 23:12:33 | → | Kneiva joins (kneiva@raah.fi) |
| 2021-05-12 23:16:59 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-12 23:17:17 | × | xcmw quits (~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-12 23:17:21 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-12 23:20:15 | → | xcmw joins (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) |
| 2021-05-12 23:20:15 | × | dariof4 quits (~dario@178.249.202.150) (Quit: WeeChat 3.1) |
| 2021-05-12 23:21:23 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-05-12 23:22:26 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-12 23:26:34 | × | Kneiva quits (kneiva@raah.fi) (Ping timeout: 265 seconds) |
| 2021-05-12 23:26:40 | → | Kneiva joins (kneiva@raah.fi) |
| 2021-05-12 23:30:19 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-12 23:31:01 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-12 23:33:14 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-05-12 23:34:01 | × | nerdypepper quits (znc@152.67.162.71) (Ping timeout: 260 seconds) |
| 2021-05-12 23:34:18 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-12 23:37:01 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-12 23:38:27 | × | garFF quits (~garff@0x3e2c86d9.mobile.telia.dk) (Read error: Connection reset by peer) |
| 2021-05-12 23:38:38 | × | corvusdev quits (~corvusdev@50.212.103.45) (Ping timeout: 260 seconds) |
| 2021-05-12 23:40:36 | × | rj quits (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 2021-05-12 23:41:37 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-12 23:45:11 | × | xcmw quits (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-12 23:49:21 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-12 23:50:17 | → | nerdypepper joins (znc@152.67.162.71) |
| 2021-05-12 23:52:29 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2021-05-12 23:54:09 | → | EvilMagix joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-12 23:55:20 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-12 23:56:26 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-05-12 23:56:33 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-12 23:56:50 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-176.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2021-05-12 23:57:23 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-05-12 23:58:21 | → | xcmw joins (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) |
| 2021-05-13 00:00:05 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-13 00:01:00 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-13 00:01:16 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-13 00:05:07 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-13 00:06:00 | → | cyclosa joins (~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com) |
| 2021-05-13 00:08:05 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2021-05-13 00:14:01 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 00:17:01 | → | bennofs_ joins (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) |
| 2021-05-13 00:17:41 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-13 00:18:49 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-13 00:18:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-13 00:21:11 | × | bennofs__ quits (~quassel@dynamic-077-011-002-207.77.11.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2021-05-13 00:27:13 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-172.dsl.bell.ca) |
| 2021-05-13 00:28:34 | × | xcmw quits (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-13 00:34:01 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 00:34:06 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-yluktxymatxbguna) (Quit: Connection closed for inactivity) |
| 2021-05-13 00:35:30 | → | xcmw joins (~textual@2603-6011-2200-f103-e9cf-0f11-7f01-6470.res6.spectrum.com) |
| 2021-05-13 00:38:40 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-13 00:39:02 | × | Cajun quits (62a3d370@ip98-163-211-112.no.no.cox.net) (Quit: Connection closed) |
| 2021-05-13 00:41:24 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-aelfljififmrzyjq) |
| 2021-05-13 00:41:36 | → | ryanbooker joins (uid4340@gateway/web/irccloud.com/x-ipaioypvtkpwqeps) |
| 2021-05-13 00:45:26 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-05-13 00:45:53 | → | falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-13 00:48:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-13 00:49:31 | → | ddellacosta joins (~ddellacos@86.106.143.215) |
| 2021-05-13 00:50:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-13 00:52:51 | → | dedz joins (~ubuntu@unaffiliated/dedz) |
| 2021-05-13 00:53:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-13 00:54:11 | × | ddellacosta quits (~ddellacos@86.106.143.215) (Ping timeout: 240 seconds) |
| 2021-05-13 00:54:54 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-13 00:55:38 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-13 00:57:55 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 2021-05-13 01:05:46 | → | isovector joins (~isovector@172.103.216.166) |
| 2021-05-13 01:09:01 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 2021-05-13 01:10:10 | × | isovector quits (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 2021-05-13 01:11:21 | → | nighmi joins (~felix@port-92-196-83-28.dynamic.as20676.net) |
| 2021-05-13 01:12:54 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-13 01:13:14 | × | bennofs_ quits (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-13 01:13:30 | → | bennofs_ joins (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) |
| 2021-05-13 01:14:01 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
All times are in UTC.