Além do fato do `Length` ser nativo do do tipo e o `Count()` ser de um tipo auxiliar, e o primeiro ser uma propriedade (que não deixa de ser uma função disfarçada) e o segundo ser explicitamente uma função, há uma diferença implícita não obrigatória.

Quando escolhemos uma propriedade geralmente queremos fazer algo que apenas pega um valor com complexidade constante, ou seja, leva sempre o mesmo tempo para obter sem importar o tamanho da coleção de dados a analisar.

Isto é possível porque dew alguma forma essa informação já existe e não precisa fazer nenhuma operação para obter. O `array` guarda a quantidade de elementos da coleção então fica fácil. Em outras coleções esse número seria mantido atualizado em cada operação que mude o tamanho da coleção. No `array` nem precisa porque o tamanho é fixo depois de criado.

Esta propriedade foi criada nesse tipo nativo da linguagem e do CLR.

Outras coleções de dados pode não ser possível obter esse número em tempo constante, porque pode ser que nem seja possível determiná-lo à priori. Há muitos casos que é preciso fazer uma contagem para saber quantos elementos ela tem.

Então uma função foi escolhida porque ela tem potencial para ter uma complexidade logarítmica, linear, a mais comum, ou até pior, quadrática por exemplo. Como pode demorar para executar uma função é mais adequada que uma propriedade.

Claro que se for possível fazer em tempo constante (O(1)) será feito. Mas para isto a função precisa ser nativa do tipo, ela precisa conhecer o detalhe de implementação do tipo. O [`Enumerable.Count()`][1] não pode saber desse detalhe, então ele sempre fará uma contagem em tempo linear (O(n)) já que serve para qualquer tipo enumerável, até aquele que não tem um tamanho definido e só pode ser contado.

Obviamente que existe uma otimização em coleções que possuem a propriedade [`Count`][2] que não está na pergunta mas que existe também, então se o tipo a tiver  ela será usada sem precisar fazer a contagem.

Apesar dessa otimização manter a complexidade constante ela é bem mais lenta, chega ser centenas de vezes, porém constante.

Eu sempre falo que o LINQ não deveria ser tão natural assim como as pessoas gostam. Ele tende ser bastante menos eficiente que outra forma, quando ela está disponível.

A ideia da contagem ocorre com um padrão de projeto chamado [Iterator][3].

O uso do [`Any()`][4] é bem melhor que usar um `Count() > 0`. Ele evita ter que varrer toda a coleção para descobrir se é 0 ou mais que isso.

Aí vem a pergunta: porque existem propriedades diferentes com a mesma informação?

A ideia de tamanho indica algo fixo e a ideia de contagem algo que pode ter o tamanho variável, ainda que não varie de fato. Poderia existir só o `Count` mas no começo os tipos mais básicos da linguagem, como [`array`][5] e [`string`][6], usaram `Length` e as coleções mais abstratas não podiam usar isso com algo que tinha tamanho potencialmente variável.


  [1]: https://docs.microsoft.com/en-us/dotnet/api/system.linq.enumerable.count?view=net-6.0&WT.mc_id=DOP-MVP-5002397
  [2]: https://docs.microsoft.com/en-us/dotnet/api/system.collections.icollection.count?view=net-6.0&WT.mc_id=DOP-MVP-5002397
  [3]: https://en.wikipedia.org/wiki/Iterator#C#_and_other_.NET_languages
  [4]: https://docs.microsoft.com/en-us/dotnet/api/system.linq.enumerable.any?view=net-6.0&WT.mc_id=DOP-MVP-5002397
  [5]: https://docs.microsoft.com/en-us/dotnet/api/system.array.length?view=net-6.0&WT.mc_id=DOP-MVP-5002397
  [6]: https://docs.microsoft.com/en-us/dotnet/api/system.string.length?view=net-6.0&WT.mc_id=DOP-MVP-5002397