Меня осенило, что соединение (мой вольный перевод термина join) и группировка (group by) это варианты свёртки с последующей проекцией. Свёртки выполняются внутри данных с одинаковыми ключами.
Свёртка внутри соединения имеет тип joinFoldFunc :: ([a],[b]) -> Either a b -> ([a], [b]) и весьма простую реализацию. В проекции мы выполняем вычисление
(
Read more... )
Comments 2
Reply
Reply
Leave a comment