Logs: freenode/#haskell
| 2021-03-20 07:38:34 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-20 07:42:21 | → | shad0w_ joins (a0ca254d@160.202.37.77) |
| 2021-03-20 07:42:22 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-20 07:42:39 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-20 07:43:14 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 264 seconds) |
| 2021-03-20 07:43:23 | <siraben> | molehillish: what would you expect from that expression? |
| 2021-03-20 07:43:32 | <siraben> | > "abc" ++ take 3 "def" |
| 2021-03-20 07:43:34 | <lambdabot> | "abcdef" |
| 2021-03-20 07:43:45 | <siraben> | it may help to parenthesize it like "abc" ++ (take 3 "def") |
| 2021-03-20 07:44:06 | ← | shad0w_ parts (a0ca254d@160.202.37.77) () |
| 2021-03-20 07:44:15 | → | shad0w_ joins (a0ca254d@160.202.37.77) |
| 2021-03-20 07:44:53 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Disconnected: Replaced by new connection") |
| 2021-03-20 07:47:52 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 265 seconds) |
| 2021-03-20 07:48:52 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-ytqtvgeezlfvcafx) (Quit: Connection closed for inactivity) |
| 2021-03-20 07:49:15 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-20 07:51:12 | → | kenran joins (~kenran@mue-88-130-62-114.dsl.tropolys.de) |
| 2021-03-20 07:51:15 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-03-20 07:53:12 | → | asheshambasta joins (~user@ptr-e1lysavgnbua1sgfzeu.18120a2.ip6.access.telenet.be) |
| 2021-03-20 07:57:29 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds) |
| 2021-03-20 07:59:00 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-03-20 07:59:08 | × | shad0w_ quits (a0ca254d@160.202.37.77) (Quit: Connection closed) |
| 2021-03-20 08:03:10 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds) |
| 2021-03-20 08:03:15 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
| 2021-03-20 08:03:51 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
| 2021-03-20 08:05:42 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
| 2021-03-20 08:05:58 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 2021-03-20 08:08:17 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-20 08:10:26 | × | abuss_ quits (~abuss@cryptarch.net) (Ping timeout: 240 seconds) |
| 2021-03-20 08:10:28 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection) |
| 2021-03-20 08:10:41 | × | lawid_ quits (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-03-20 08:11:03 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
| 2021-03-20 08:12:39 | × | gareth__ quits (~gareth__@104.236.161.134) (Ping timeout: 240 seconds) |
| 2021-03-20 08:12:39 | × | bobbytables quits (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-03-20 08:12:45 | → | bobbytab1es joins (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) |
| 2021-03-20 08:13:04 | → | abuss joins (~abuss@cryptarch.net) |
| 2021-03-20 08:13:26 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
| 2021-03-20 08:14:13 | × | integral quits (sid296274@p3m/member/integral) (Ping timeout: 240 seconds) |
| 2021-03-20 08:14:39 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-03-20 08:14:55 | → | jol_ joins (jol@jol.dev) |
| 2021-03-20 08:15:07 | × | tekmaster quits (~tekacs@178.79.131.8) (Ping timeout: 240 seconds) |
| 2021-03-20 08:15:07 | × | jol quits (~jol@jol.dev) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-03-20 08:15:08 | × | ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 265 seconds) |
| 2021-03-20 08:15:12 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-20 08:15:38 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 264 seconds) |
| 2021-03-20 08:15:52 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-20 08:16:23 | → | coot joins (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-20 08:16:26 | → | integral joins (sid296274@gateway/web/irccloud.com/session) |
| 2021-03-20 08:16:26 | × | integral quits (sid296274@gateway/web/irccloud.com/session) (Changing host) |
| 2021-03-20 08:16:26 | → | integral joins (sid296274@gateway/web/irccloud.com/x-imgmarzojofpmwbj) |
| 2021-03-20 08:16:26 | × | integral quits (sid296274@gateway/web/irccloud.com/x-imgmarzojofpmwbj) (Changing host) |
| 2021-03-20 08:16:26 | → | integral joins (sid296274@p3m/member/integral) |
| 2021-03-20 08:17:23 | → | gareth__ joins (~gareth__@104.236.161.134) |
| 2021-03-20 08:17:36 | → | mcfilib_ joins (sid302703@gateway/web/irccloud.com/x-uxkxuntlbcnjxsic) |
| 2021-03-20 08:18:04 | → | enicar joins (~enikar@2001:41d0:2:8673::42) |
| 2021-03-20 08:18:38 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-03-20 08:19:12 | → | tekacs joins (~tekacs@178.79.131.8) |
| 2021-03-20 08:19:29 | <jacks2> | hi |
| 2021-03-20 08:19:36 | × | toorevitimirp quits (~tooreviti@117.182.183.55) (Remote host closed the connection) |
| 2021-03-20 08:19:40 | <jacks2> | what's the name of that new record extension that will be part of new GHC? |
| 2021-03-20 08:19:52 | <tomsmeding> | RecordDotSyntax? |
| 2021-03-20 08:20:06 | → | Nascha_ joins (sid212230@gateway/web/irccloud.com/x-bqsppvgkfvtrukbl) |
| 2021-03-20 08:20:26 | → | stylewarning_ joins (stylewarni@gateway/web/irccloud.com/x-ibmzwujeqevmowyn) |
| 2021-03-20 08:20:54 | × | ixian quits (~mgold@terra.bitplane.org) (Remote host closed the connection) |
| 2021-03-20 08:21:14 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-03-20 08:23:12 | × | enikar quits (~enikar@2001:41d0:2:8673::42) (Ping timeout: 240 seconds) |
| 2021-03-20 08:23:12 | × | mcfilib quits (sid302703@gateway/web/irccloud.com/x-ownjkwkezqcygkve) (Ping timeout: 240 seconds) |
| 2021-03-20 08:23:12 | × | stylewarning quits (stylewarni@gateway/web/irccloud.com/x-gonmnbqftdyxklpu) (Ping timeout: 240 seconds) |
| 2021-03-20 08:23:12 | × | Nascha quits (sid212230@gateway/web/irccloud.com/x-qczetniwqeazgilv) (Ping timeout: 240 seconds) |
| 2021-03-20 08:23:12 | × | meff[m] quits (meffsunado@gateway/shell/matrix.org/x-rwpksxtqvpkndqzd) (Ping timeout: 240 seconds) |
| 2021-03-20 08:23:12 | → | meff[m] joins (meffsunado@gateway/shell/matrix.org/session) |
| 2021-03-20 08:23:12 | × | meff[m] quits (meffsunado@gateway/shell/matrix.org/session) (Changing host) |
| 2021-03-20 08:23:12 | → | meff[m] joins (meffsunado@gateway/shell/matrix.org/x-txsqavrnddjxiriw) |
| 2021-03-20 08:23:13 | mcfilib_ | is now known as mcfilib |
| 2021-03-20 08:23:13 | Nascha_ | is now known as Nascha |
| 2021-03-20 08:23:13 | stylewarning_ | is now known as stylewarning |
| 2021-03-20 08:24:15 | <jacks2> | tomsmeding, is that the one? not sure if you're asking me, or answering |
| 2021-03-20 08:24:24 | <jacks2> | many were proposed in the past |
| 2021-03-20 08:24:49 | <tomsmeding> | jacks2: what does it do, extension are you looking for? :p |
| 2021-03-20 08:25:57 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-20 08:25:58 | <jacks2> | makes it easier to access and update records, reducing the need for lens library |
| 2021-03-20 08:26:18 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-20 08:26:49 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:1cc6:51f6:aeab:c401) |
| 2021-03-20 08:26:55 | <tomsmeding> | jacks2: not sure if it eases _updating_ records, but accessing records can be done using 'r.x' syntax with RecordDotSyntax, instead of the usual 'x r' |
| 2021-03-20 08:26:57 | <jacks2> | IIRC it also handles multiple types that share the same field name |
| 2021-03-20 08:27:16 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-20 08:27:30 | <tomsmeding> | you can disable generation of selector functions using NoFieldSelectors |
| 2021-03-20 08:27:42 | <tomsmeding> | using those together indeed makes it possible to have different records with the same field name |
| 2021-03-20 08:27:55 | <jacks2> | it provides no functionality when it comes to updating nested records? |
| 2021-03-20 08:28:09 | <tomsmeding> | I _believe_ so, but check the docs |
| 2021-03-20 08:29:20 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds) |
| 2021-03-20 08:29:39 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-20 08:31:33 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-20 08:31:50 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1cc6:51f6:aeab:c401) (Ping timeout: 264 seconds) |
| 2021-03-20 08:32:55 | <jacks2> | yeah, it has nested update syntax |
| 2021-03-20 08:32:59 | <jacks2> | setYearTaken c y = c{taken.year = y} -- nested update |
| 2021-03-20 08:34:45 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-iunpzsswtdnvqtlp) (Quit: Connection closed for inactivity) |
| 2021-03-20 08:35:04 | → | wonko7 joins (~wonko7@45.15.17.60) |
| 2021-03-20 08:36:54 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-20 08:37:22 | → | rotty joins (rotty@ghost.xx.vu) |
| 2021-03-20 08:40:55 | → | kderme joins (4fa6552d@ppp079166085045.access.hol.gr) |
All times are in UTC.