StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
primarykey
Id
12533495
data
AcceptedAnswerId
0
AnswerCount
0
ClosedDate
CommentCount
0
CommunityOwnedDate
CreationDate
2012-09-21T15:24:47.813
FavoriteCount
0
LastActivityDate
2014-09-10T05:58:50.757
LastEditDate
2014-09-10T05:58:50.757
LastEditorUserId
1477667
OwnerUserId
83805
ParentId
12532552
PostTypeId
2
Score
69
ViewCount
0
LastEditorDisplayName
text
Body
<blockquote> if somebody could at least tell me where to start looking to comprehend what this sea of symbols means </blockquote> See "<a href="http://www.cs.cmu.edu/~rwh/plbook/book.pdf" rel="noreferrer">Practical Foundations of Programming Languages.</a>", chapters 2 and 3, on the style of logic through judgements and derivations. The entire book is <a href="http://rads.stackoverflow.com/amzn/click/1107029570" rel="noreferrer">now available on Amazon.</a> <h2>Chapter 2</h2> <h1>Inductive Definitions</h1> Inductive definitions are an indispensable tool in the study of programming languages. In this chapter we will develop the basic framework of inductive definitions, and give some examples of their use. An inductive definition consists of a set of rules for deriving judgments, or assertions, of a variety of forms. Judgments are statements about one or more syntactic objects of a specified sort. The rules specify necessary and sufficient conditions for the validity of a judgment, and hence fully determine its meaning. <h3>2.1 Judgments</h3> We start with the notion of a judgment, or assertion about a syntactic object. We shall make use of many forms of judgment, including examples such as these: <ul> <li>n nat — n is a natural number</li> <li>n = n1 + n2 — n is the sum of n1 and n2</li> <li>τ type — τ is a type</li> <li>e : τ — expression e has type τ</li> <li>e ⇓ v — expression e has value v</li> </ul> A judgment states that one or more syntactic objects have a property or stand in some relation to one another. The property or relation itself is called a judgment form, and the judgment that an object or objects have that property or stand in that relation is said to be an instance of that judgment form. A judgment form is also called a predicate, and the objects constituting an instance are its subjects. We write a J for the judgment asserting that J holds of a. When it is not important to stress the subject of the judgment, (text cuts off here)
Tags
Title
singulars
PostAcceptedAnswerId
1. This table or related slice is empty.
PostParentId
1. PO"What part of Hindley-Milner do you not understand?"
 singulars
 PostTypePostTypeId
 PTQuestion
PostTypePostTypeId
1. PTAnswer
UserLastEditorUserId
1. USdfeuer
UserOwnerUserId
1. USDon Stewart
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.