Menu główne
Spotkania robocze zespołu projektu Lingua w roku 2026
- Utworzono: sobota, 17 maj 2025 15:13
- Poprawiono: poniedziałek, 30 marzec 2026 06:40
- Odsłony: 288
Poza spotkaniami zespołu, na których przedstawiam podstawy teoretyczne wprowadzające do projektu Lingua, spotykamy się również w celu prowadzenia rozmów o przyszłości projektu i jego stanie aktualnym. Niniejsza strona służy do dokumentowania i archiwizowania tych rozmów.
2026 01 03 Spotkanie na temat ekosystemów dla programistów w Lingua
Spotkanie było niezwykle bogate w debatę, choć praktycznie nie na temat ekosystemów. Powróciliśmy natomiast do "korzeni", a więc do zasad projektowania języków od denotacji do składni. Dla mnie było to bardzo ciekawe doświadczenie. Umówiliśmy się na następne spotkanie za tydzień, tj. w sobotę 10 stycznia o godz. 13:00. Jako materiał ze spotkania zamieszczam jedynie wideo, bo żadnej prezentacji, ani raportu nie pokazywałem. Posługiwałem się jedynie książką. Tej jednak nie zamieszczam, bo nad rozdziałami o ekosystemach jeszcze pracuję. Może za jakiś tydzień będę gotów, to wtedy udostępnię. W naszej debacie odwoływaliśmy się do rozdziałów, które już od dawna są w książce dostępnej na witrynie.
2026 01 03 Spotkanie na temat ekosystemów dla programistów w Lingua c.d.
Tym razem pokazałem dużo nowych szczegółów dotyczących projektu ekosystemu. Pokazałem je też w nieco innej wersji niż na poprzednich spotkaniach. Wydaje mi się, że obecnie lepiej rozumiem, czym takie ekosystemy powinny być. Załączam nagranie i prezentację. Następne spotkanie wyznaczyliśmy na sobotę 24 stycznia 2026 godz. 13:00 - 15:00. Opowiem na nim o tym, co uda mi się zrobić przez najbliższe dwa tygodnie, bo tym razem mojej historii o ekosystemach nie dokończyłem. I prawdę mówiąc, długo jeszcze pewnie nie zakończę.
Pobierz prezentację z 2026 01 11
2026 01 24 Spotkanie na temat ekosystemów dla programistów w Lingua c.d.
Na tym spotkaniu podsumowałem (uporządkowany w międzyczasie) materiał dotyczący ekosystemu, kończąc pewien wstępny etap pracy nad tym tematem. Kilka dni później zakończyłem też pracę nad dwoma rozdziałami książki poświęconymi ekosystemom. To z kolei spowodowało, że wprowadziłem kilka niewielkich zmian technicznych w prezentacji. Ta, którą udostępniam poniżej, nie jest więc do końca spójna z prezentacją używaną podczas wykładu, ale za to jest zgodna z książką, której nowa wersja z dnia 29 stycznia 2026 r. jest już dostępna do pobrania. Najbliższe spotkanie zaplanowaliśmy na sobotę 14 lutego godz. 13:00.
Pobierz prezentację z 2026 01 29
2026 02 14 Spotkanie poświęcone przykładowi budowania programu
Program, którego budowanie/wyprowadzanie pokazałem, został mi zasugerowany przez Tomka Gieorgijewskiego z naszej ochotniczej grupy, za co serdecznie mu w tym miejscu dziękuję. W największym skrócie można powiedzieć, że dotyczy on mechanizmu kasy pancernej z szyfrowym zamkiem obsługiwanym przez pokrętło. Wydaje mi się, że to ciekawy przykład, bo pokazuje, jak zacząć pracę nad przyszłym programem od zbudowania matematycznego modelu mechanizmu, który ma być obsługiwany przez program. W moim wystąpieniu posługiwałem się nie prezentacją w PowerPoincie, ale maszynopisem artykułu, który właśnie piszę. Nie udostępniam jednak artykułu w wersji z 14 lutego, ale dzisiejszą jego wersję, poważnie rozbudowaną w stosunku do poprzedniej.
W trakcie pracy nad tym artykułem okazało się, że trzeba poszerzyć dotychczasowy model naszego ekosystemu w taki sposób, aby było możliwe jego rozbudowanie — a wraz z nim leżącej u jego podstaw teorii — o nowe symbole funkcyjne, a może też o nowe kategorie składniowe. Opisałem więc skrótowo, jak widzę możliwość takiego wzbogacania ekosystemu, w jednostronicowym tekście, który załączam wraz z artykułem podstawowym. Byłbym bardzo zainteresowany Waszymi uwagami na oba tematy.
Pobierz artykuł o budowania programu
Pobierz artykuł o wzbogacaniu ekosystemów
2026 02 21 Spotkanie poświęcone rozbudowanemu przykładowi budowania programu
Zaproponowałem pewną systematykę w budowaniu programu w trzech krokach:
- budowanie modelu matematycznego opisujące zjawisko lub mechanizm, którego ma dotyczyć program,
- budowanie teorii sformalizowanej dla tego modelu, tj. lematów, które zostają zapisane w repozytorium,
- budowanie kodu programu na podstawie zawartości repozytorium.
Rozbudowałem też program o pętlę while, która wykonuje kolejne rotację z ich ciągu zadanego na wejściu programu. Jak zwykle po prezentacji, wysłuchaniu uwag słuchaczy, a także samego siebie, doszedłem do wniosku, że parę rzeczy trzeba uściślić. I to właśnie zrobiłem w nowej wersji pracy gotowej do pobrania poniżej.
Pobierz artykuł o budowaniu programu z 2026 02 27
2026 02 28 Kolejne spotkanie poświęcone przykładowi budowania tego samego programu
Na znanym nam już przykładzie pokazałem pewne problemy teoretyczne i praktyczne, które wymagają naszej uwagi, gdy budujemy teorię sformalizowaną w języku Lingua-T, dla rozszerzonego modelu Lingua-V. Rozmawialiśmy też o adekwatności specyfikacji programu, który chcemy budować.
Niezależnie od naszego przykładu, choć nim inspirowane, omówiłem wprowadzenie do Lingua-V dwóch nowych pojęć: stałej (obok zmiennej) i stałej fantomowej. Pokazałem posługując się właśnie modyfikowanym tekstem książki (jeszcze nie ma jej na stronie), jak zmieniają się w związku z tymi pojęciami definicje trzech konstruktorów:
- konstruktora denotacji wyrażeń wartościologicznych (value expressions),
- konstruktora denotacji instrukcji przypisania,
- funkcji opisującej przekazywanie parametrów aktualnych do wywołania procedury.
2026 03 07 Pierwsze spotkanie poświęcone budowaniu dziedzinowego języka specyfikacji do zastosowań w projektowaniu pojazdów autonomicznych
Rozważamy przykład budowania języka kontraktu (specyfikacji) do dialogu pomiędzy inżynierem budującym pojazdy samobieżne a informatykiem piszącym oprogramowanie dla takich pojazdów. Przykład jest oparty na realiach związanych z przemysłem samochodowym. Wspólnie z Pawłem Paterkiem, informatykiem z doświadczeniem w tym obszarze, staramy się zaprojektować taki język specyfikacji. Na spotkaniu pokazaliśmy przykład specyfikacji napisanej w notacji, którą traktujemy jako prototyp przyszłego języka. Na tym etapie udostępniam jedynie nagranie, gdyż nasz raport jest w bardzo wczesnej fazie pisania, co powoduje, że co chwila pojawiają się nowe wersja różniące się od poprzednich.
2026 03 14 Drugie spotkanie poświęcone budowaniu rozszerzenia j. Lingua do zastosowań w projektowaniu pojazdów autonomicznych
Rozważaliśmy ten sam przykład, co poprzednio, ale w nieco innej formalizacji. M.in. wprowadziłem klasy, by mieć zmienne prywatne i pokazałem przemysłowy przykład specyfikacji wymagań dla pojazdu. Zastanawiam się nad użyciem do specyfikacji sieci Petriego. Może uda mi się coś przygotować na następne spotkanie. Umówiliśmy się za dwa tygodnie, w sobotę 14 marca o godz. 11:00. Tekstu raportu nie umieszczam na stronie, bo to nadal bardzo nieuczesana wersja. Nasz przyszły język nazwaliśmy roboczo Lingua-AV (AV - autonomous vehicles)
2026 03 28 Trzecie spotkanie poświęcone Lingua-VA - strategie jako sieci Petriego
Pokazuję rozwiązanie dalece różne od poprzedniego, bo strategie są opisane sieciami Petriego. To bardzo wstępna wersja, więc ponownie nie załączam prezentacji.