Logs: freenode/#haskell
| 2021-04-10 21:52:35 | <hololeap> | on one hand, (*>) reminds us that the operation doesn't use the "full power" of the monad, but (>>) looks cleaner visually |
| 2021-04-10 21:52:37 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-10 21:54:25 | <hololeap> | it seems to me that in an ideal world, Applicative would have (>>) and you would just use that |
| 2021-04-10 21:55:02 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-10 21:56:49 | <hololeap> | although (*>) reminds us of (<*>) and therefore sort of explains what it does visually |
| 2021-04-10 21:58:21 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 21:58:23 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-10 21:58:35 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-10 21:59:46 | ← | thblt parts (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)") |
| 2021-04-10 22:00:43 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-10 22:02:14 | <hololeap> | anyway, just curious which of these has a bigger bandwagon |
| 2021-04-10 22:02:35 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-10 22:03:29 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursaga) |
| 2021-04-10 22:03:57 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 22:04:00 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-10 22:04:02 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-10 22:04:43 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 2021-04-10 22:07:22 | <tomsmeding> | hololeap: *> has <* while there is no << |
| 2021-04-10 22:07:33 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 2021-04-10 22:07:40 | tomsmeding | would like >> and << |
| 2021-04-10 22:07:42 | → | gxt_ joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-04-10 22:08:12 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-04-10 22:08:27 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 22:08:33 | <hololeap> | oh, i didn't realize that |
| 2021-04-10 22:08:39 | × | srk quits (~sorki@unaffiliated/srk) (Ping timeout: 250 seconds) |
| 2021-04-10 22:10:35 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 22:12:48 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-10 22:14:02 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-10 22:14:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-10 22:15:11 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 22:19:35 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-10 22:20:22 | → | myShoggoth joins (~myShoggot@75.164.73.93) |
| 2021-04-10 22:20:46 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 22:21:01 | × | sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-10 22:21:11 | × | fendor_ quits (~fendor@178.165.131.171.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-10 22:22:06 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 22:22:57 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-10 22:24:28 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-10 22:24:31 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-10 22:25:15 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 22:25:41 | × | lechner quits (~lechner@letbox-vps.us-core.com) (Read error: Connection reset by peer) |
| 2021-04-10 22:25:53 | <gentauro> | tomsmeding: you already have `>>` right? |
| 2021-04-10 22:25:58 | <gentauro> | that's the `bind` operator |
| 2021-04-10 22:26:22 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 22:26:40 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-10 22:26:45 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-10 22:27:11 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 22:27:12 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-10 22:27:46 | <gentauro> | do |
| 2021-04-10 22:28:02 | <gentauro> | foo = |
| 2021-04-10 22:28:08 | <gentauro> | putStrLn "foo" |
| 2021-04-10 22:28:16 | <gentauro> | >> putStrLn "bar" |
| 2021-04-10 22:28:24 | <gentauro> | (forget about the first do) |
| 2021-04-10 22:28:27 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-10 22:30:35 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 22:30:51 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 22:31:28 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-10 22:31:36 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-10 22:31:53 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-10 22:32:52 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-10 22:34:22 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-10 22:35:08 | <infinisil> | :t (<>) |
| 2021-04-10 22:35:09 | <lambdabot> | Semigroup a => a -> a -> a |
| 2021-04-10 22:35:13 | <infinisil> | :t (*>) |
| 2021-04-10 22:35:14 | <lambdabot> | Applicative f => f a -> f b -> f b |
| 2021-04-10 22:35:17 | <infinisil> | :t (>>) |
| 2021-04-10 22:35:19 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2021-04-10 22:35:27 | <infinisil> | (ignore (<>)) |
| 2021-04-10 22:36:32 | <infinisil> | Is there a reason >> couldn't be removed from Monad? |
| 2021-04-10 22:37:22 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-10 22:39:11 | <gentauro> | infinisil: why would you remove it? |
| 2021-04-10 22:39:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-10 22:39:25 | <gentauro> | I use it a lot (I tend not to write with do-notation) |
| 2021-04-10 22:39:34 | <gentauro> | therefore I use both `>>` and `>>=` |
| 2021-04-10 22:40:00 | → | puffnfresh1 joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-04-10 22:40:57 | × | __minoru__shirae quits (~shiraeesh@46.34.207.175) (Quit: Konversation terminated!) |
| 2021-04-10 22:41:19 | → | __minoru__shirae joins (~shiraeesh@46.34.207.175) |
| 2021-04-10 22:42:31 | × | kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-10 22:43:25 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-10 22:49:10 | <d34df00d> | I prefer *> because less constraints. |
| 2021-04-10 22:50:20 | <justsomeguy> | I have a type ''data Three a b c = Three a b c deriving (Eq, Show)'', and an instance for it, ''instance Foldable (Three b c) where { foldMap f (Three _ _ c) = f c }''. Why is it that I can define an instance like ''instance Foldable (Three b c)'' but not ''instance Foldable (Three a b c)''? How do I know which type arguments can't be used, and why? |
| 2021-04-10 22:51:36 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-04-10 22:51:46 | <justsomeguy> | I see that Data.Foldable has ''type Foldable :: (* -> *) -> Constraint''. What is that? |
| 2021-04-10 22:52:18 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-10 22:53:49 | <justsomeguy> | I feel like I'm missing something basic about how kind signatures work, or how to define instances, but I'm not sure exactly what. |
| 2021-04-10 22:55:16 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Read error: Connection reset by peer) |
| 2021-04-10 22:55:20 | × | malumore_ quits (~malumore@151.62.113.35) (Remote host closed the connection) |
| 2021-04-10 22:57:36 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-10 22:57:37 | → | lgedeon joins (~lgedeon@185.169.233.10) |
| 2021-04-10 23:05:19 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-10 23:06:11 | × | entel quits (uid256215@botters/entel) (Quit: Connection closed for inactivity) |
| 2021-04-10 23:09:37 | → | worc3131 joins (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) |
| 2021-04-10 23:10:40 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 23:11:49 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 23:13:00 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 23:13:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-10 23:14:14 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Client Quit) |
| 2021-04-10 23:15:57 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-10 23:16:06 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 268 seconds) |
| 2021-04-10 23:17:28 | × | zeenk quits (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!) |
All times are in UTC.