I highly agree with the sentiment. Learning languages of different paradigms is sort of like travelling to visit other cultures to make you a more rounded, better person. Learn a functional language (lisp/Haskell). Learn a concatenative language (forth/Factor). Learn a logical language (Prolog/?). Heck even learn an assembly! (I suggest RISC-V).

A few good reasons, the first being that brand new operating systems don’t get written all that often. But even if they were, functional languages focus a lot on abstractions, making them generally higher level languages and so not fast enough to compete with C.

Having said that, Rust’s design is quite inspired by functional languages in many ways, and it is indeed being used in operating systems.

Sorry for replying to an old comment, but do you have some source to support this? I am searching online but finding nothing :(