I've seen the benefits of teaching freshman (and anyone) functional programming first.

The "comments" are really an introduction to type systems, along with general good practice.

The ability to describe a function by purely it's signature without the presence of mutation makes reasoning through hard problems more straightforward.