Yo tengo poca experiencia en el uso de lenguajes funcionales, pero te puedo comentar la diferencia entre los dos que has nombrado.

Haskell es un lenguaje puramente funcional, miesntras que F# es un lenguaje híbrido. Es decir que si bien la estructura del código de F# es funcional, permite el uso de sentencias que pertenecen a POO.

Yo siempre recomiendo el siguiente sitio cuando se trata de material de programación:

https://openlibra.com/es/collection

O la dirección:

http://www.tryfsharp.org/

Para una breve introducción al lenguaje mediante un sistema de escritura y ejecución de código en línea.