Dear All:
+++++++++++++++++++++++++++++++++++
#light
open System
open System.IO
open System.Runtime.Serialization.Formatters.Binary

let f32Serialize(float32s: float32 array) =
let ramStream = new MemoryStream()
let binFormatter = new BinaryFormatter()
binFormatter.Serialize( ramStream, float32s ) |> ignore
ramStream.Seek(0L, SeekOrigin.Begin) |> ignore
let ramArray = ramStream.ToArray()
ramArray

let deserializeObj(aObj: byte[]) =
let ramStream = new MemoryStream()
let binFormatter = new BinaryFormatter()
ramStream.Write(aObj, 0, aObj.Length)
ramStream.Seek(0L, SeekOrigin.Begin) |> ignore
let readArray = binFormatter.Deserialize(ramStream)
readArray

let f1Array = [| 1.0f; 2.0f; 3.0f |]
let f1Serial = f32Serialize(f1Array)
let f1Deserial = deserializeObj(f1Serial)
let f2Array = [| 4.0f; 5.0f; 6.0f |]
let f1f2Array = Array.concat[f1Deserial; f2Array]
printfn "Done"
+++++++++++++++++++++++++++++++++
I want to get a new array, as in the above code, I want to get:
let f1f2Array = [| 1.0f; 2.0f; 3.0f; 4.0f; 5.0f; 6.0f |]
But I have to use serialize and deserialize, since the f1Array has to be saved in SQL Server database as binary value, and after I retrieve the value using deserializeObj, I need to add another float32 array to get a new float32 array.
The above code did NOT get compiled, the error message:
This expression was expected to have type 'a [] but here has type obj
The issue is: how I can change the type of object to float32 array?
Anyone who has an idea, would you please offer your code.
Thanks,