Logs: liberachat/#haskell
| 2021-06-17 23:14:02 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-17 23:14:46 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 23:15:11 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.227.207) (Ping timeout: 252 seconds) |
| 2021-06-17 23:15:34 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-17 23:15:34 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207) |
| 2021-06-17 23:19:22 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-17 23:20:49 | × | jordi_ quits (~jordi@139.47.99.95) (Quit: Leaving) |
| 2021-06-17 23:20:56 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-17 23:22:41 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-17 23:22:51 | × | fvr quits (uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-17 23:22:53 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-06-17 23:23:04 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-17 23:31:42 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 268 seconds) |
| 2021-06-17 23:31:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-06-17 23:32:30 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.227.207) (Ping timeout: 244 seconds) |
| 2021-06-17 23:33:32 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-17 23:34:49 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-17 23:35:42 | × | NieDzejkob_ quits (~quassel@195.149.98.3) (Ping timeout: 264 seconds) |
| 2021-06-17 23:37:52 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 268 seconds) |
| 2021-06-17 23:40:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-17 23:40:58 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207) |
| 2021-06-17 23:44:14 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-06-17 23:45:55 | → | henninb joins (~henninb@63.226.174.157) |
| 2021-06-17 23:46:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-06-17 23:52:37 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-17 23:54:08 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 23:54:12 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-06-17 23:58:05 | × | zeenk2 quits (~zeenk@82.76.113.130) (Quit: Konversation terminated!) |
| 2021-06-17 23:59:06 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-06-17 23:59:17 | × | henninb quits (~henninb@63.226.174.157) (Remote host closed the connection) |
| 2021-06-17 23:59:43 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 00:01:02 | → | henninb joins (~henninb@63.226.174.157) |
| 2021-06-18 00:01:18 | × | thelounge9230 quits (~thelounge@cpe-23-240-28-18.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-06-18 00:01:26 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-18 00:02:14 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-18 00:05:20 | → | thelounge9230 joins (~thelounge@cpe-75-85-161-60.san.res.rr.com) |
| 2021-06-18 00:06:24 | × | fluffyballoon quits (~fluffybal@199.204.58.62) (Quit: Client closed) |
| 2021-06-18 00:06:39 | → | fluffyballoon joins (~fluffybal@2620:72:0:6480::11fd) |
| 2021-06-18 00:11:46 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-06-18 00:13:02 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-18 00:15:51 | → | jacks- joins (~bc817c21@217.29.117.252) |
| 2021-06-18 00:16:13 | × | kayprish quits (~kayprish@46.240.143.86) (Remote host closed the connection) |
| 2021-06-18 00:18:22 | → | trufas joins (~trufas@177.240.218.218) |
| 2021-06-18 00:25:41 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 00:27:26 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 00:30:14 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 00:30:17 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 268 seconds) |
| 2021-06-18 00:30:50 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-18 00:31:07 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-18 00:32:48 | → | argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar) |
| 2021-06-18 00:35:13 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 00:37:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-18 00:37:27 | <spider_> | . |
| 2021-06-18 00:41:54 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 00:45:59 | → | Nak42 joins (~Nak@2604:3d08:2678:cc00::4a09) |
| 2021-06-18 00:47:25 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds) |
| 2021-06-18 00:48:06 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-06-18 00:48:10 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 268 seconds) |
| 2021-06-18 00:49:37 | × | henninb quits (~henninb@63.226.174.157) (Remote host closed the connection) |
| 2021-06-18 00:52:55 | <Nak42> | I have some co-inductive list type: ```data Colist a = forall s. Colist (s -> Maybe (a,s)) s```, and I'm bashing my head against the wall trying to figure out if it's possible to define cons and nil over it - any ideas? |
| 2021-06-18 00:53:43 | <shachaf> | Yes, it's possible. |
| 2021-06-18 00:54:13 | <Axman6> | is nil = Colist (\_ -> Nothing) undefined? |
| 2021-06-18 00:54:24 | <Axman6> | I mean, it could be anything I guess |
| 2021-06-18 00:54:26 | <shachaf> | Well, yes, but I wouldn't use undefined there. |
| 2021-06-18 00:54:34 | <Axman6> | () also works |
| 2021-06-18 00:55:10 | <Nak42> | Axman6 Yeah, I've got that one so far |
| 2021-06-18 00:55:12 | <shachaf> | If you want to understand this style of definition, you might have an easier type with data Conat = forall s. Conat (s -> Maybe s) s |
| 2021-06-18 00:55:18 | <shachaf> | Uh, an easier time. |
| 2021-06-18 00:55:19 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2) |
| 2021-06-18 00:55:20 | <shachaf> | Both, I suppose. |
| 2021-06-18 00:55:27 | <Axman6> | this feels a lot like how stream fusion is defined, but I don't remember how you do cons there either |
| 2021-06-18 00:56:09 | <shachaf> | You should think of either of these as a sort of state machine. There's some internal state, and you can put the state into the function to tick it one step. |
| 2021-06-18 00:56:13 | <Nak42> | Haha yeah, I saw the type signature in some guys blog post on stream fusion and I got curious |
| 2021-06-18 00:56:23 | <shachaf> | And then maybe it yields a new state, or maybe it halts. |
| 2021-06-18 00:56:37 | <Nak42> | Thanks shachaf, that's a really good idea |
| 2021-06-18 00:57:20 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-18 00:57:22 | <Axman6> | cons a (Colist f s) = Colist (\(b,s') -> if b then Just (a, (False, s')) else ((False,) <$> f s') (True, s)? |
| 2021-06-18 00:57:38 | <shachaf> | That looks too complicated. |
| 2021-06-18 00:58:35 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2021-06-18 00:59:57 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:412f:83fa:4c40:a575) (Remote host closed the connection) |
| 2021-06-18 01:01:42 | <shachaf> | Hmm, cons is kind of annoying, actually. |
| 2021-06-18 01:01:43 | <Axman6> | Well, it works I believe :) |
| 2021-06-18 01:01:46 | <Axman6> | yes |
| 2021-06-18 01:01:58 | <shachaf> | I guess it works, then! |
| 2021-06-18 01:02:18 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-06-18 01:02:20 | <Axman6> | IIRC this is pretty close to for it works in stream fusion. ideally you could return a new step function and have a different type for the state |
| 2021-06-18 01:02:23 | <shachaf> | The issue is that (Bool,s) has twice as many states as s, when really you just want one more. |
| 2021-06-18 01:02:24 | × | xff0x quits (~xff0x@2001:1a81:52d9:d800:4df6:909d:1245:4feb) (Ping timeout: 244 seconds) |
| 2021-06-18 01:03:15 | → | xff0x joins (~xff0x@2001:1a81:52f0:4000:856d:b51d:ea98:8de9) |
| 2021-06-18 01:03:19 | <Axman6> | There's probably a version with s as Maybe initially set to Nothing |
| 2021-06-18 01:03:37 | <shachaf> | Right. |
| 2021-06-18 01:03:38 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-18 01:03:41 | → | renzhi joins (~xp@modemcable070.17-177-173.mc.videotron.ca) |
| 2021-06-18 01:03:55 | × | argento quits (~argent0@168-227-96-53.ptr.westnet.com.ar) (Quit: leaving) |
| 2021-06-18 01:03:59 | <shachaf> | I guess using lists rather than numbers shows an interesting wrinkle there, because you have to cons onto the beginning, not the en. |
| 2021-06-18 01:04:57 | <Axman6> | cons a (Colist f s) = Colist (\ms -> (ms >>= f) <|> Just (a,Just s)) Nothing |
| 2021-06-18 01:05:25 | <Axman6> | cons a (Colist f s) = Colist (\ms -> (ms >>= fmap Just . f) <|> Just (a,Just s)) Nothing |
| 2021-06-18 01:05:29 | <Axman6> | or something... |
| 2021-06-18 01:06:31 | <Axman6> | probably missing another fmap actually |
| 2021-06-18 01:07:54 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 240 seconds) |
All times are in UTC.