StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
primarykey
Id
2947006
data
AcceptedAnswerId
0
AnswerCount
0
ClosedDate
CommentCount
5
CommunityOwnedDate
CreationDate
2010-06-01T02:37:16.860
FavoriteCount
0
LastActivityDate
2010-06-01T03:17:16.793
LastEditDate
2010-06-01T03:17:16.793
LastEditorUserId
17919
OwnerUserId
17919
ParentId
2945880
PostTypeId
2
Score
1
ViewCount
0
LastEditorDisplayName
text
Body
Reflector shows test2() turned into 4 classes while test1() is turned into two classes. This only happens in debug mode. Reflector shows identical code (one class for each) in release mode. Unfortunately Reflector is crashing when I try to view the source in C# and the IL is really long. <pre><code>let test1() = let gL = G_of 1L [1L..1000000L] |> List.map (fun n -> factorize gL n) let test2() = [1L..1000000L] |> List.map (fun n -> factorize (G_of 1L) n) </code></pre> A quick benchmark. <pre><code>let sw = Stopwatch.StartNew() test1() |> ignore sw.Stop() Console.WriteLine("test1 {0}ms", sw.ElapsedMilliseconds) let sw2 = Stopwatch.StartNew() test2() |> ignore sw2.Stop() Console.WriteLine("test2 {0}ms", sw2.ElapsedMilliseconds) </code></pre> Benchmarks ran on I7 950 @3368Mhz, windows 7 64bit, VS2010 F#2.0 x86 Debug <code>test1 8216ms</code> <code>test2 8237ms</code> x86 Release <code>test1 6654ms</code> <code>test2 6680ms</code> x64 Debug <code>test1 10304ms</code> <code>test2 10348ms</code> x64 Release <code>test1 8858ms</code> <code>test2 8977ms</code> Here is the complete code. <pre><code>open System open System.Diagnostics let inline zero_of (target:'a) : 'a = LanguagePrimitives.GenericZero<'a> let inline one_of (target:'a) : 'a = LanguagePrimitives.GenericOne<'a> let inline two_of (target:'a) : 'a = one_of(target) + one_of(target) let inline three_of (target:'a) : 'a = two_of(target) + one_of(target) let inline negone_of (target:'a) : 'a = zero_of(target) - one_of(target) let inline any_of (target:'a) (x:int) : 'a = let one:'a = one_of target let zero:'a = zero_of target let xu = if x > 0 then 1 else -1 let gu:'a = if x > 0 then one else zero-one let rec get i g = if i = x then g else get (i+xu) (g+gu) get 0 zero type G<'a> = { negone:'a zero:'a one:'a two:'a three:'a any: int -> 'a } let inline G_of (target:'a) : (G<'a>) = { zero = zero_of target one = one_of target two = two_of target three = three_of target negone = negone_of target any = any_of target } let inline factorizeG n = let g = G_of n let rec factorize n j flist = if n = g.one then flist elif n % j = g.zero then factorize (n/j) j (j::flist) else factorize n (j + g.one) (flist) factorize n g.two [] let inline factorize (g:G<'a>) n = //' let rec factorize n j flist = if n = g.one then flist elif n % j = g.zero then factorize (n/j) j (j::flist) else factorize n (j + g.one) (flist) factorize n g.two [] let test1() = let gL = G_of 1L [1L..100000L] |> List.map (fun n -> factorize gL n) let test2() = [1L..100000L] |> List.map (fun n -> factorize (G_of 1L) n) let sw2 = Stopwatch.StartNew() test1() |> ignore sw2.Stop() Console.WriteLine("test1 {0}ms", sw2.ElapsedMilliseconds) let sw = Stopwatch.StartNew() test2() |> ignore sw.Stop() Console.WriteLine("test2 {0}ms", sw.ElapsedMilliseconds) Console.ReadLine() |> ignore </code></pre>
Tags
Title
singulars
PostAcceptedAnswerId
1. This table or related slice is empty.
PostParentId
1. POF# performance question: what is the compiler doing?
 singulars
 PostTypePostTypeId
 PTQuestion
PostTypePostTypeId
1. PTAnswer
UserLastEditorUserId
1. USgradbot
UserOwnerUserId
1. USgradbot
plurals
PostLinksPostIdRelatedPostId
1. This table or related slice is empty.
PostLinksRelatedPostIdPostId
1. This table or related slice is empty.
PostsAcceptedAnswerId
1. POF# performance question: what is the compiler doing?
 singulars
 PostTypePostTypeId
 PTQuestion
PostsParentIdCreationDate
1. This table or related slice is empty.
VotesPostIdCreationDate
1. VO
 singulars
 PostPostId
 PO
 UserUserId
 This table or related slice is empty.
 VoteTypeVoteTypeId
 VTUpMod
2. VO
 singulars
 PostPostId
 PO
 UserUserId
 This table or related slice is empty.
 VoteTypeVoteTypeId
 VTAcceptedByOriginator
CommentsPostId

Querying!

Guidance

A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.