Skip to content

Instantly share code, notes, and snippets.

@manofstick
Created February 12, 2016 02:01
Show Gist options
  • Save manofstick/7c557965e6cd4ca4339d to your computer and use it in GitHub Desktop.
Save manofstick/7c557965e6cd4ca4339d to your computer and use it in GitHub Desktop.
let depth = 1000000
module Test =
let check basis createItem =
let rec createList n l =
if n = 0 then l
else createList (n-1) (createItem (int64 n, int64 n) l)
let a0 = createList depth basis
let a1 = createList depth basis
(a0 = a1)
&& (a0 <= a1)
&& (a0 >= a1)
&& not (a0 < a1)
&& not (a0 > a1)
&& not (a0 <> a1)
let inline run basis createItem =
let createItemType = string (createItem.GetType ())
let sw = System.Diagnostics.Stopwatch.StartNew ()
if not (check basis createItem) then
failwith (sprintf "failed. (%A)" createItemType)
printf "%d\t\t%s\n" sw.ElapsedMilliseconds createItemType
module UnionViaTuple =
type XList<'T> = Nil | Cons of 'T * XList<'T>
let createItem n l = (Cons (n, l))
module UnionViaRecord =
type xListData<'T> = { N : 'T; L : xList<'T> }
and xList<'T> = Nil | Cons of xListData<'T>
let createItem n l = (Cons { N = n; L = l })
module UnionViaUnion =
type xListData<'T> = Data of 'T * XList<'T>
and XList<'T> = Nil | Cons of xListData<'T>
let createItem n l = (Cons (Data (n, l)))
module UnionViaGeneicType =
type Pair<'T,'U> = Pair of 'T * 'U
type XList<'T> = Nil | Cons of Pair<'T, XList<'T>>
let createItem n l = (Cons (Pair(n, l)))
module UnionViaStruct =
[<Struct>]
type xListData<'T>(n:'T,l:XList<'T>) =
member __.N = n
member __.L = l
and XList<'T> = Nil | Cons of xListData<'T>
let createItem n l = (Cons (xListData (n, l)))
module UnionViaGenericTypeStruct =
[<Struct>]
type xListData<'T, 'U>(n:'T,l:'U) =
member __.N = n
member __.L = l
type XList<'T> = Nil | Cons of xListData<'T, XList<'T>>
let createItem n l = (Cons (xListData (n, l)))
module RecordViaOption =
type XList<'T> = { N : 'T; L : option<XList<'T>> }
let createItem n l = Some { N = n; L = l }
Test.run UnionViaTuple.Nil UnionViaTuple.createItem
Test.run UnionViaRecord.Nil UnionViaRecord.createItem
Test.run UnionViaUnion.Nil UnionViaUnion.createItem
Test.run UnionViaGeneicType.Nil UnionViaGeneicType.createItem
#if DOESNT_WORK_ANYWHERE
Test.run UnionViaStruct.Nil UnionViaStruct.createItem
Test.run UnionViaGenericTypeStruct.Nil UnionViaGenericTypeStruct.createItem
#endif
Test.run None RecordViaOption.createItem
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment