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/collectionO 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.