Specyfikacja LEM: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(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 - dodatkowym warunkiem:
+
* 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

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.

wersja Gliniana

wersja Gipsowa

wersja Drewniana

Wersja ostateczna - Kamienna