Specyfikacja LEM: Różnice pomiędzy wersjami
Z Lem
(→Notatki -brulion) |
|||
| Linia 6: | Linia 6: | ||
* zachować tyle ile można z gramatyki Loglanu'82. | * zachować tyle ile można z gramatyki Loglanu'82. | ||
* wprowadzić moduły interface, specification, verification (z myślą o projekcie SpecVer). | * wprowadzić moduły interface, specification, verification (z myślą o projekcie SpecVer). | ||
| − | * jakoś zdefiniować bibliotekę(i) klas i procedur. | + | * jakoś zdefiniować bibliotekę(i) klas i procedur - tego brakuje w Loglanie'82.. |
| − | * zezwolić na przekazywanie typu jako parametru | + | * zezwolić na przekazywanie typu jako parametru z dodatkowym warunkiem: typ przekazywany jako parametr aktualny ma być podtypem typu T wymienionego jako parametr formalny w deklaracji procedury. |
| − | typ przekazywany jako parametr aktualny ma być podtypem typu T wymienionego jako parametr formalny w deklaracji procedury | + | * zachować czy zmodyfikować sygnalizacje wyjątków i ich obsługę? |
| − | + | ||
=== Pierwsza wersja specyfikacji - Trawiasta === | === Pierwsza wersja specyfikacji - Trawiasta === | ||
Wersja z 12:02, 2 lut 2013
Spis treści
Szkic specyfikacji projektu LEM
Notatki -brulion
- zachować tyle ile można z gramatyki Loglanu'82.
- wprowadzić moduły interface, specification, verification (z myślą o projekcie SpecVer).
- jakoś zdefiniować bibliotekę(i) klas i procedur - tego brakuje w Loglanie'82..
- zezwolić na przekazywanie typu jako parametru z dodatkowym warunkiem: typ przekazywany jako parametr aktualny ma być podtypem typu T wymienionego jako parametr formalny w deklaracji procedury.
- zachować czy zmodyfikować sygnalizacje wyjątków i ich obsługę?
Pierwsza wersja specyfikacji - Trawiasta
Tu będzie spisana trawiasta wersja specyfikacji języka LEM.
