Logs: freenode/#haskell
| 2021-03-29 19:39:35 | <ph88> | is there any way to grab the data constructor functions from a data type ? |
| 2021-03-29 19:40:40 | → | andrew2 joins (602a442a@gateway/web/cgi-irc/kiwiirc.com/ip.96.42.68.42) |
| 2021-03-29 19:42:31 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-29 19:42:58 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-03-29 19:43:44 | × | Natch quits (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-03-29 19:43:50 | <maerwald> | with generics? |
| 2021-03-29 19:44:05 | → | raichoo joins (~raichoo@dslb-188-109-062-207.188.109.pools.vodafone-ip.de) |
| 2021-03-29 19:44:17 | <ph88> | ye ? |
| 2021-03-29 19:44:26 | <maerwald> | yeah |
| 2021-03-29 19:44:54 | <ph88> | oki thank you |
| 2021-03-29 19:45:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-03-29 19:45:53 | → | lawid joins (~quassel@dslb-090-186-122-181.090.186.pools.vodafone-ip.de) |
| 2021-03-29 19:46:32 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) |
| 2021-03-29 19:48:15 | × | knupfer quits (~Thunderbi@dynamic-046-114-145-192.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-03-29 19:50:20 | × | andrew2 quits (602a442a@gateway/web/cgi-irc/kiwiirc.com/ip.96.42.68.42) (Quit: Connection closed) |
| 2021-03-29 19:50:57 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Ping timeout: 258 seconds) |
| 2021-03-29 19:52:57 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-29 19:59:30 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-03-29 20:00:25 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) |
| 2021-03-29 20:01:03 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-29 20:01:57 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-29 20:02:56 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:b1a9:3010:b3b8:f76d) |
| 2021-03-29 20:04:11 | × | jjhoo quits (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-03-29 20:05:00 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 246 seconds) |
| 2021-03-29 20:07:06 | × | pupuupup_ quits (~pupuupup@node-1p6.pool-125-24.dynamic.totinternet.net) (Ping timeout: 246 seconds) |
| 2021-03-29 20:07:30 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-29 20:08:58 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-03-29 20:10:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-29 20:11:47 | × | ByteEater quits (57cd846a@gateway/web/cgi-irc/kiwiirc.com/ip.87.205.132.106) (Quit: Connection closed) |
| 2021-03-29 20:12:30 | <mpickering> | lyxia: Do you know of a "bind-like" operation for profunctors? Perhaps something like `p a b -> (b -> p c d) -> p (a, c) d` |
| 2021-03-29 20:12:54 | <mpickering> | I want the structure to be able to depend on the result of the first computation |
| 2021-03-29 20:13:08 | <mpickering> | but not sure how to generalise to the in/out parameters |
| 2021-03-29 20:14:01 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) |
| 2021-03-29 20:16:37 | × | ystael quits (~ystael@141.sub-174-242-80.myvzw.com) (Read error: Connection reset by peer) |
| 2021-03-29 20:17:00 | <mpickering> | I suppose you could just have `(p a) b -> (b -> (p a) c) -> (p a) c` |
| 2021-03-29 20:18:03 | → | jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 2021-03-29 20:20:10 | <koz_> | :t foldl' |
| 2021-03-29 20:20:11 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2021-03-29 20:21:18 | → | Natch joins (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-03-29 20:24:00 | <joel135> | (p a) is a monad that depends contravariantly on a ? |
| 2021-03-29 20:25:45 | × | nuncanada quits (~dude@179.235.160.168) (Read error: Connection reset by peer) |
| 2021-03-29 20:26:10 | × | csadilek quits (~csadilek@178.239.168.171) (Remote host closed the connection) |
| 2021-03-29 20:28:22 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-29 20:29:51 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) (Remote host closed the connection) |
| 2021-03-29 20:30:11 | → | codygman` joins (~user@47.186.207.161) |
| 2021-03-29 20:30:34 | → | mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-03-29 20:31:37 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-03-29 20:32:06 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-29 20:32:10 | × | codygman__ quits (~user@209.251.131.98) (Ping timeout: 260 seconds) |
| 2021-03-29 20:32:10 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-29 20:36:28 | × | raichoo quits (~raichoo@dslb-188-109-062-207.188.109.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-03-29 20:36:39 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-retpginqhscxyaoj) |
| 2021-03-29 20:37:01 | → | Sornaensis joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-03-29 20:39:26 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-03-29 20:41:33 | → | kenran joins (~kenran@i59F67B6E.versanet.de) |
| 2021-03-29 20:41:37 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-29 20:42:19 | × | mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Ping timeout: 268 seconds) |
| 2021-03-29 20:44:39 | → | mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-03-29 20:44:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-29 20:45:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-03-29 20:46:18 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-03-29 20:46:55 | × | mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-03-29 20:48:08 | → | nuncanada joins (~dude@179.235.160.168) |
| 2021-03-29 20:50:08 | × | Natch quits (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2021-03-29 20:50:36 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:b1a9:3010:b3b8:f76d) (Quit: Leaving.) |
| 2021-03-29 20:53:43 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:e872:21d9:dd64:69e7) |
| 2021-03-29 20:53:43 | → | Natch joins (~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-03-29 20:54:49 | <lyxia> | mpickering: indeed, that's also what I do in my paper and you can derive a thing with your former bind-like type from it. |
| 2021-03-29 20:56:29 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-29 20:57:01 | × | Guest29 quits (~textual@109.246.40.24) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-29 20:59:39 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-29 20:59:59 | × | outerpassage_ quits (outerpassa@2600:3c01::f03c:92ff:fed1:4643) (Quit: quitting) |
| 2021-03-29 21:00:14 | → | outerpassage joins (~outerpass@li1196-30.members.linode.com) |
| 2021-03-29 21:00:32 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:b98b:75b0:1d5d:7be4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-29 21:02:32 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-29 21:03:53 | → | aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-03-29 21:04:16 | × | mflux quits (flux@2001:708:310:3430:4506:8c48:1ba0:18ff) (Ping timeout: 240 seconds) |
| 2021-03-29 21:04:23 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-29 21:05:09 | → | flx_ joins (flux@coffee.modeemi.fi) |
| 2021-03-29 21:05:11 | → | sparsity joins (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) |
| 2021-03-29 21:05:19 | → | fen joins (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) |
| 2021-03-29 21:05:22 | flx_ | is now known as mflux |
| 2021-03-29 21:05:39 | × | aplainze1akind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-03-29 21:06:16 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-29 21:08:01 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 276 seconds) |
| 2021-03-29 21:11:05 | <fen> | @let scanner f a = snd . mapAccumL f a |
| 2021-03-29 21:11:07 | <lambdabot> | .L.hs:173:1: error: [-Woverlapping-patterns, -Werror=overlapping-patterns] |
| 2021-03-29 21:11:07 | <lambdabot> | Pattern match is redundant |
| 2021-03-29 21:11:07 | <lambdabot> | In an equation for ‘scanner’: scanner f a = ... |
| 2021-03-29 21:11:38 | <fen> | @undefine |
| 2021-03-29 21:11:38 | <lambdabot> | Undefined. |
| 2021-03-29 21:11:41 | <fen> | @let scanner f a = snd . mapAccumL f a |
| 2021-03-29 21:11:42 | <lambdabot> | Defined. |
| 2021-03-29 21:11:58 | <fen> | :t \ f g a b -> sum $ uncurry (zipWith (+)) $ fmap (scanner f a) $ unzip $ unfoldr g b |
| 2021-03-29 21:11:59 | <lambdabot> | Num a1 => (a2 -> b1 -> (a2, a1)) -> (b2 -> Maybe ((a1, b1), b2)) -> a2 -> b2 -> a1 |
| 2021-03-29 21:12:05 | → | Ahmuck joins (~Ahmuck@139.28.218.148) |
| 2021-03-29 21:13:32 | → | arturh joins (~arturh@93.176.180.48) |
| 2021-03-29 21:16:46 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 240 seconds) |
| 2021-03-29 21:19:37 | <sparsity> | (a=s_t0,(x_tn,w_tn,s_tn+1) = g s_tn) |
| 2021-03-29 21:19:39 | <sparsity> | (b=r_t0,(y_tn,r_tn+1)= f (r_tn,w_tn) |
All times are in UTC.