Specyfikacja LEM: Różnice pomiędzy wersjami
Z Lem
(→Szkic specyfikacji projektu LEM) |
|||
| Linia 1: | Linia 1: | ||
== Szkic specyfikacji projektu LEM == | == Szkic specyfikacji projektu LEM == | ||
| + | Główne założenie projektu LEM: '''język ma służyć do komunikacji pomiędzy ludźmi'''. | ||
Wersja z 10:57, 31 sty 2018
Spis treści
Szkic specyfikacji projektu LEM
Główne założenie projektu LEM: język ma służyć do komunikacji pomiędzy ludźmi.
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.
