StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
primarykey
Id
16892985
data
AcceptedAnswerId
0
AnswerCount
0
ClosedDate
CommentCount
0
CommunityOwnedDate
CreationDate
2013-06-03T08:47:07.517
FavoriteCount
0
LastActivityDate
2013-06-03T08:47:07.517
LastEditDate
LastEditorUserId
0
OwnerUserId
412908
ParentId
16892570
PostTypeId
2
Score
30
ViewCount
0
LastEditorDisplayName
text
Body
The <code>()</code> type can be thought of as a zero-element tuple. It's a type that can only have one value, and thus it's used where you need to have a type, but you don't actually need to convey any information. Here's a couple of uses for this. Monadic things like <code>IO</code> and <code>State</code> have a return value, as well as performing side-effects. Sometimes the only point of the operation is to perform a side-effect, like writing to the screen or storing some state. For writing to the screen, <code>putStrLn</code> must have type <code>String -> IO ?</code> -- <code>IO</code> always has to have some return type, but here there's nothing useful to return. So what type should we return? We could say Int, and always return 0, but that's misleading. So we return <code>()</code>, the type that has only one value (and thus no useful information), to indicate that there's nothing useful coming back. It's sometimes useful to have a type which can have no useful values. Consider if you'd implemented a type <code>Map k v</code> which maps keys of type <code>k</code> to values of type <code>v</code>. Then you want to implement a <code>Set</code>, which is really similar to a map except that you don't need the value part, just the keys. In a language like Java you might use booleans as the dummy value type, but really you just want a type that has no useful values. So you could say <code>type Set k = Map k ()</code> It should be noted that <code>()</code> is not particularly magic. If you want you can store it in a variable and do a pattern match on it (although there's not much point): <pre><code>main = do x <- putStrLn "Hello" case x of () -> putStrLn "The only value..." </code></pre>
Tags
Title
singulars
PostAcceptedAnswerId
1. This table or related slice is empty.
PostParentId
1. POWhat is () in Haskell, exactly?
 singulars
 PostTypePostTypeId
 PTQuestion
PostTypePostTypeId
1. PTAnswer
UserLastEditorUserId
1. This table or related slice is empty.
UserOwnerUserId
1. USNeil Brown
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
2. VO
 singulars
 PostPostId
 PO
 UserUserId
 This table or related slice is empty.
 VoteTypeVoteTypeId
 VTUpMod
3. 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.