TIOBE is universally a laughing stock among actual programmers. They use Google searches, which disproportionately benefit high ranking websites like stack overflow that are flooded with Javascript/etc programmers. It is not an indicator of language popularity except in terms of absolute number of Google searches. If you created a brand new language that caught headlines despite being a heaping pile of garbage you'd rank very, very high on TIOBE. You might ask what is a better representation of language popularity? Job searches. This would put the most popular languages as Java, C#, Javascript, Python, C++ in no particular order, and everything else would be a very, very, very distant competitor.
F# is bad for another reason - if you have no idea how to program you won't understand how to program in a functional programming language. This is hotly contested issue in language design circles (if you start with functional programming you will by definition understand it - a nasty catch 22), but the algebraic nature of functional programming requires mental refinement a novice programmer won't have. The struggle to value ratio is very, very high even among professionals.
I love F# because its OCaml on .NET. I wouldn't recommend it to a new programmer at all. Having tutored programmers, explaining something as trivial as a flatmap in simple terms is relatively difficult, and having them understand the utility is even more difficult. Whereas there is significant value in functional programming, the value falls on deaf ears to novice programmers. This obviously isn't helped by the absolutely obnoxious programming circles that think not understanding category theory, type theory, and monads makes you a troglodyte.