Il paradigma di programmazione funzionale/imperativo è sicuramente uno dei più flessibili disponibili per trattare e risolvere molte problematiche tipiche dell’arte della programmazione. Alcuni linguaggi come <a href="http://www.ocaml.org/" target=_blank>OCaml</a> e <a href="http://www.standardml.org/" target=_blank>Standard ML</a> forniscono un eccellente strumento general purpose per i programmatori che vogliono un semplice, ma anche fortemente espressivo linguaggio in grado di incrementare la produttività, ridurre il tasso di errori e che permetta loro di concentrarsi quasi esclusivamente sui problemi da risolvere. Queste sono le premesse di F#, un nuovo linguaggio sviluppato da Microsoft che prende le migliori caratteristiche di OCaml e Standard ML e le fonde in un unico linguaggio funzionale/imperativo per il framework .NET.
La caratteristica principale di F# è quella di essere un linguaggio snello ed efficiente: fornisce infatti un piccolo numero di costrutti ortogonali che permettono la realizzazione di efficienti programmi sintetici. F# offre inoltre agli sviluppatori un sottoinsieme delle librerie standard OCaml; questo permette la costruzioni di applicazioni compilabili con gli altri compilatori OCaml disponibili per altre piattaforme, l’uso delle librerie .NET è infatti opzionale.
Per ulteriori informazioni e per scaricare il compilatore F# <a href="http://research.microsoft.com/projects/ilx/fsharp-release.htm" target=_blank>cliccate qui</a>. [GP]