Declaration - Revision history

Polas: 13 revisions imported

2019-04-15T15:44:27Z

13 revisions imported

Polas at 14:09, 15 April 2013

2013-04-15T14:09:41Z

Polas at 18:10, 13 January 2013

2013-01-13T18:10:07Z

Polas: /* Syntax */

2013-01-12T13:59:00Z

‎Syntax

Polas at 13:58, 12 January 2013

2013-01-12T13:58:26Z

Polas: /* Examples */

2009-12-31T15:57:10Z

‎Examples

Polas: moved Variable Declaration to Declaration

2009-12-31T15:43:11Z

moved Variable Declaration to Declaration

Polas: /* Syntax */

2009-12-31T15:41:50Z

‎Syntax

Polas at 15:40, 31 December 2009

2009-12-31T15:40:27Z

Polas at 15:34, 31 December 2009

2009-12-31T15:34:36Z

@@ Line 16: / Line 16: @@
 == Examples ==
-  var a;
+  function void main() {
- var b:=99;
+    var a;
- a:="hello";
+    var b:=99;
 In the code example above, the variable ''a'' is declared, without any further information the type is infered by its first use (to hold type String.) Variable ''b'' is declared with value 99, an integer and as such the type is infered to be both Int and allocated on multiple processes.
-  var t:Char;
+  function void main() {
- var z:Char :: allocated[single[on[2]]];
+    var t:Char;
 Variable ''t'' is declared to be a character, without further type information it is also assumed to be on all processes (by default the type Char is allocated to all processes.) Lastly, the variable ''z'' is declared to be of type character, but is allocated only on a single process (process 2.)

← Older revision		Revision as of 18:10, 13 January 2013
Line 27:		Line 27:
	Variable ''t'' is declared to be a character, without further type information it is also assumed to be on all processes (by default the type Char is allocated to all processes.) Lastly, the variable ''z'' is declared to be of type character, but is allocated only on a single process (process 2.)		Variable ''t'' is declared to be a character, without further type information it is also assumed to be on all processes (by default the type Char is allocated to all processes.) Lastly, the variable ''z'' is declared to be of type character, but is allocated only on a single process (process 2.)

		+	''Since: Version 0.41b''
	[[Category:sequential]]		[[Category:sequential]]

@@ Line 3: / Line 3: @@
 All variables must be declared before they are used. In Mesham one may declare a variable via its value or explicit type.
-var [varname];<br>
+var name;<br>
-var [varname]:=[Value];<br>
+var name:=[Value];<br>
-var [varname]:[Type];<br>
+var name:[Type];<br>
 == Semantics ==

@@ Line 1: / Line 1: @@
 == Syntax ==
-Variable declaration is a key part to any language. In order to declare a variable in Mesham the ''var'' keyword is used.
+All variables must be declared before they are used. In Mesham one may declare a variable via its value or explicit type.
 var [varname];<br>
@@ Line 9: / Line 9: @@
 == Semantics ==
-In the case of a value being specified, the compiler will infer the type via type inference, also making the assumption that the variable is allocated on each process.
+The environment will map the identifier to storage location and that variable is now usable. In the case of a value being specified then the compiler will infer the type via type inference either here or when the first assignment takes place.<br><br>
 == Examples ==
@@ Line 16: / Line 17: @@
   var b:=99;
   a:="hello";
   var t:Char;
   var z:Char :: allocated[single[on[2]]];
-In the code example above, the variable "a" is declared, without any further information the type is infered by its first use (to hold type String.) Variable "b" is declared with value 99, an integer and as such the type is infered to be both Int and allocated on multiple processes. "t" is declared to be a character, without further type information it is also assumed to be on all processes (the type Char is automatically coherced with the type allocated[multiple[]]. Lastly, the variable "z" is declared to be of type character, but is allocated only on a single process (process 2.)
+Variable ''t'' is declared to be a character, without further type information it is also assumed to be on all processes (by default the type Char is allocated to all processes.) Lastly, the variable ''z'' is declared to be of type character, but is allocated only on a single process (process 2.)
 [[Category:sequential]]

@@ Line 13: / Line 13: @@
 == Examples ==
-var a;<br>
+ var a;
-var b:=99;<br>
+ var b:=99;
-a:="hello";<br>
+ a:="hello";
-var t:Char;<br>
+ var t:Char;
-var z:Char :: allocated[single[on[2]]];<br>
+ var z:Char :: allocated[single[on[2]]];
 In the code example above, the variable "a" is declared, without any further information the type is infered by its first use (to hold type String.) Variable "b" is declared with value 99, an integer and as such the type is infered to be both Int and allocated on multiple processes. "t" is declared to be a character, without further type information it is also assumed to be on all processes (the type Char is automatically coherced with the type allocated[multiple[]]. Lastly, the variable "z" is declared to be of type character, but is allocated only on a single process (process 2.)
 [[Category:sequential]]

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

← Older revision	Revision as of 15:43, 31 December 2009
(No difference)