http://lem12.uksw.edu.pl/index.php?title=LEM&feed=atom&action=history
LEM - Historia wersji
2024-03-28T09:08:41Z
Historia wersji tej strony wiki
MediaWiki 1.23.8
http://lem12.uksw.edu.pl/index.php?title=LEM&diff=2494&oldid=prev
AndrzejSalwicki o 10:38, 21 cze 2018
2018-06-21T10:38:27Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← poprzednia wersja</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Wersja z 10:38, 21 cze 2018</td>
</tr><tr><td colspan="2" class="diff-lineno">Linia 5:</td>
<td colspan="2" class="diff-lineno">Linia 5:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Czego brakuje? Co warto wprowadzić?</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Czego brakuje? Co warto wprowadzić?</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>** Brakuje narzędzi programowania równoległego. Tej sprawy nie mozna pozostawiać systemowi operacyjnemu. To byłby błąd.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>** Brakuje narzędzi programowania równoległego. Tej sprawy nie mozna pozostawiać systemowi operacyjnemu. To byłby błąd.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>** Warto uprzadkować przekazywanie typu obiektowego jako parametru. Tu powinno wystarczyć zadeklarowanie, że parametr aktualny typ T ma byc podtypem typu Q. W ten sposób uzyskalibyśmy <del class="diffchange diffchange-inline">możliwośc </del>sprawdzenia typu aktualnego, a także otwieramy sobie drogę do korzystania z metod (wirtualnych) typu Q wewnątrz <del class="diffchange diffchange-inline">nowodeklarowanego </del>modułu np. procedury ...</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">(czerwiec 2018) Mam propozycję.</ins></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Skoncentrować się na <del class="diffchange diffchange-inline">opise </del>semantyki (operacyjnej) tzn. zdefiniować precyzyjnie jak ma wyglądać obliczenie. Kiedy będzie zgłaszany błąd? <del class="diffchange diffchange-inline">ec</del>.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>** Warto uprzadkować przekazywanie typu obiektowego jako parametru. Tu powinno wystarczyć zadeklarowanie, że parametr aktualny typ T ma byc podtypem typu Q. W ten sposób uzyskalibyśmy <ins class="diffchange diffchange-inline">możliwość </ins>sprawdzenia typu aktualnego, a także otwieramy sobie drogę do korzystania z metod (wirtualnych) typu Q wewnątrz <ins class="diffchange diffchange-inline">nowo deklarowanego </ins>modułu np. procedury ...</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Składnia -- wyraźnie <del class="diffchange diffchange-inline">powiedziec </del>"pisz jak chcesz". Tzn. dać możliwość wybierania wariantu składni, a la Java lub a la Loglan. To nie jest najwazniejsze.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Skoncentrować się na <ins class="diffchange diffchange-inline">opisie </ins>semantyki (operacyjnej) tzn. zdefiniować precyzyjnie jak ma wyglądać obliczenie. Kiedy będzie zgłaszany błąd? <ins class="diffchange diffchange-inline">etc</ins>.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Składnia -- wyraźnie <ins class="diffchange diffchange-inline">powiedzieć </ins>"pisz jak chcesz". Tzn. dać możliwość wybierania wariantu składni, a la Java lub a la Loglan. To nie jest najwazniejsze.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Bardzo '''ważne''': dodac tam gdzie to możliwe aksjomaty konstrukcji składniowych jako partnera dla opisu semantyki operacyjnej.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Bardzo '''ważne''': dodac tam gdzie to możliwe aksjomaty konstrukcji składniowych jako partnera dla opisu semantyki operacyjnej.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Mniej ważne, ale ważne: stream zamiast file.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Mniej ważne, ale ważne: stream zamiast file.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* <del class="diffchange diffchange-inline">Wazne</del>: biblioteki klas - to jest narzędzie o zasadniczym znaczeniu</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins class="diffchange diffchange-inline">Ważne</ins>: biblioteki klas - to jest narzędzie o zasadniczym znaczeniu</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* <del class="diffchange diffchange-inline">Wazne</del>: Partnerem dla Lema ma być proof-checker następca Mizara.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* <ins class="diffchange diffchange-inline">Ważne</ins>: Partnerem dla Lema ma być proof-checker następca Mizara.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Oprócz modułów '''process''', zaproponujmy moduły '''server'''. Obiekt serwer może udostępniać swoje metody równolegle do swojego wątku. Metody te uruchamiane na rdzeniach procesora działaja równolegle. I oczywiscie mamy tu do czynienia z protokołem innym niż alien. Na razie - roboczo nazwijmy go alienB alien bis lub po prostu serve (zamiast call).  </div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Oprócz modułów '''process''', zaproponujmy moduły '''server'''. Obiekt serwer może udostępniać swoje metody równolegle do swojego wątku. Metody te uruchamiane na rdzeniach procesora działaja równolegle. I oczywiscie mamy tu do czynienia z protokołem innym niż alien. Na razie - roboczo nazwijmy go alienB alien bis lub po prostu serve (zamiast call).  </div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Wprowadźmy tez alien zamiast call. <del class="diffchange diffchange-inline">Juz </del>jest raise zamiast call (<del class="diffchange diffchange-inline">dymaicznie</del>).</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* </ins>Wprowadźmy tez alien zamiast call. <ins class="diffchange diffchange-inline">Już </ins>jest raise zamiast call (<ins class="diffchange diffchange-inline">dynamicznie szukamy handlera</ins>)<ins class="diffchange diffchange-inline">.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* Uwaga o funkcjach. Nieistotność definicji</ins>.</div></td></tr>
</table>
AndrzejSalwicki
http://lem12.uksw.edu.pl/index.php?title=LEM&diff=2436&oldid=prev
AndrzejSalwicki o 12:06, 28 sty 2018
2018-01-28T12:06:47Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← poprzednia wersja</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Wersja z 12:06, 28 sty 2018</td>
</tr><tr><td colspan="2" class="diff-lineno">Linia 12:</td>
<td colspan="2" class="diff-lineno">Linia 12:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: biblioteki klas - to jest narzędzie o zasadniczym znaczeniu</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: biblioteki klas - to jest narzędzie o zasadniczym znaczeniu</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: Partnerem dla Lema ma być proof-checker następca Mizara.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: Partnerem dla Lema ma być proof-checker następca Mizara.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Oprócz modułów '''process''', zaproponujmy moduły '''server'''. Obiekt serwer może udostępniać swoje metody równolegle do swojego wątku. Metody te uruchamiane na rdzeniach procesora działaja równolegle. I oczywiscie mamy tu do czynienia z protokołem innym niż alien. Na razie - roboczo nazwijmy go alienB alien bis.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Oprócz modułów '''process''', zaproponujmy moduły '''server'''. Obiekt serwer może udostępniać swoje metody równolegle do swojego wątku. Metody te uruchamiane na rdzeniach procesora działaja równolegle. I oczywiscie mamy tu do czynienia z protokołem innym niż alien. Na razie - roboczo nazwijmy go alienB alien bis <ins class="diffchange diffchange-inline">lub po prostu serve (zamiast call). </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">Wprowadźmy tez alien zamiast call. Juz jest raise zamiast call (dymaicznie)</ins>.</div></td></tr>
</table>
AndrzejSalwicki
http://lem12.uksw.edu.pl/index.php?title=LEM&diff=2432&oldid=prev
AndrzejSalwicki o 07:17, 11 sty 2018
2018-01-11T07:17:47Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← poprzednia wersja</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Wersja z 07:17, 11 sty 2018</td>
</tr><tr><td colspan="2" class="diff-lineno">Linia 12:</td>
<td colspan="2" class="diff-lineno">Linia 12:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: biblioteki klas - to jest narzędzie o zasadniczym znaczeniu</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: biblioteki klas - to jest narzędzie o zasadniczym znaczeniu</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: Partnerem dla Lema ma być proof-checker następca Mizara.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wazne: Partnerem dla Lema ma być proof-checker następca Mizara.</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Oprócz modułów '''process''', zaproponujmy moduły '''server'''. Obiekt serwer może udostępniać swoje metody równolegle do swojego wątku. Metody te uruchamiane na rdzeniach procesora działaja równolegle. I oczywiscie mamy tu do czynienia z protokołem innym niż alien. Na razie - roboczo nazwijmy go alienB alien bis.</ins></div></td></tr>
</table>
AndrzejSalwicki
http://lem12.uksw.edu.pl/index.php?title=LEM&diff=2431&oldid=prev
AndrzejSalwicki o 17:46, 10 sty 2018
2018-01-10T17:46:00Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← poprzednia wersja</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Wersja z 17:46, 10 sty 2018</td>
</tr><tr><td colspan="2" class="diff-lineno">Linia 5:</td>
<td colspan="2" class="diff-lineno">Linia 5:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Czego brakuje? Co warto wprowadzić?</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Czego brakuje? Co warto wprowadzić?</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>** Brakuje narzędzi programowania równoległego. Tej sprawy nie mozna pozostawiać systemowi operacyjnemu. To byłby błąd.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>** Brakuje narzędzi programowania równoległego. Tej sprawy nie mozna pozostawiać systemowi operacyjnemu. To byłby błąd.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Warto uprzadkować przekazywanie typu obiektowego jako parametru. Tu powinno wystarczyć zadeklarowanie, że parametr aktualny typ T ma byc podtypem typu Q. W ten sposób uzyskalibyśmy możliwośc sprawdzenia typu aktualnego, a także otwieramy sobie drogę do korzystania z metod (wirtualnych) typu Q wewnątrz nowodeklarowanego modułu np. procedury ...</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** </ins>Warto uprzadkować przekazywanie typu obiektowego jako parametru. Tu powinno wystarczyć zadeklarowanie, że parametr aktualny typ T ma byc podtypem typu Q. W ten sposób uzyskalibyśmy możliwośc sprawdzenia typu aktualnego, a także otwieramy sobie drogę do korzystania z metod (wirtualnych) typu Q wewnątrz nowodeklarowanego modułu np. procedury ...</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Skoncentrować się na opise semantyki (operacyjnej) tzn. zdefiniować precyzyjnie jak ma wyglądać obliczenie. Kiedy będzie zgłaszany błąd? ec.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Skoncentrować się na opise semantyki (operacyjnej) tzn. zdefiniować precyzyjnie jak ma wyglądać obliczenie. Kiedy będzie zgłaszany błąd? ec.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Składnia -- <del class="diffchange diffchange-inline">wyraznie</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Składnia -- <ins class="diffchange diffchange-inline">wyraźnie powiedziec "pisz jak chcesz". Tzn. dać możliwość wybierania wariantu składni, a la Java lub a la Loglan. To nie jest najwazniejsze.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* Bardzo '''ważne''': dodac tam gdzie to możliwe aksjomaty konstrukcji składniowych jako partnera dla opisu semantyki operacyjnej.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* Mniej ważne, ale ważne: stream zamiast file.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* Wazne: biblioteki klas - to jest narzędzie o zasadniczym znaczeniu</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* Wazne: Partnerem dla Lema ma być proof-checker następca Mizara.</ins></div></td></tr>
</table>
AndrzejSalwicki
http://lem12.uksw.edu.pl/index.php?title=LEM&diff=2430&oldid=prev
AndrzejSalwicki o 17:39, 10 sty 2018
2018-01-10T17:39:41Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← poprzednia wersja</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Wersja z 17:39, 10 sty 2018</td>
</tr><tr><td colspan="2" class="diff-lineno">Linia 4:</td>
<td colspan="2" class="diff-lineno">Linia 4:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Nowy język nie musi być bardzo różny od Loglanu. Nie widać powodów, które by uzasadniały rewolucję.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Nowy język nie musi być bardzo różny od Loglanu. Nie widać powodów, które by uzasadniały rewolucję.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Czego brakuje? Co warto wprowadzić?</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Czego brakuje? Co warto wprowadzić?</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Brakuje narzędzi programowania równoległego. Tej sprawy nie mozna pozostawiać systemowi operacyjnemu. To byłby błąd.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** </ins>Brakuje narzędzi programowania równoległego. Tej sprawy nie mozna pozostawiać systemowi operacyjnemu. To byłby błąd.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Warto uprzadkować przekazywanie typu obiektowego jako parametru. Tu powinno wystarczyć zadeklarowanie, że parametr aktualny typ T ma byc podtypem typu Q. W ten sposób uzyskalibyśmy możliwośc sprawdzenia typu aktualnego, a także otwieramy sobie drogę do korzystania z metod (wirtualnych) typu Q wewnątrz nowodeklarowanego modułu np. procedury ...</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>Warto uprzadkować przekazywanie typu obiektowego jako parametru. Tu powinno wystarczyć zadeklarowanie, że parametr aktualny typ T ma byc podtypem typu Q. W ten sposób uzyskalibyśmy możliwośc sprawdzenia typu aktualnego, a także otwieramy sobie drogę do korzystania z metod (wirtualnych) typu Q wewnątrz nowodeklarowanego modułu np. procedury ...</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Skoncentrować się na opise semantyki (operacyjnej) tzn. zdefiniować precyzyjnie jak ma wyglądać obliczenie. Kiedy będzie zgłaszany błąd? ec.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Skoncentrować się na opise semantyki (operacyjnej) tzn. zdefiniować precyzyjnie jak ma wyglądać obliczenie. Kiedy będzie zgłaszany błąd? ec.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Składnia -- wyraznie</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Składnia -- wyraznie</div></td></tr>
</table>
AndrzejSalwicki
http://lem12.uksw.edu.pl/index.php?title=LEM&diff=2429&oldid=prev
AndrzejSalwicki: Utworzono nową stronę " Lem - robocza nazwa języka programowania, następcy Loglanu. * Nowy język nie musi być bardzo różny od Loglanu. Nie widać powodów, które by uzasadniały rewolu..."
2018-01-10T17:31:55Z
<p>Utworzono nową stronę " Lem - robocza nazwa języka programowania, następcy Loglanu. * Nowy język nie musi być bardzo różny od Loglanu. Nie widać powodów, które by uzasadniały rewolu..."</p>
<p><b>Nowa strona</b></p><div><br />
Lem - robocza nazwa języka programowania, następcy Loglanu.<br />
<br />
* Nowy język nie musi być bardzo różny od Loglanu. Nie widać powodów, które by uzasadniały rewolucję.<br />
* Czego brakuje? Co warto wprowadzić?<br />
Brakuje narzędzi programowania równoległego. Tej sprawy nie mozna pozostawiać systemowi operacyjnemu. To byłby błąd.<br />
Warto uprzadkować przekazywanie typu obiektowego jako parametru. Tu powinno wystarczyć zadeklarowanie, że parametr aktualny typ T ma byc podtypem typu Q. W ten sposób uzyskalibyśmy możliwośc sprawdzenia typu aktualnego, a także otwieramy sobie drogę do korzystania z metod (wirtualnych) typu Q wewnątrz nowodeklarowanego modułu np. procedury ...<br />
* Skoncentrować się na opise semantyki (operacyjnej) tzn. zdefiniować precyzyjnie jak ma wyglądać obliczenie. Kiedy będzie zgłaszany błąd? ec.<br />
* Składnia -- wyraznie</div>
AndrzejSalwicki