StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
primarykey
Id
19709150
data
AcceptedAnswerId
0
AnswerCount
0
ClosedDate
CommentCount
0
CommunityOwnedDate
CreationDate
2013-10-31T14:26:13.317
FavoriteCount
0
LastActivityDate
2017-05-22T18:40:50.540
LastEditDate
2017-05-22T18:40:50.540
LastEditorUserId
2702391
OwnerUserId
235908
ParentId
13049882
PostTypeId
2
Score
3
ViewCount
0
LastEditorDisplayName
text
Body
Here is a number of useful examples of SML functors. They are made on the following premise: If you can do one set of things, this enables you to do another set of things. A functor for sets: If you can compare elements, you can create sets using balanced data structures (e.g. binary search trees or other kinds of trees). <pre><code>signature SET = sig type elem type set val empty : set val singleton : elem -> set val union : set -> set -> set val intersect : set -> set -> set end signature ORD = sig type t val compare : t * t -> order end functor BalancedSetFunctor(structure Cmp : ORD) :> SET = struct type elem = Cmp.t type set = ... val empty = ... fun singleton x = ... fun union s1 s2 = ... fun intersect s1 s2 = ... end </code></pre> A functor for iteration: For any kind of collection of things (e.g. lists), if you can iterate them, you can automatically fold them. You can also create different structures for different ways to fold across the same datatype (e.g. pre-order, in-order and post-order traversal of trees). <pre><code>signature ITERABLE = sig type elem type collection val next : collection -> (elem * collection) option end signature FOLD = sig type elem type collection val fold : (elem * 'b -> 'b) -> 'b -> collection -> 'b end functor FoldFunctor(Iter : ITERABLE) :> FOLD = struct type elem = Iter.elem type collection = Iter.collection fun fold f e xs = case Iter.next xs of NONE => e | SOME (x, xs') => fold f (f (x, e)) xs' end </code></pre>
Tags
Title
singulars
PostAcceptedAnswerId
1. This table or related slice is empty.
PostParentId
1. POStandard ML functor examples
 singulars
 PostTypePostTypeId
 PTQuestion
PostTypePostTypeId
1. PTAnswer
UserLastEditorUserId
1. USGary Guo
UserOwnerUserId
1. USSimon Shine
plurals
PostLinksPostIdRelatedPostId
1. This table or related slice is empty.
PostLinksRelatedPostIdPostId
1. This table or related slice is empty.
PostsAcceptedAnswerId
1. This table or related slice is empty.
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
CommentsPostId
1. This table or related slice is empty.

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.