Logs: liberachat/#haskell
| 2021-06-18 01:08:27 | <shachaf> | Man, this is surprisingly awkward. |
| 2021-06-18 01:08:34 | ← | qrpnxz parts (~qrpnxz@user/qrpnxz) () |
| 2021-06-18 01:08:45 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-06-18 01:08:53 | <Axman6> | micro-nerd-sniped |
| 2021-06-18 01:09:14 | <Axman6> | if it could return a new Colist it would probably become simpler |
| 2021-06-18 01:10:13 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 01:10:42 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-18 01:10:50 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-18 01:11:56 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-18 01:12:18 | × | xff0x quits (~xff0x@2001:1a81:52f0:4000:856d:b51d:ea98:8de9) (Ping timeout: 240 seconds) |
| 2021-06-18 01:12:22 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 01:14:18 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-18 01:14:27 | → | xff0x joins (~xff0x@2001:1a81:52f1:f300:29ca:4417:692e:a3fb) |
| 2021-06-18 01:14:49 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-06-18 01:15:43 | <shachaf> | I'm not doing better than cons x (Colist f s) = Colist (fmap (fmap Just) . maybe (Just (x,s)) f) Nothing |
| 2021-06-18 01:15:46 | <shachaf> | Which isn't that great. |
| 2021-06-18 01:15:59 | <Axman6> | yeah |
| 2021-06-18 01:16:39 | × | nilof quits (~olofs@45.83.91.180) (Ping timeout: 268 seconds) |
| 2021-06-18 01:17:16 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-06-18 01:17:23 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 244 seconds) |
| 2021-06-18 01:17:27 | <Axman6> | Thinking about stream fusion, I've thought for a while that it should include a way to return a new step function and a new state type so you don't accrete layers in the state type. things like drop should be able to remove their own state as and return whatever's wrapped |
| 2021-06-18 01:17:34 | <Axman6> | (I hope that made sense) |
| 2021-06-18 01:21:18 | × | xff0x quits (~xff0x@2001:1a81:52f1:f300:29ca:4417:692e:a3fb) (Ping timeout: 264 seconds) |
| 2021-06-18 01:22:37 | → | xff0x joins (~xff0x@2001:1a81:52f2:dc00:5035:a07:865c:db4b) |
| 2021-06-18 01:23:35 | → | nilof joins (~olofs@45.83.91.180) |
| 2021-06-18 01:28:11 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-18 01:29:39 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 01:30:27 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 01:30:39 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-18 01:41:29 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 2021-06-18 01:43:31 | → | slice joins (~slice@user/slice) |
| 2021-06-18 01:43:35 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 01:47:14 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-18 01:48:05 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-18 01:50:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-18 01:53:23 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-18 01:55:16 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-06-18 01:57:17 | → | thiross joins (~user@173.242.113.143.16clouds.com) |
| 2021-06-18 02:02:23 | × | thiross quits (~user@173.242.113.143.16clouds.com) (Ping timeout: 252 seconds) |
| 2021-06-18 02:03:11 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-06-18 02:03:54 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-18 02:05:46 | × | sheepduck quits (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-18 02:06:09 | → | sheepduck joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-06-18 02:08:24 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-18 02:08:32 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds) |
| 2021-06-18 02:10:55 | → | killsushi joins (~killsushi@user/killsushi) |
| 2021-06-18 02:17:17 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-18 02:17:32 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-18 02:21:33 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 02:25:49 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-18 02:26:06 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-06-18 02:26:12 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-18 02:28:54 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-18 02:29:12 | × | bilegeek quits (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) (Quit: Leaving) |
| 2021-06-18 02:29:25 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 268 seconds) |
| 2021-06-18 02:29:43 | × | alx741 quits (~alx741@181.196.68.42) (Quit: alx741) |
| 2021-06-18 02:31:46 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2021-06-18 02:33:35 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-18 02:34:30 | × | xff0x quits (~xff0x@2001:1a81:52f2:dc00:5035:a07:865c:db4b) (Ping timeout: 264 seconds) |
| 2021-06-18 02:35:52 | → | xff0x joins (~xff0x@2001:1a81:52fd:ad00:4de3:cb5d:a569:6a3c) |
| 2021-06-18 02:36:03 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-18 02:37:02 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-06-18 02:37:21 | → | killsushi joins (~killsushi@user/killsushi) |
| 2021-06-18 02:39:27 | → | shredder joins (~user@user/shredder) |
| 2021-06-18 02:49:22 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-06-18 02:55:33 | <qrpnxz> | how come `pure` isn't in the Functor typeclass rather than the Applicative? |
| 2021-06-18 02:56:09 | <cdsmith> | There are functors that can't implement it. |
| 2021-06-18 02:56:58 | <cdsmith> | For example, Const Int. Which Int should (pure "some string") be? |
| 2021-06-18 02:57:13 | <davean> | Functor is not a container |
| 2021-06-18 02:57:31 | → | mud joins (~mud@user/kadoban) |
| 2021-06-18 02:57:54 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 2021-06-18 02:59:06 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-18 03:00:12 | × | td_ quits (~td@94.134.91.254) (Ping timeout: 244 seconds) |
| 2021-06-18 03:01:34 | <justsomeguy> | How would you describe Functor? |
| 2021-06-18 03:01:52 | → | td_ joins (~td@muedsl-82-207-238-207.citykom.de) |
| 2021-06-18 03:02:38 | <davean> | justsomeguy: by its laws |
| 2021-06-18 03:03:41 | <c_wraith> | if the laws are too opaque at first, "things that can use a function to change a type argument" |
| 2021-06-18 03:03:50 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2021-06-18 03:09:29 | × | jlamothe quits (~jlamothe@198.251.57.81) (Ping timeout: 252 seconds) |
| 2021-06-18 03:10:01 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-18 03:10:07 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-18 03:11:37 | <c_wraith> | also... even containers can't necessarily implement pure. |
| 2021-06-18 03:11:46 | <c_wraith> | Take a look at Data.Map.Map |
| 2021-06-18 03:12:03 | <c_wraith> | What would pure possibly do there? |
| 2021-06-18 03:12:20 | <justsomeguy> | It's not too opaque, but I honestly really enjoy finding the right metaphor, or the most beautiful way to articulate a concept, so I like to ask people how they'd explain things. |
| 2021-06-18 03:12:54 | <justsomeguy> | But "things that can use a function to change a type argument" is a pretty useful intuition. I like it. |
| 2021-06-18 03:13:41 | <c_wraith> | the beauty of Functor is what it allows you to abstract over rather than what it "is". |
| 2021-06-18 03:14:04 | <c_wraith> | Since I'm in the docs for Data.Map already... https://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Map-Strict.html#v:alterF |
| 2021-06-18 03:14:19 | <c_wraith> | consider what that function does for all sorts of specializations of f |
| 2021-06-18 03:22:25 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds) |
| 2021-06-18 03:23:13 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-18 03:24:09 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-18 03:26:17 | <qrpnxz> | > Which Int should (pure "some string") be? |
| 2021-06-18 03:26:17 | <qrpnxz> | any |
| 2021-06-18 03:26:19 | <lambdabot> | <hint>:1:42: error: |
| 2021-06-18 03:26:19 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2021-06-18 03:26:28 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-18 03:27:34 | <c_wraith> | qrpnxz: and what Map should (pure "some string") be? |
| 2021-06-18 03:28:24 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 03:28:26 | <qrpnxz> | which Map |
All times are in UTC.