F# 2.0 et Visual Studio 2010

[LLB]

Comme ce forum manque un peu d'activité, je fais un petit message pour informer des nouveautés.

La version finale de Visual Studio 2010 vient tout juste de sortir et cela inclut F# 2.0.

F# n'a pas beaucoup changé depuis la dernière Release Candidate (j'en avais parlé), à part des bug fixs. Toujours est-il qu'on a enfin une version stable et production-ready.

[Dim Me As New Idiot]

Je l'utilise sous Mono et je dois dire que cela fonctionne plutôt bien

[LLB]

Ouais, il y a eu pas mal de travail à ce niveau-là, mais ça devrait encore être considérablement amélioré cette année (cf. cette offre).

[Dim Me As New Idiot]

Oui il y a aussi ce message sur le blog de Miguel de Icaza qui indique que la prochaine version de mono ajoutera la tailcall optimization (et donc un meilleur support de F#).

[Dim Me As New Idiot]

Bon finalement, F# et Mono c'est pas encore ça

Il y a encore de gros problèmes lorsque l'on fait de la composition de fonction ou lorsque l'on veut appeler des fonctions dans un when guard.

[LLB]

Je peux voir l'erreur ?

[Dim Me As New Idiot]

Tous les morceaux de code qui vont suivre fonctionne avec la CLR de Microsoft. Par contre certains d'entre-eux ne fonctionnent pas avec la version 2.6.3 de Mono.

Code :

1
2
3
4
5
6
7
8
9
10
>let whenGuardFailure cardsArray =
-    let subFunc v1 v2 v3 v4 =
-        v1 + v2 + v3 + v4
-    match cardsArray with
-    | [| v1; v2; v3; v4 |] when subFunc v1 v2 v3 v4 = 40 -> printfn "Excellent!"
-    | _                                                  -> printfn "Bouh!"
-
-whenGuardFailure [| 10; 10; 10; 10 |];;
Excellent!

Ici le code fonctionne comme sur la CLR de Microsoft.

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
>let whenGuardFailure cardsArray =
-    let subFunc v1 v2 v3 v4 =
-        v1 = v2 && v2 = v3 && v3 = v4
-    match cardsArray with
-    | [| v1; v2; v3; v4 |] when subFunc v1 v2 v3 v4 -> printfn "Excellent!"
-    | _                                             -> printfn "Bouh!"
-
-whenGuardFailure [| 10; 10; 10; 10 |];;
System.InvalidProgramException: Invalid IL code in FSI_0028:whenGuardFailure<int> (int[]): IL_0117: ret       


  at <StartupCode$FSI_0028>.$FSI_0028.main@ () [0x00000] 
  at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (object,object[],System.Exception&)
  at System.Reflection.MonoMethod.Invoke (System.Object obj, BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) [0x00000] 
Stopped due to error

Dans ce code, j'ai remplacé les opérations d'additions par des tests d'égalités dans la sous fonction et là, c'est le drame

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
>type Suit =
-    | H
-    | D
-    | S
-    | C
-
-type PlayingCard = Card of int * Suit
-
-let whenGuardFailure cardsArray =
-    let subFunc v1 v2 =
-        v1 = v2
-    match cardsArray with
-    | [| Card (v1, _); Card (v2, _) |] when subFunc v1 v2 -> printfn "Excellent!"
-    | _                                                   -> printfn "Bouh!"
-
-whenGuardFailure [| Card (10, H); Card (10, D) |];;
Excellent!

Dans ce test ci, j'utilise des types sommes et tout se déroule normalement.

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
>let whenGuardFailure cardsArray =
-    let subFunc v1 v2 v3 v4 =
-        v1 = v2 && v2 = v3 && v3 = v4
-    match cardsArray with
-    | [| Card (v1, _); Card (v2, _); Card (v3, _); Card (v4, _) |] when subFunc v1 v2 v3 v4 -> printfn "Excellent!"
-    | _                                                   -> printfn "Bouh!"
-
-whenGuardFailure [| Card (10, H); Card (10, D); Card (10, S); Card (10, C) |];;
System.InvalidProgramException: Invalid IL code in FSI_0013:subFunc@89-4<int> (int,int,int,int): IL_004f: ret       


  at FSI_0013.whenGuardFailure (.PlayingCard[] cardsArray) [0x00000] 
  at <StartupCode$FSI_0013>.$FSI_0013.main@ () [0x00000] 
  at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (object,object[],System.Exception&)
  at System.Reflection.MonoMethod.Invoke (System.Object obj, BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) [0x00000] 
Stopped due to error

Par contre dans cet exemple, j'ai seulement ajouté des paramètres à la fonction et visiblement il n'apprécie pas

[LLB]

Merci !

Pour info, c'est un bug de Mono lié à la génération dynamique de code (reflection.emit) avec les generics. L'équipe de Mono est au courant.

En attendant, pour contourner le problème, tu peux compiler ton code avec fsc ou ajouter des annotations de type.

[Dim Me As New Idiot]

J'ai testé avec une version preview de Mono 2.8 et effectivement c'est corrigé

[LLB]

Envoyé par Dim Me As New Idiot

J'ai testé avec une version preview de Mono 2.8 et effectivement c'est corrigé

En effet ! Mais tu risques de rencontrer parfois des "Operation is not supported" (qui disparaitront dans la prochaine mise à jour de F#).

[Dim Me As New Idiot]

Merci pour la précision!

Au fait tu sais si le support complet du langage (tail call opt, ...) a été implémentée dans la prochaine release de Mono ? Je te demande ça parce que la release note n'en fait pas mention.

[LLB]

Pour les tail calls, il n'y a pas encore eu de changement et je ne sais pas s'il y en aura. Pour le moment, il sont optimisés dans pas mal de cas, mais pas tous (cela dit, sous le .NET de Microsoft, on trouve également des restrictions, surtout en 64 bits, et les specs n'imposent rien).

Si tu trouves des bugs en compilant avec fsc, n'hésite pas à les signaler. Novell et Microsoft souhaitent tous deux améliorer la compat F#/Mono.

[Dim Me As New Idiot]

Bon il semblerait que le support des Tail Call Optimizations soit prévu pour la prochaine version de mono

[LLB]

Demain, F# (le compilo et la bibliothèque standard) seront publiés sous licence Apache 2.0.

[LLB]

C'est fait : http://blogs.msdn.com/b/dsyme/archiv...code-drop.aspx

[Dim Me As New Idiot]

Quelle bonne nouvelle Mais concrètement qu'est que cela va changer ?

[LLB]

Tu peux modifier le compilateur, corriger des problèmes dedans ou ajouter de nouvelles fonctionnalités. Tu peux donc faire un fork de F# (et ton fork peut être un logiciel libre, propriétaire ou commercial si tu veux).

Concrètement, c'est intéressant sur plusieurs niveaux. Beaucoup de gens préfèrent utiliser des logiciels libres, ça peut donc les convaincre d'utiliser F# (la licence était un frein pour certains). F# pourra être diffusé plus facilement, notamment sur les distributions Linux, qui pourront le proposer sans avoir à passer par un site de Microsoft. Si un jour Microsoft fait des "bêtises" ou cesse le développement de F#, n'importe qui pourra poursuivre le développement, ce qui améliore la pérennité. Certaines fonctionnalités pourront être développées, même si elle ne suivent pas les intérêts de Microsoft (un portage pour la JVM par exemple). Si des entreprises ont des besoins spécifiques, elles pourront modifier le compilateur (pour Caml, je sais qu'une entreprise maintient sa propre version du compilateur... mais elle a dû payer pour ça). Enfin, ça peut aussi convaincre des universités à enseigner F#.

[Dim Me As New Idiot]

Il y a quelque chose qui me turlupine dans son message :

After some discussion, we’ve decided to do this via a “code drop” model, where we make available versions of the compiler+library code logically matching each release of the F# language itself. In the F# team, releases of F# are matched to coincide with releases of Visual Studio itself: using this release cadence simplifies our development processes and gives clarity to language versioning. This means the code we are making available today is for the F# 2.0 language, released in April 2010, including the small changes for the MSI tools updates through November 2010. We expect to make matching code drops if/when service pack(s) of Visual Studio 2010 are released, though sometimes it may take a while for us to get that out the door.

En gros, d'après ce que je comprends, ils vont diffuser que des instantanés des sources du compilateur correspondant aux versions successives du compilateur (2.0, 3.0, etc...) ?

[LLB]

Oui, leur système de versionning n'est pas public. On ne peut pas accéder au code de développement, il faut attendre la version suivante.

[Dim Me As New Idiot]

Une nouvelle version de F# est sortie! Et c'est d'autant plus une bonne nouvelle qu'elle intègre des corrections spécifiques pour Mono

Il ne reste plus qu'un plugin pour monodevelop et mon bonheur sera complet