agregacja mongodb, aby uzyskać długość pierwszej zagnieżdżonej tablicy/listy

Jak powiedziałem w komentarze , $unwind etap, po którym następuje $project &$size rozwiąże Twój problem:

[
   {
        $unwind : "$tags"
   },
   {
        $project: {
               tags_count: {$size: "$tags"}
        }
   }
]

daje mi ten dokument:

{
    tags_count: 3
}

To odpowiada na Twoje nowe pytanie:

[
    {
         $unwind : "$properties"
    },
    {
         $unwind : "$properties.has_a"
    },
    {
         $group: {
             _id: null,
             count: {
                 $sum: 1
             }
          }
    }
]

zwraca następujące:

{ count: 2}