Logs: freenode/#haskell
| 2021-03-29 21:19:45 | <sparsity> | ) |
| 2021-03-29 21:21:17 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-29 21:21:48 | ← | arturh parts (~arturh@93.176.180.48) () |
| 2021-03-29 21:22:46 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-03-29 21:23:46 | × | kenran quits (~kenran@i59F67B6E.versanet.de) (Quit: leaving) |
| 2021-03-29 21:23:57 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95739d8477eb9e4283c0.dip0.t-ipconnect.de) |
| 2021-03-29 21:24:32 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 2021-03-29 21:26:38 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-03-29 21:26:58 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-03-29 21:27:06 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-29 21:27:33 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer) |
| 2021-03-29 21:27:51 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-03-29 21:28:15 | × | Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-29 21:28:35 | × | Guest23256 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-29 21:28:48 | → | dpl__ joins (~dpl@77.121.78.163) |
| 2021-03-29 21:28:48 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-03-29 21:28:48 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-03-29 21:30:17 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) |
| 2021-03-29 21:32:11 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-29 21:32:38 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-29 21:33:04 | <statusbot> | Status update: Hackage storage update complete -- back up and running. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/606200df2a84ed05341dcbf1 |
| 2021-03-29 21:33:35 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 2021-03-29 21:34:34 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) (Ping timeout: 245 seconds) |
| 2021-03-29 21:34:46 | → | Sorna joins (~Sornaensi@185.217.117.121) |
| 2021-03-29 21:35:09 | × | dpl__ quits (~dpl@77.121.78.163) (Quit: dpl__) |
| 2021-03-29 21:35:47 | → | fendor_ joins (~fendor@91.141.2.121.wireless.dyn.drei.com) |
| 2021-03-29 21:36:01 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-29 21:37:08 | × | Sornaensis quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 252 seconds) |
| 2021-03-29 21:38:02 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-03-29 21:38:03 | → | borne joins (~fritjof@200116b864978000f7ed9fd86a2491f0.dip.versatel-1u1.de) |
| 2021-03-29 21:38:06 | × | fendor quits (~fendor@77.119.130.24.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-03-29 21:38:39 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-03-29 21:39:06 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-29 21:40:03 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-03-29 21:40:49 | <mpickering> | lyxia: Thanks, I am playing with the idea of a build system built on free profunctors |
| 2021-03-29 21:45:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-29 21:46:07 | × | dpl_ quits (~dpl@77.121.78.163) (Read error: Connection reset by peer) |
| 2021-03-29 21:46:20 | → | Wuzzy joins (~Wuzzy@p5790e118.dip0.t-ipconnect.de) |
| 2021-03-29 21:47:03 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-29 21:50:23 | <sparsity> | i thought free things only could have functors in |
| 2021-03-29 21:50:32 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-ufrrxovbropqrvyy) |
| 2021-03-29 21:50:33 | <sparsity> | or something |
| 2021-03-29 21:50:44 | <sparsity> | free monads for less |
| 2021-03-29 21:50:55 | <sparsity> | i see no profunctors |
| 2021-03-29 21:51:35 | → | Alleria joins (~textual@2603-7000-3040-0000-29c5-30e3-fcb5-0c65.res6.spectrum.com) |
| 2021-03-29 21:51:54 | <sparsity> | its probably quite technical... |
| 2021-03-29 21:51:58 | Alleria | is now known as Guest5519 |
| 2021-03-29 21:52:19 | × | fendor_ quits (~fendor@91.141.2.121.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-29 21:54:49 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-29 21:55:46 | × | Guest5519 quits (~textual@2603-7000-3040-0000-29c5-30e3-fcb5-0c65.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-03-29 21:57:57 | → | usr25 joins (~J@121.red-88-0-140.dynamicip.rima-tde.net) |
| 2021-03-29 21:58:00 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-29 22:05:45 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-03-29 22:06:15 | <ski> | sparsity : "could have functors in" ? |
| 2021-03-29 22:06:30 | <sparsity> | i realise how stupid that sounds |
| 2021-03-29 22:06:35 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) |
| 2021-03-29 22:06:38 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:44c9:a8ba:908e:c8fa) |
| 2021-03-29 22:06:43 | → | Alleria__ joins (~textual@2603-7000-3040-0000-29c5-30e3-fcb5-0c65.res6.spectrum.com) |
| 2021-03-29 22:06:59 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-29 22:07:01 | <sparsity> | idk how you use free profunctors for "build systems" anyway |
| 2021-03-29 22:07:15 | <ski> | i dunno what you meant by that phrase |
| 2021-03-29 22:07:24 | × | Iryon quits (~Iryon@2a02:a31a:a045:3500:5420:2237:4aee:26f2) (Remote host closed the connection) |
| 2021-03-29 22:07:57 | → | pera joins (~pera@unaffiliated/pera) |
| 2021-03-29 22:08:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-29 22:08:19 | <mpickering> | sparsity: https://elvishjerricco.github.io/2017/03/10/profunctors-arrows-and-static-analysis.html |
| 2021-03-29 22:08:19 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-03-29 22:08:21 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-03-29 22:08:21 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-03-29 22:08:35 | <mpickering> | This post explains somewhat |
| 2021-03-29 22:08:51 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 248 seconds) |
| 2021-03-29 22:08:57 | × | pera quits (~pera@unaffiliated/pera) (Client Quit) |
| 2021-03-29 22:09:05 | <sparsity> | whats the tldr |
| 2021-03-29 22:09:52 | <mpickering> | If you use free profunctors and some other things you can inspect the build graph before you execute it |
| 2021-03-29 22:09:55 | <mpickering> | unlike if you use a free monad |
| 2021-03-29 22:10:02 | <mpickering> | and free applicatives are too weak |
| 2021-03-29 22:10:04 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-29 22:10:18 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:4080:7dc1:315d:729) (Ping timeout: 246 seconds) |
| 2021-03-29 22:10:19 | <dibblego> | why can't you inspect it with free? |
| 2021-03-29 22:10:32 | <sparsity> | it collapses? |
| 2021-03-29 22:10:49 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) (Ping timeout: 245 seconds) |
| 2021-03-29 22:11:00 | <sparsity> | why would profunctorisation allow this preservation of inspectability, seems very strange |
| 2021-03-29 22:11:06 | <mpickering> | because the structure of the graph depends on the result of a previous computation, so you have to evaluate part of the graph in order to work out what the rest looks like |
| 2021-03-29 22:11:20 | <dibblego> | ah yeah makes sense |
| 2021-03-29 22:11:40 | <sparsity> | how can you build up the graph any other way? |
| 2021-03-29 22:11:58 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-03-29 22:12:10 | <mpickering> | sparsity: What do you mean? |
| 2021-03-29 22:12:12 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-29 22:12:17 | <mpickering> | Any other way as opposed to what? |
| 2021-03-29 22:12:36 | <sparsity> | your saying it changes as you consume it, but that somehow the profunctors allow it to be all in place at the same time |
| 2021-03-29 22:13:07 | <mpickering> | yeah the structure of the graph is known ahead of time but not what each node produces |
| 2021-03-29 22:13:45 | <mpickering> | Perhaps I will write a paper about it |
| 2021-03-29 22:14:00 | <sparsity> | a few words could be more effecient now |
| 2021-03-29 22:14:06 | → | nij joins (~user@2001-48F8-9021-806-0-0-0-49D8-dynamic.midco.net) |
| 2021-03-29 22:14:13 | <sparsity> | we are still none the wiser as to whats going on with these profunctors |
| 2021-03-29 22:14:56 | <dibblego> | code pls :) |
| 2021-03-29 22:15:01 | <nij> | Hello! While writing a program with lots of complicated objects, how would I stay functional? Especially when it frequently reads/writes database.. |
| 2021-03-29 22:15:16 | <sparsity> | dibblego: that could be huge and incomprehensible |
| 2021-03-29 22:15:18 | <dibblego> | nij: what is "complicated objects"? Do you have an example? |
| 2021-03-29 22:15:29 | <dibblego> | sparsity: I fully intend to comprehend it |
| 2021-03-29 22:15:43 | <sparsity> | then the blog post? |
All times are in UTC.