Type Variables - Revision history

Polas: 4 revisions imported

2019-04-15T15:44:39Z

4 revisions imported

Polas at 14:13, 15 April 2013

2013-04-15T14:13:23Z

Polas at 18:12, 13 January 2013

2013-01-13T18:12:52Z

Polas at 16:03, 12 January 2013

2013-01-12T16:03:28Z

Polas: Created page with '== Syntax == typevar name::=type; name::=type; Note how ''::='' is used rather than '':='' ''typevar'' is the type equivalent of ''var'' == Semantics == Type variables allow …'

2010-01-10T21:55:57Z

Created page with '== Syntax == typevar name::=type; name::=type; Note how ''::='' is used rather than '':='' ''typevar'' is the type equivalent of ''var'' == Semantics == Type variables allow …'

New page

== Syntax ==

typevar name::=type;
name::=type;

Note how ''::='' is used rather than '':=''
''typevar'' is the type equivalent of ''var''

== Semantics ==

Type variables allow the programmer to assign types and type combinations to variables for use as normal program variables. These exist only in compilation and are not present in the runtime semantics.

== Example ==

typevar m::=Int :: allocated[multiple[]];
var f:m;
typevar q::=declaredtype f;
q::=m;

In the above code example, the type variable ''m'' has the type value ''Int :: allocated[multiple[]]'' assigned to it. On line 2, a new (program) variable is created using this new type variable. In line 3, the type variable ''q'' is declared and has the value of the declared type of program variable ''f''. Lastly in line 4, type variable ''q'' changes its value to become that of type variable ''m''. Although type variables can be thought of as the programmer creating new types, they can also be used like program variables in cases such as equality tests and assignment.

[[Category:Types]]

← Older revision		Revision as of 18:12, 13 January 2013
Line 20:		Line 20:
	In the above code example, the type variable ''m'' has the type value ''Int :: allocated[multiple[]]'' assigned to it. On line 2, a new (program) variable is created using this new type variable. In line 3, the type variable ''q'' is declared and has the value of the declared type of program variable ''f''. Lastly in line 4, type variable ''q'' changes its value to become that of type variable ''m''. Although type variables can be thought of as the programmer creating new types, they can also be used like program variables in cases such as equality tests and assignment.		In the above code example, the type variable ''m'' has the type value ''Int :: allocated[multiple[]]'' assigned to it. On line 2, a new (program) variable is created using this new type variable. In line 3, the type variable ''q'' is declared and has the value of the declared type of program variable ''f''. Lastly in line 4, type variable ''q'' changes its value to become that of type variable ''m''. Although type variables can be thought of as the programmer creating new types, they can also be used like program variables in cases such as equality tests and assignment.

		+	''Since: Version 0.5''

	[[Category:Types]]		[[Category:Types]]

← Older revision	Revision as of 15:44, 15 April 2019
(No difference)

@@ Line 13: / Line 13: @@
 == Example ==
-  typevar m::=Int :: allocated[multiple[]];
+  function void main() {
- var f:m;
+    typevar m::=Int :: allocated[multiple[]];
- typevar q::=declaredtype f;
+    var f:m;
- q::=m;
+    typevar q::=declaredtype f;
 In the above code example, the type variable ''m'' has the type value ''Int :: allocated[multiple[]]'' assigned to it. On line 2, a new (program) variable is created using this new type variable. In line 3, the type variable ''q'' is declared and has the value of the declared type of program variable ''f''. Lastly in line 4, type variable ''q'' changes its value to become that of type variable ''m''. Although type variables can be thought of as the programmer creating new types, they can also be used like program variables in cases such as equality tests and assignment.

@@ Line 9: / Line 9: @@
 == Semantics ==
-Type variables allow the programmer to assign types and type combinations to variables for use as normal program variables. These exist only in compilation and are not present in the runtime semantics.
+Type variables allow the programmer to assign types and type combinations to variables for use as normal program variables. These exist only statically (in compilation) and are not present in the runtime semantics.
 == Example ==