Specyfikacja LEM: Różnice pomiędzy wersjami
Z Lem
(→Notatki -brulion) |
|||
(Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
Linia 4: | Linia 4: | ||
=== Notatki -brulion === | === Notatki -brulion === | ||
− | * zachować tyle ile można z gramatyki Loglanu'82. | + | * zachować tyle ile można z gramatyki Loglanu'82. ale uwzględni |
* 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 - tego brakuje w Loglanie'82.. | * jakoś zdefiniować bibliotekę(i) klas i procedur - tego brakuje w Loglanie'82.. | ||
Linia 20: | Linia 20: | ||
=== Wersja ostateczna - '''Kamienna''' === | === Wersja ostateczna - '''Kamienna''' === | ||
+ | |||
+ | |||
+ | [[Category:LEM]] |
Wersja z 23:37, 11 kwi 2014
Spis treści
Szkic specyfikacji projektu LEM
Notatki -brulion
- zachować tyle ile można z gramatyki Loglanu'82. ale uwzględni
- 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.