Logs: freenode/#haskell
| 2021-05-13 07:00:25 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-05-13 07:01:05 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-13 07:03:32 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-13 07:03:46 | × | ram19890 quits (~ram@49.205.82.36) (Ping timeout: 240 seconds) |
| 2021-05-13 07:05:01 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-vnlzmngtivqzgqpc) (Quit: Connection closed for inactivity) |
| 2021-05-13 07:07:13 | <jackdk> | I think so, but it may be too wild for colleagues. I may do `data Variant1 (fs :: [Type -> Type]) a = Variant1 !Int Any` |
| 2021-05-13 07:07:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-13 07:07:46 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-05-13 07:11:31 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-13 07:13:35 | × | thunderrd quits (~thunderrd@183.182.115.120) (Remote host closed the connection) |
| 2021-05-13 07:14:13 | → | dorkside1 joins (~tdbgamer@208.190.197.222) |
| 2021-05-13 07:14:14 | × | bennofs_ quits (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-13 07:14:36 | → | bennofs_ joins (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) |
| 2021-05-13 07:14:47 | × | dorkside quits (~tdbgamer@208.190.197.222) (Read error: Connection reset by peer) |
| 2021-05-13 07:14:47 | dorkside1 | is now known as dorkside |
| 2021-05-13 07:19:34 | × | thomasjm quits (~thomasjm@c-76-103-226-2.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2021-05-13 07:20:58 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-13 07:22:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-13 07:22:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-13 07:24:13 | → | Meh joins (ca0e785e@202.14.120.94) |
| 2021-05-13 07:24:35 | Meh | is now known as Guest53521 |
| 2021-05-13 07:25:00 | × | Guest53521 quits (ca0e785e@202.14.120.94) (Client Quit) |
| 2021-05-13 07:25:32 | → | Nobita joins (ca0e785e@202.14.120.94) |
| 2021-05-13 07:26:30 | × | ozzymcduff quits (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-13 07:26:35 | × | Nobita quits (ca0e785e@202.14.120.94) (Client Quit) |
| 2021-05-13 07:26:41 | × | cgfbee quits (~bot@oc1.itim-cj.ro) (Ping timeout: 240 seconds) |
| 2021-05-13 07:26:44 | × | ulidtko|k quits (~ulidtko@194.54.80.38) (Ping timeout: 252 seconds) |
| 2021-05-13 07:27:03 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 2021-05-13 07:28:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 07:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-13 07:32:25 | → | CrazyPython joins (~crazypyth@206.214.238.6) |
| 2021-05-13 07:32:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-13 07:34:49 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-13 07:35:02 | → | cgfbee joins (~bot@oc1.itim-cj.ro) |
| 2021-05-13 07:35:13 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds) |
| 2021-05-13 07:38:24 | <ixlun> | Hi all, can anyone remeber the language extension that allows a record to be constructed in do-notation by binding variables with the same name as those in the object? |
| 2021-05-13 07:39:06 | <jackdk> | it doesn't require do-notation but you may be thinking of RecordWildCards |
| 2021-05-13 07:40:15 | × | hexo- quits (~hexo@2a01:430:17:1::ffff:328) (Ping timeout: 246 seconds) |
| 2021-05-13 07:40:20 | × | Adluc quits (~Adluc@2a01:430:17:1::ffff:328) (Ping timeout: 258 seconds) |
| 2021-05-13 07:42:05 | <ixlun> | Yeah, I think that's it. It means you don't have to write code like R { a = a, b = b, c = c } |
| 2021-05-13 07:42:55 | → | thomasjm joins (~thomasjm@c-76-103-226-2.hsd1.ca.comcast.net) |
| 2021-05-13 07:43:29 | <jackdk> | `let { a = ...; b = ...; c = ... } in R{..}` |
| 2021-05-13 07:43:54 | <jackdk> | I think it's NamedFieldPuns that lets you write `... in R{ a, b, c }` |
| 2021-05-13 07:44:03 | <jackdk> | which some people like better because it's explicit |
| 2021-05-13 07:45:12 | <ixlun> | I didn't know about NamedFieldPuns, I'll do some reading. Thanks! |
| 2021-05-13 07:46:19 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-05-13 07:52:25 | → | Adluc joins (~Adluc@83.167.228.130) |
| 2021-05-13 07:52:29 | <jackdk> | I gave up, I think I'm just going to use classy prisms instead for my colleagues' sanity, and because I can't make the typechecker accept instance (i ~ ElemIndex f fs, AsFoo (f a) b) => AsFoo (Variant1 fs a) b |
| 2021-05-13 07:56:44 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-13 07:57:33 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-13 07:57:59 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-05-13 07:58:24 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-13 07:58:39 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-05-13 07:59:05 | → | hexo_ joins (~hexo@2a01:430:17:1::ffff:328) |
| 2021-05-13 08:01:50 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-13 08:02:29 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-13 08:03:31 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-13 08:05:08 | × | qbshill quits (~ian@cpe9050cac7da83-cm9050cac7da80.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2021-05-13 08:05:37 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 268 seconds) |
| 2021-05-13 08:06:22 | × | isovector quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 252 seconds) |
| 2021-05-13 08:07:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-13 08:09:19 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-05-13 08:09:24 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-13 08:09:33 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-13 08:10:33 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-05-13 08:11:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-13 08:11:53 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-vjqtfwrecllquhqt) (Quit: Connection closed for inactivity) |
| 2021-05-13 08:12:02 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-13 08:13:45 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-13 08:15:06 | × | Guest47744 quits (~alexander@2a02:587:dc01:3b00:3556:2d31:d0c8:431a) (Remote host closed the connection) |
| 2021-05-13 08:18:41 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-13 08:18:43 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-13 08:18:57 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-13 08:24:02 | → | deejaetee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 2021-05-13 08:24:22 | → | garFF joins (~garff@0x3e2c86d9.mobile.telia.dk) |
| 2021-05-13 08:25:23 | → | fendor joins (~fendor@77.119.130.61.wireless.dyn.drei.com) |
| 2021-05-13 08:25:38 | → | kuribas joins (~user@ptr-25vy0i87sxakfqtxjgf.18120a2.ip6.access.telenet.be) |
| 2021-05-13 08:26:26 | <kuribas> | why is composition better? It is often assumed f = g . h is better than f x = g $ h x, but why is that? |
| 2021-05-13 08:26:26 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-13 08:27:11 | <Rembane> | I think it's prettier and fewer characters to type and read, but that's my very subjective and non-scientific take on composition vs. application. |
| 2021-05-13 08:27:26 | <kuribas> | It's nice in a HOF |
| 2021-05-13 08:27:51 | <kuribas> | I prefer (g . h) over (\x -> g (h x)), however for a declaration I am not convinced. |
| 2021-05-13 08:28:18 | <Rembane> | What's a HOF? |
| 2021-05-13 08:29:07 | → | shad0w_ joins (~shad0w@160.202.37.82) |
| 2021-05-13 08:29:12 | <Rembane> | I'm feeling way too clever when I do it in declarations which I suppose adds to you not feeling convinced. :) |
| 2021-05-13 08:29:14 | × | shad0w_ quits (~shad0w@160.202.37.82) (Remote host closed the connection) |
| 2021-05-13 08:29:25 | <kuribas> | higher order function |
| 2021-05-13 08:29:56 | <Rembane> | Got it. |
| 2021-05-13 08:30:26 | ← | deejaetee parts (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) ("Leaving") |
| 2021-05-13 08:32:48 | → | deejaytee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 2021-05-13 08:33:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-13 08:34:22 | → | kiweun joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-05-13 08:34:37 | × | sheepduck quits (~sheepduck@2607:fea8:2a62:9600::9ba6) (Ping timeout: 250 seconds) |
| 2021-05-13 08:35:41 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2021-05-13 08:36:20 | → | ddellacosta joins (~ddellacos@86.106.143.33) |
| 2021-05-13 08:36:54 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-13 08:40:50 | × | ddellacosta quits (~ddellacos@86.106.143.33) (Ping timeout: 246 seconds) |
| 2021-05-13 08:42:35 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-13 08:46:15 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 2021-05-13 08:47:39 | → | nut1 joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
All times are in UTC.