Recent changes to sort

WikiPage sort modified by Brandon Barker

Brandon Barker — Sun, 03 Mar 2013 20:03:06 -0000

WikiPage sorts modified by Brandon Barker

Brandon Barker — Sun, 03 Mar 2013 20:02:44 -0000

WikiPage Sorts modified by Brandon Barker

Brandon Barker — Sun, 03 Mar 2013 02:48:25 -0000

--- v3
+++ v4
@@ -9,7 +9,7 @@

 Other sorts
 -----------
-**cls, eff, prop, t@ype, type, view**
+**cls, eff, prop, t@ype, type, view, viewt@ype, viewtype**

 **Effs** are [function effects](https://groups.google.com/d/msg/ats-lang-users/88CYxwKl0M0/GAvDQQKkzJ8J).

WikiPage Sorts modified by Brandon Barker

Brandon Barker — Sun, 03 Mar 2013 00:20:18 -0000

--- v2
+++ v3
@@ -2,8 +2,15 @@

 This is a list of sorts (*i.e.* static types) that are the basis for the static language of ATS.

-**Ground Sorts.** These are sorts that are present as types in C. (Is this true?) Combined with other sorts and features of ATS, this allows us to prove at compile-time propositions made involving C types (or more complex types involving these ground sorts). This means also that every ground sort has an analogous dynamic type of the sort t@ype:
+Ground Sorts
+------------------
+These are sorts that are present as types in C. (Is this true?) Combined with other sorts and features of ATS, this allows us to prove at compile-time propositions made involving C types (or more complex types involving these ground sorts). This means also that every ground sort has an analogous dynamic type of the sort t@ype:
 **int, bool char, addr**

-**Other sorts:**
+Other sorts
+-----------
 **cls, eff, prop, t@ype, type, view**
+
+**Effs** are [function effects](https://groups.google.com/d/msg/ats-lang-users/88CYxwKl0M0/GAvDQQKkzJ8J).
+
+**Views** are linear resources that signify a certain type is accessible from an associated variable. At-views, or @ views, are a special case of views which signify that a certain type is dereferencable at a specified memory location; they are used with pointers.

WikiPage Sorts modified by Brandon Barker

Brandon Barker — Sat, 02 Mar 2013 23:46:15 -0000

--- v1
+++ v2
@@ -2,7 +2,7 @@

 This is a list of sorts (*i.e.* static types) that are the basis for the static language of ATS.

-**Ground Sorts.** These are sorts that are present as types in C. (Is this true?) Combined with other sorts and features of ATS, this allows us to prove at compile-time propositions made involving C types (or more complex types involving these ground sorts):
+**Ground Sorts.** These are sorts that are present as types in C. (Is this true?) Combined with other sorts and features of ATS, this allows us to prove at compile-time propositions made involving C types (or more complex types involving these ground sorts). This means also that every ground sort has an analogous dynamic type of the sort t@ype:
 **int, bool char, addr**

 **Other sorts:**

WikiPage Sorts modified by Brandon Barker

Brandon Barker — Sat, 02 Mar 2013 23:41:11 -0000

This page is incomplete, and needs review

This is a list of sorts (i.e. static types) that are the basis for the static language of ATS.

Ground Sorts. These are sorts that are present as types in C. (Is this true?) Combined with other sorts and features of ATS, this allows us to prove at compile-time propositions made involving C types (or more complex types involving these ground sorts):
int, bool char, addr

Other sorts:
cls, eff, prop, t@ype, type, view