eopen Systeeopen System

open System.Text.RegularExpressions

​

//Solution Active Pattern

let (|EmailAddress|_|) input =

   let m = Regex.Match(input,@".+@.+") 

   if (m.Success) then Some input else None  

​

// use the active pattern in the match   

let classifyString aString = 

    match aString with 

    | EmailAddress x -> 

        printfn "%s is an email" x

​

​

​

//Module pour la gestion du Type EmailAddress:

module EmailAddress = 

    type EmailAddress = EmailAddress of string

​

    type EmailContactInfo = {

        EmailAddress: EmailAddress;

        IsEmailVerified: bool

    }

​

​

    //Constructor:

    let create(s:string) = 

        if System.Text.RegularExpressions.Regex.IsMatch(s,@"^\S+@\S+\.\S+$") 

            then Some(EmailAddress s)

            else None

    //Constructor avec continuation:

​

    let value (EmailAddress e) = e

open EmailAddress

​

//Test unitaire:

let address1 = EmailAddress.create "example.com"

​

let str = match address1 with 

           |Some(e) -> EmailAddress.value(e)

           |None -> "non conforme"

printfn "%s" str

​

let makeResource name = { new System.IDisposable with member this.Dispose() = printfn "%s disposed" name}

​

let exampleUseBinding name = 

        use myResource = makeResource name

        printfn "done"

exampleUseBinding "hello"

​

​

​

​