E' un linguaggio funzionale in quanto supporta la definizione di valori, contiene strutture dati funzionali, pattern matching, ricorsione, pipeline, funzioni come valori e così via
E' molto simile a OCaml
La memoria è gestita dalla CLR, così come viene gestita da qualsiasi linguaggio compilabile in CIL
Se posso darti un consiglio,
http://en.wikibooks.org/wiki/F_Sharp_Programming
Anche io lo sto imparando, da la