Lem:O Lem: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
 
(Nie pokazano 4 pośrednich wersji utworzonych przez tego samego użytkownika)
Linia 2: Linia 2:
 
Celem tego projektu jest zbadanie czy można stworzyć język programowania o pewnych określonych cechach (zob. [[specyfikacja LEM]]).
 
Celem tego projektu jest zbadanie czy można stworzyć język programowania o pewnych określonych cechach (zob. [[specyfikacja LEM]]).
  
Język LEM ma oprzeć się na osiągnięciach projektu Loglan'82 i wykorzystać to co bobre w językach programowania obiektowego nowszych generacji: Java, C++, C#, etc.
+
Język LEM ma oprzeć się na osiągnięciach projektu Loglan'82 i wykorzystać to co dobre w językach programowania obiektowego nowszych generacji: Java, C++, C#, etc.
  
 
LEM powinien wejść w skład innego większego projektu SpecVer.
 
LEM powinien wejść w skład innego większego projektu SpecVer.
Linia 12: Linia 12:
 
! projekt LEM !! Loglan'82 !! projekt SpecVer  
 
! projekt LEM !! Loglan'82 !! projekt SpecVer  
 
|-
 
|-
| tu napisać krótko
+
| Czego oczekujemy po projekcie LEM? Dzisiaj, żaden z języków programowania nie oferuje programistom narzędzi do zarzadzania obliczeniami równoległymi. Nie ma w żadnym języku narzędzi wspomagających zarządzanie procesorami. Zakłada się, że zajmą sie tym kompilator i system operayjny. Nie wiemy, czy tak to powinno zostać? Popróbujemy przenieść model zarządzania obliczeniami współbieżnymi i rozproszonymi znany z Loglanu'82 i rozszerzyć go w taki sposób, by w tym jednolitym modelu dało się zarządzać obliczeniami wsółpbieznymi, rozproszonymi i równoległymi. Warto tu zwrócić uwagę na dość wyraźne zróżnicowanie architektur zaprojektowanych dla obliczeń równoległych. Ponadto, pozostaje problem zarządzania obliczeniami w chmurze.
| przedstawić krótko
+
| Język programowania obiektowego i rozproszonego Loglan'82 powstał ponad 30 lat temu. Wiele spośród cech definiujacych Loglan'82 pozostaje do dziś nieznanych szerszym kręgom programistów - i w związku z tym nie występuje w innych językach programowania.
| o specver
+
 
 +
*Żaden inny język programowania nie oferuje bezpiecznego usuwania niepotrzebnych obiektów. W wielu językach np. C++, Pascal, ... można usunąć obiekt ryzykując że inne referencje do usuwanego obiektu ''zawisną''. W innych np. Java zabrania sie programiście usuwać obiekty zapewniając go, że polecenie ''gc()'' usunie śmieci.
 +
* w Loglanie moduły klasy istnieją w trzech ''smakach'' zwykła '''class''', współprogram '''coroutine''' oraz moduł wątku '''process'''.
 +
...
 +
| Celem projektu SpecVer jest zbadanie czy można stworzyć środowisko w którym programiści, zespoły i firmy tworzyłyby projekty oprogramowania, moduły programów realizujące te projekty i dokumentację nadzoru audytorskiego zawierające weryfikację tez:''moduł M poprawnie implementuje specyfikację S''.[[Plik:softDiagram.jpg ]]
 
|-
 
|-
| link do
+
| [[projekt LEM| więcej o Lem ... ]]
| link do stron Loglan'82
+
[[Loglan'82|więcej ...]]
więcej ... [[Loglan'82]]
+
| [[SpecVer|więcej o SpecVer...]]
| link do stron SpevVer więcej [[SpecVer]]
+
 
|}
 
|}

Aktualna wersja na dzień 14:06, 2 lut 2013

LEM jest nazwą nowego projektu badawczego. Celem tego projektu jest zbadanie czy można stworzyć język programowania o pewnych określonych cechach (zob. specyfikacja LEM).

Język LEM ma oprzeć się na osiągnięciach projektu Loglan'82 i wykorzystać to co dobre w językach programowania obiektowego nowszych generacji: Java, C++, C#, etc.

LEM powinien wejść w skład innego większego projektu SpecVer.



projekt LEM Loglan'82 projekt SpecVer
Czego oczekujemy po projekcie LEM? Dzisiaj, żaden z języków programowania nie oferuje programistom narzędzi do zarzadzania obliczeniami równoległymi. Nie ma w żadnym języku narzędzi wspomagających zarządzanie procesorami. Zakłada się, że zajmą sie tym kompilator i system operayjny. Nie wiemy, czy tak to powinno zostać? Popróbujemy przenieść model zarządzania obliczeniami współbieżnymi i rozproszonymi znany z Loglanu'82 i rozszerzyć go w taki sposób, by w tym jednolitym modelu dało się zarządzać obliczeniami wsółpbieznymi, rozproszonymi i równoległymi. Warto tu zwrócić uwagę na dość wyraźne zróżnicowanie architektur zaprojektowanych dla obliczeń równoległych. Ponadto, pozostaje problem zarządzania obliczeniami w chmurze. Język programowania obiektowego i rozproszonego Loglan'82 powstał ponad 30 lat temu. Wiele spośród cech definiujacych Loglan'82 pozostaje do dziś nieznanych szerszym kręgom programistów - i w związku z tym nie występuje w innych językach programowania.
  • Żaden inny język programowania nie oferuje bezpiecznego usuwania niepotrzebnych obiektów. W wielu językach np. C++, Pascal, ... można usunąć obiekt ryzykując że inne referencje do usuwanego obiektu zawisną. W innych np. Java zabrania sie programiście usuwać obiekty zapewniając go, że polecenie gc() usunie śmieci.
  • w Loglanie moduły klasy istnieją w trzech smakach zwykła class, współprogram coroutine oraz moduł wątku process.

...

Celem projektu SpecVer jest zbadanie czy można stworzyć środowisko w którym programiści, zespoły i firmy tworzyłyby projekty oprogramowania, moduły programów realizujące te projekty i dokumentację nadzoru audytorskiego zawierające weryfikację tez:moduł M poprawnie implementuje specyfikację S.SoftDiagram.jpg
więcej o Lem ... więcej ... więcej o SpecVer...