Changes between Version 48 and Version 49 of Language


Ignore:
Timestamp:
05/22/23 15:05:47 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language

    v48 v49  
    1919=== The real type #real-types
    2020
    21 There is one real type, corresponding to the mathematical real numbers. Currently, all of the C real types `double`, `float`, etc., are mapped to the CIVL real type. [This is expected to change.]
     21There is one real type, corresponding to the mathematical real numbers. Currently, all of the C real types `double`, `float`, etc., are mapped to the CIVL real type.
     22[This is expected to change.]
    2223
    2324=== The process type `$proc` #proc-type
    2425
    25 This is a primitive object type and functions like any other primitive C type (e.g., `int`). An object of this type refers to a process. It can be thought of as a process ID, but it is not an integer and cannot be cast to one.  Certain expressions take an argument of `$proc` type and some return something of `$proc` type. The operators `==` and `!=` may be used with two arguments of type `$proc` to determine whether the two arguments refer to the same process.  The constant `$self` has `$proc` type and refers to the process evaluating this expression;  constant `$proc_null` has `$proc` type and refers to no process.
     26This is a primitive object type and functions like any other primitive C type (e.g., `int`).
     27An object of this type refers to a process. It can be thought of as a process ID, but it is not an integer and cannot be cast to one.
     28Certain expressions take an argument of `$proc` type and some return something of `$proc` type.
     29The operators `==` and `!=` may be used with two arguments of type `$proc` to determine whether the two arguments refer to the same process.
     30The constant `$self` has `$proc` type and refers to the process evaluating this expression;  constant `$proc_null` has `$proc` type and refers to no process.
    2631
    2732=== The scope type `$scope` #scope-type