Modula-2 Reloaded

A Modern Typesafe & Literate Programming Notation

Discussion

WiP.Discussion History

Hide minor edits - Show changes to output

2015-09-16 14:20 by trijezdci -

Deleted lines 2-4:

!!!!Non-Negative Subset Number Types
*[[WiP/DerivedNumericSubsetTypes]]

2010-04-13 05:26 by benjk -

Added line 25:

*[[Type SampleTuple]]

2010-04-12 05:21 by benjk -

Added lines 1-3:

!!!!Outstanding Issues
*[[ListOfOutstandingIssues]]

2010-04-11 06:32 by benjk -

Added line 19:

*[[Type SampleINT]]

Deleted line 20:

*[[Type SampleINT]]

2010-04-10 08:55 by benjk -

Changed lines 4-5 from:

!!!!~~Synthesis of Type~~ Conversion ~~between Non-scalar Types~~

to:

!!!!Type Conversion
*[[SerialisedScalarFormat]]

2010-04-09 15:27 by benjk -

Changed line 21 from:

to:

*[[Type SampleCollection]]

2010-04-07 15:43 by benjk -

Added lines 3-5:

!!!!Synthesis of Type Conversion between Non-scalar Types
*[[WiP/SynthesisOfNonScalarTypeConversion]]

2010-04-04 10:28 by benjk -

Deleted lines 3-6:

!!!!Examples of Library Defined Integer Types
*[[Type SampleUINT]]
*[[Type SampleINT]]

Added lines 12-18:

!!!!Various Examples of Library Defined Types
These definitions are for illustration only, they are not meant to become part of the standard library.
*[[Type SampleUINT]]
*[[Type SampleINT]]
*[[Type SampleVector]]

2010-04-04 09:36 by benjk -

Added lines 3-6:

!!!!Examples of Library Defined Integer Types
*[[Type SampleUINT]]
*[[Type SampleINT]]

2010-04-02 05:41 by benjk -

Changed lines 10-11 from:

*[type STRING]
*[type UNISTRING]

to:

*[[type STRING]]
*[[type UNISTRING]]

2010-04-02 05:41 by benjk -

Added lines 8-11:

!!!!String Types
*[type STRING]
*[type UNISTRING]

2010-04-02 03:42 by benjk -

Deleted lines 1-5:

The following integer subset types may become part of the standard library:
*[[Type NATURAL]]
*[[Type LONGNAT]]

Possible alternative ways to derive non-negative subsets of numeric types:

2010-03-28 09:57 by benjk -

Changed line 1 from:

!!!!~~Natural~~ Number Types

to:

!!!!Non-Negative Subset Number Types

Deleted lines 12-16:

!!!!Additional Pervasive Types
The following pervasive types may or may not be desirable:
*[[Type UNSIGNED]]
*[[Type SIZEINT]]

2010-03-28 09:54 by benjk -

Changed line 6 from:

Possible alternative ways to derive ~~0 .. x~~ subsets of numeric types:

to:

Possible alternative ways to derive non-negative subsets of numeric types:

2010-03-28 09:53 by benjk -

Added lines 5-7:

Possible alternative ways to derive 0 .. x subsets of numeric types:
*[[WiP/DerivedNumericSubsetTypes]]

2010-03-27 16:52 by benjk -

Added lines 1-5:

!!!!Natural Number Types
The following integer subset types may become part of the standard library:
*[[Type NATURAL]]
*[[Type LONGNAT]]

2010-03-21 16:46 by benjk -

Changed lines 4-9 from:

*[[Type LONGCOMPLEX]]

to:

*[[Type LONGCOMPLEX]]

!!!!Additional Pervasive Types
The following pervasive types may or may not be desirable:
*[[Type UNSIGNED]]
*[[Type SIZEINT]]

2010-01-17 12:50 by benjk -

Added lines 1-2:

!!!!Complex Types
The definition parts of modules COMPLEX and LONGCOMPLEX need to be amended to allow operator binding.

2010-01-17 12:45 by benjk -

Changed lines 1-2 from:

*[[Type COMPLEX]]

to:

*[[Type COMPLEX]]
*[[Type LONGCOMPLEX]]

2010-01-17 12:30 by benjk -

Added line 1:

*[[Type COMPLEX]]