в теории категорий?
fork :: (x -> a) -> (x -> b) -> x -> (a, b)
fork f g = \x -> (f x, g x)
(или с этим лучше в теоркатный чатик?)
лучше и в категорный тоже
Не скажу про ТК, но в haskell это похоже на (&&&) из тайпкласса Arrow
Обсуждают сегодня