:thinking_face: `f :: Monad m => a -&...

đŸ€” f :: Monad m => a -> b -> m c ăȘă‚ąă‚Żă‚·ăƒ§ăƒłăš
x :: m a, y :: m b ăȘć€€ăŒă‚ă‚‹ăšă
join (f <$> x <*> y)
ăšæ›žăăźăŒäž€ç•Șç°Ąæœ”ăȘæ›žăæ–čăȘんですかね。
ほかにあるかăȘ。 f ăźćŒ•æ•°ăŒ3ă€ä»„äžŠăźæ™‚ă‚‚ă„ă‘ă‚‹ăŁăœă„ă§ă™ă€‚

Replies

đŸ€” f :: Monad m => a -> b -> m c ăȘă‚ąă‚Żă‚·ăƒ§ăƒłăš
x :: m a, y :: m b ăȘć€€ăŒă‚ă‚‹ăšă
join (f <$> x <*> y)
ăšæ›žăăźăŒäž€ç•Șç°Ąæœ”ăȘæ›žăæ–čăȘんですかね。
ほかにあるかăȘ。 f ăźćŒ•æ•°ăŒ3ă€ä»„äžŠăźæ™‚ă‚‚ă„ă‘ă‚‹ăŁăœă„ă§ă™ă€‚

惕もそれが侀ç•Șç°Ąæœ”ă ăšæ€ă„ăŸă™

ç„Ąç†ă‚„ă‚ŠäœœăŁăŸäŸ‹ăŒă“ăĄă‚‰

どんăȘç°Ąæœ”ă•ă‹ă«ă‚ˆă‚ŠăŸă™ăŒă€ join (liftA2 f a b) だず 1æ–‡ć­—çŸ­ă„ăšă‹â€Š

2ćŒ•æ•°é™ćźšă§ă™ăŒ liftA2 f x y >>= uncurry f ăšă‚‚æ›žă‘ăŸă™ă€‚

@U4M9NJ7QE liftA2 (,) x y >>= uncurry f ですかね?

そうです