Bienvenue à Blogs CodeS-SourceS Identification | Inscription | Aide

Pierrick's Blog

.Net "full power"

F# nouvelle CTP (1.9.6)

Que dire de cette CTP, si ce n' est qu' elle est mieux intégrée dans Visual Studio.

image

intellisense

image

de plus intégrable dans une usine de dev, puisque le projet est un projet MSBuild.

 

Mais LA fonctionnalité de cette CTP, c'est les unités de mesures.

#light

//heure
[<Measure>] type h
//km
[<Measure>] type km

j'ai défini un type unité 'h' pour les heures, et un type unité km pour les kilomètres,  je peux maintenant écrire ceci :

let Paris_Marseille = 780.0<km>
let VMax_autorise = 130.0<km/h>

ensuite il suffit d'utiliser ces unités de mesures

image

nbKm est de type <km>. ces unité de mesures sont très bien pour éviter de mélanger les choux et les carottes. Il est possible de définir des fonctions fortement typées, les appels seront contrôlés à la compilation.

let ToKm_h(x) = x * 1.0<km/h> 

let VFR_Max = ToKm_h(240.0)

let ParisMarseille (speed:float<km/h>) = 
  printfn
"Paris-Marseille à %.2f km/h se fait en %.2f heure(s)" 
    <| float(speed) 
    <| float(Paris_Marseille / speed) 

ParisMarseille VMax_autorise
ParisMarseille VFR_Max
ParisMarseille 150.0<km>

la dernière ligne empêche toute compilation

 image

on peut aussi s' amuser avec des unités un peu plus proche de nous......

[<Measure>] type annee
[<Measure>]
type homme
[<Measure>]
type ah = annee / homme 

let heure_par_mois = 169.0<h>
let heure_par_an = 11.0 * heure_par_mois

let ToYear(x:float<h>) = (x / heure_par_an) * 1.0<annee>

let me = 1.0<homme>
let SpentTime(x:float<h>) = ToYear(x) / me

printfn
""
printfn "cet exemple a pris %f annee/homme " <| float(SpentTime(1.0<h>))

le fait de spécifier des unités, cela rend le code plus compréhensible.

au fait avec tout ça j' ai perdu combien d'années ??

image

Mais comment est-ce traduit après compilation ? (que nous dit reflector ?)

image

en double tout simplement, ce qui implique que ces unités de mesures ne sont que du sucre syntaxique pour F#,  mais à mon avis très utile. Pour preuve Andrew Kennedy, relate un fait passé en 1999 (125 million de $, perdu par la NASA, pour une erreur d'unité).

 

1.0<homme> / xxxx<km/h>

Ce post vous a plu ? Ajoutez le dans vos favoris pour ne pas perdre de temps à le retrouver le jour où vous en aurez besoin :
Posted: dimanche 31 août 2008 10:39 par pierrick

Commentaires

Pas de commentaires

Les commentaires anonymes sont désactivés

Les 10 derniers blogs postés

- Office 365: Modifier les jeux de couleur dans les Thèmes des pages modernes de SharePoint Online par Blog Technique de Romelard Fabrice le 07-04-2018, 13:26

- Office 365: Script PowerShell pour fixer le Quota Warning de toutes les collections d’un tenant par Blog Technique de Romelard Fabrice le 07-03-2018, 14:16

- MVP Award 2018-2019 par Blog de Jérémy Jeanson le 07-02-2018, 20:39

- Reprise des articles de 2014 à aujourd’hui par Blog de Jérémy Jeanson le 06-20-2018, 13:00

- Office 365: Comment créer un sous-plan dans Office 365 Planner par Blog Technique de Romelard Fabrice le 06-14-2018, 17:19

- Office 365: Script PowerShell de création de sous-sites basés sur CSOM ou PnP par Blog Technique de Romelard Fabrice le 06-12-2018, 14:58

- Office 365: Comment exporter tous les comptes Azure Active Directory ayant une license via PowerShell par Blog Technique de Romelard Fabrice le 05-17-2018, 13:46

- PowerShell: Comment avoir le Country Name depuis un Country Code par Blog Technique de Romelard Fabrice le 05-17-2018, 13:20

- Office 365: Comment supprimer un compte externe d’un site SharePoint Online en mode Extranet par Blog Technique de Romelard Fabrice le 05-11-2018, 17:00

- Office 365: Comment reconfigurer le lien “Bloc-notes” d’un teamsite par Blog Technique de Romelard Fabrice le 05-09-2018, 16:45