Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > pl.comp.programming > #33006
| Newsgroups | pl.comp.programming |
|---|---|
| Date | 2019-09-07 15:18 -0700 |
| References | (12 earlier) <819e71ad-be91-42ae-a41a-76628f10bcbf@googlegroups.com> <4ecd1b3c-579b-4660-896f-76d8ed9298c6@googlegroups.com> <eb02743f-41b4-4dd0-862b-a21d6b96729f@googlegroups.com> <8c636dbb-1628-4476-88cd-4578d874ae98@googlegroups.com> <fa84e279-9339-4ef2-84b4-4ed0058163e2@googlegroups.com> |
| Message-ID | <6ca46f89-2f05-450e-8a97-e05f4c5968f1@googlegroups.com> (permalink) |
| Subject | Re: Jak to robią w NASA |
| From | godek.maciek@gmail.com |
W dniu sobota, 7 września 2019 17:21:32 UTC+2 użytkownik Maciej Sobczak napisał:
> > > Napisałem już kilka razy, dlaczego asercji się nie używa a Ty grzebiesz w SJP, żeby... no właśnie nie wiem po co.
> >
> > No bo błędnie napisałeś.
>
> W jakim sensie błędnie? W takim, że się ich używa?
W takim sensie, jak pisałem na początku.
Czyli odnośnie tego, czym jest asercja w ogóle.
Asercja to uznanie jakiegoś sądu za prawdziwy. Oto znaczenie tego słowa.
Niekiedy tym słowem określa się ślad, jakiego dokonujemy, uznając dany sąd za prawdziwy -- na przykład jeśli w kodzie źródłowym napiszemy
assert(jakiś_sąd)
to takie wyrażenie określamy mianem asercji (ale określamy w sposób metonimiczny).
Natomiast to, że w języku C assert to makro, i że owo makro w pewnych okolicznościach będzie generowało kod sprawdzający prawdziwość owego sądu i w przypadku negatywnego wyniku powodowało wywalenie programu, nie jest asercją.
Pewnie można to nazwać "pewną strategią obsługi asercji fałszu", ale to już się nie mieści w znaczeniu słowa "asercja".
> > > To na cholerę mi takie asercje?
> >
> > Bo po pierwsze, możesz je inaczej interpretować poza swoim procesem.
>
> Nie rozumiesz. Nie ma rzeczy poza moim procesem. I nawet nie chodzi o to, że nikt mi za nie nie zapłaci. Chodzi wręcz o to, że ze względów zrozumiałych bardziej dla prawników, niż inżynierów, rzeczy poza procesem są zabronione.
Jest bardzo dużo rzeczy poza Twoim procesem.
Na przykład całe Twoje wcześniejsze doświadczenie.
> > Po co pisać komentarz, który nic nie robi?
>
> Komentarz nie jest dead-codem. To właśnie ten aspekt sprawia, że asercji się nie używa.
Asercja też nie jest dead-codem. W szczególności jak skompilujesz z -DNDEBUG, to nie jest żadnym kodem.
> > W komentarzach mogę pisać cokolwiek.
>
> Dalej nie rozumiesz. Za pisanie czegokolwiek wylatuje się z pracy.
> Ale jak napiszesz coś mądrego, to co innego.
Z reguły to nie tak wygląda.
Raczej jest tak, że programista napisze relewantny komentarz, potem inny programista zrefaktoryzuje kod, ale zapomni o aktualizacji komentarza, i komentarz przestaje być relewantny.
> > Jak narzędzie mi sprawdzi, że nie kłamię?
>
> Czyli nie zajrzałeś do tego linka, którego podałem do Frama-C. Szkoda.
>
> > > https://frama-c.com/acsl_tutorial_index.html
> >
> > No to wygląda mi na takie rzeczy, które mogę wyrazić w asercjach.
>
> Jednak zajrzałeś. Ale nie zrozumiałeś. Tych rzeczy nie da się wyrazić w asercjach języka C
No to spróbujmy pierwszy przykład:
/*@ ensures \result >= x && \result >= y;
ensures \result == x || \result == y;
*/
int max (int x, int y) { return (x > y) ? x : y; }
int max (int x, int y) {
int result = (x > y) ? x : y;
assert(result >= x && result >= y);
assert(result == x || result == y);
return result;
}
Udało się.
> Ktoś tego nawet używa.
> Być może w innym (hipotetycznym?) języku można by było to mieć w asercjach i bez dodatkowego narzędzia, ale jakoś ten język nie robi furory w tej branży. Więc jest tak, jak pokazałem.
>
> > > Wniosek jest taki, że czytaliśmy różne standardy.
> >
> > No to dajesz cytaty.
>
> Czyli nawet w tej warstwie nic nie rozumiesz.
> Cytowanie tych standardów jest zabronione. Prawa autorskie i takie tam.
,,Czy możemy w swoich pracach korzystać z fragmentów cudzych utworów, a w przypadku roszczeń zasłaniać się dozwolonym użytkiem? Odpowiedź jest prosta i brzmi: tak, jeżeli wykorzystanie fragmentu cudzego utworu, będzie uzasadnione jednym z celów bezpośrednio wskazanych w treści przepisów – „wyjaśnianie, polemika, analiza krytyczna lub naukowa, nauczanie lub prawa gatunku twórczości.”.''
https://prawo.gazetaprawna.pl/artykuly/1127356,opydo-kontra-uniwersal-cytat-czy-naruszenie-praw-autorskich.html
> Mógłbym ewentualnie podać numer paragrafu, to jest dozwolone. Ale wtedy musiałbyś sam sobie to otworzyć i przeczytać. No, ale skoro możesz sam otworzyć i przeczytać, to po co mam dawać cytaty? Ctrl-F, "assert", Enter.
To podaj chociaż tytuły dokumentów.
Ja zaglądałem tutaj:
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
i było w dokumencie kilka użyć słowa "assert" w normalnym angielskim znaczeniu, a poza tym było jedynie wyjaśnienie pewnych charakterystyk definicji makra assert.
> No i serio - o co teraz walczysz, tak konkretnie?
Z błędnym użyciem słowa "asercja".
Back to pl.comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Jak to robią w NASA Roman Tyczka <noemail@because.no> - 2019-08-30 09:09 +0200
Re: Jak to robią w NASA Mateusz Viste <mateusz@wont.tell> - 2019-08-30 07:20 +0000
Re: Jak to robią w NASA Roman Tyczka <noemail@because.no> - 2019-08-30 12:27 +0200
Re: Jak to robią w NASA Mateusz Viste <mateusz@wont.tell> - 2019-08-30 11:09 +0000
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-08-31 18:42 +0200
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-01 10:01 +0200
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-08-31 18:52 +0200
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-08-31 19:43 +0200
Re: Jak to robią w NASA bartekltg <bartekltg@gmail.com> - 2019-09-04 07:39 -0700
Re: Jak to robią w NASA queequeg@trust.no1 (Queequeg) - 2019-08-30 08:06 +0000
Re: Jak to robią w NASA Mateusz Viste <mateusz@wont.tell> - 2019-08-30 12:49 +0000
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-08-31 19:17 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-08-31 13:14 -0700
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-08-31 22:44 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-08-31 13:54 -0700
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-08-31 14:15 -0700
Re: Jak to robią w NASA queequeg@trust.no1 (Queequeg) - 2019-09-01 17:21 +0000
Re: Jak to robią w NASA queequeg@trust.no1 (Queequeg) - 2019-09-01 17:17 +0000
Re: Jak to robią w NASA Adam Klobukowski <adamklobukowski@gmail.com> - 2019-08-30 10:20 -0700
Re: Jak to robią w NASA queequeg@trust.no1 (Queequeg) - 2019-09-01 17:23 +0000
Re: Jak to robią w NASA Wojciech Muła <wojtek.mula@gmail.com> - 2019-08-30 10:21 -0700
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-08-31 19:21 +0200
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-01 10:05 +0200
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-09-04 17:38 +0200
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-04 19:10 +0200
Re:Jak to robią w NASA slawek <x.y@org.org> - 2019-08-31 20:03 +0200
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-01 13:55 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-02 08:30 +0200
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-02 05:16 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-02 21:33 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-03 00:42 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-03 18:34 +0200
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-03 01:58 -0700
Re: Jak to robią w NASA Roman Tyczka <noemail@because.no> - 2019-09-03 16:28 +0200
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-03 11:49 -0700
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-03 12:33 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-04 00:31 -0700
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-04 00:53 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-04 19:04 +0200
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-04 19:07 +0200
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-04 10:54 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-04 21:07 +0200
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-04 14:05 -0700
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-05 04:37 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-06 07:31 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-06 01:12 -0700
Re: Jak to robią w NASA Mateusz Viste <mateusz@wont.tell> - 2019-09-06 08:33 +0000
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-06 03:06 -0700
Re: Jak to robią w NASA Mateusz Viste <mateusz@wont.tell> - 2019-09-06 10:57 +0000
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-06 06:42 -0700
Re: Jak to robią w NASA Mateusz Viste <mateusz@wont.tell> - 2019-09-06 14:06 +0000
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-06 12:03 -0700
Re: Jak to robią w NASA Mateusz Viste <mateusz@wont.tell> - 2019-09-06 19:12 +0000
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-07 01:55 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-07 08:04 -0700
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-07 10:35 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-06 17:06 +0200
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-06 16:48 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-08 08:13 +0200
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-07 23:58 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-08 11:19 +0200
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-08 03:13 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-09 17:56 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-08 02:36 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-06 17:11 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-06 09:22 -0700
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-06 10:14 -0700
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-06 11:28 -0700
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-06 14:59 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-04 14:49 -0700
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-06 09:29 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-06 12:25 -0700
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-06 14:00 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-07 08:21 -0700
Re: Jak to robią w NASA godek.maciek@gmail.com - 2019-09-07 15:18 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-08 08:32 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-08 13:17 -0700
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-10 22:30 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-11 00:21 -0700
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-11 11:32 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-12 00:21 -0700
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-12 03:05 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-12 23:14 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-11 20:09 +0200
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-04 19:00 +0200
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-03 18:35 +0200
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-03 11:51 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-04 18:43 +0200
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-03 18:43 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-03 11:04 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-03 20:26 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-03 23:32 -0700
Re: Jak to robią w NASA AK <nobody@nowhere.net> - 2019-09-04 18:52 +0200
Re: Jak to robią w NASA "M.M." <mmarszik@gmail.com> - 2019-09-05 00:20 -0700
Re: Jak to robią w NASA Maciej Sobczak <see.my.homepage@gmail.com> - 2019-09-03 12:05 -0700
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-09-04 18:11 +0200
Re: Jak to robią w NASA slawek <x.y@org.org> - 2019-09-04 18:00 +0200
csiph-web