file downloader F#

fileDownloaderFsharp.fsx

#r "nuget: Microsoft.ML"
#r "nuget: Microsoft.ML.OnnxTransformer"
#r "nuget: System.Net.Http"
#r "nuget: Downloader"

// Import required namespaces
open System
open Downloader

let downloadFileWithProgress (destinationPath: string) (url: string) =
    let config = DownloadConfiguration(
        ParallelDownload = true,
        ChunkCount = 10
    )
    let downloader = new DownloadService(config)

    let rnd = new Random()
    // Register event handlers for progress reporting
    downloader.DownloadProgressChanged.Add(fun args ->
        if args.ProgressPercentage = 100. || rnd.Next(200) = 1 then 
            printfn "Progress: %.2f, Speed: %f KB/s, Transferred: %d MB, Total: %d MB" 
                args.ProgressPercentage 
                (args.BytesPerSecondSpeed / 1024.0) 
                (args.ReceivedBytes.Length / (1024 * 1024)) 
                (args.TotalBytesToReceive / (1024L * 1024L))
    )

    downloader.DownloadFileTaskAsync(url, destinationPath) 

// Example usage
let test () = 
    "https://huggingface.co/onnx-community/Phi-3.5-mini-instruct-onnx-web/resolve/main/onnx/model_q4f16.onnx"
    |> downloadFileWithProgress "./downloaded_test.onnx"
    |> Async.AwaitTask 
    |> Async.RunSynchronously

test()