-
X-Received: by 10.157.3.134 with SMTP id f6mr76760otf.3.1514978658764; Wed, 03 Jan
2018 03:24:18 -0800 (PST)
X-Received: by 10.157.3.134 with SMTP id f6mr76760otf.3.1514978658764; Wed, 03 Jan
2018 03:24:18 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.
iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g80no21
1004itg.0!news-out.google.com!b73ni815ita.0!nntp.google.com!i6no212286itb.0!pos
tnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 3 Jan 2018 03:24:18 -0800 (PST)
In-Reply-To: <1...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=134.191.220.73;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 134.191.220.73
References: <f...@g...com>
<1...@g...com>
<7...@g...com>
<b...@g...com>
<a...@n...v.pl>
<2...@g...com>
<a...@n...v.pl>
<on23a3$85s$1@node1.news.atman.pl>
<a...@n...v.pl>
<on75ke$g4u$1@node2.news.atman.pl>
<5...@g...com>
<onfotu$lh6$1@node1.news.atman.pl>
<0...@g...com>
<3...@g...com>
<6...@g...com>
<c...@g...com>
<d...@g...com>
<5...@g...com>
<c...@g...com>
<3...@g...com>
<6...@g...com>
<c...@g...com>
<6...@g...com>
<f...@g...com>
<4...@g...com>
<6...@g...com>
<e...@g...com>
<e...@g...com>
<7...@g...com>
<7...@g...com>
<1...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0...@g...com>
Subject: Re: Co jest nie tak z C++ (było: Rust)
From: g...@g...com
Injection-Date: Wed, 03 Jan 2018 11:24:18 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 74
Xref: news-archive.icm.edu.pl pl.comp.programming:212176
[ ukryj nagłówki ]W dniu środa, 3 stycznia 2018 10:58:12 UTC+1 użytkownik Maciej Sobczak napisał:
> > Nie do końca rozumiem, co masz na myśli mówiąc o "procesach naturalnych".
>
> Takich, które występują w naturze. Wliczamy w to procesy fizyczne, chemiczne, itp.
A procesy myślowe występują w naturze?
Czy produkcja samochodów jest procesem występującym w naturze?
I dlaczego to miałoby być istotne?
> > Jeżeli mamy kurę, która składa jajko, z którego wykluwa się kura, która
> > składa jajko, z którego wykluwa się ..., to czy to nie jest proces
> > reKUREncyjny par excellence?
>
> Ciekawy przykład, ale Słońce też wschodzi i zachodzi i znowu wschodzi. Deszcz pada,
potem woda paruje a potem z tej pary robią się chmury i znowu pada. Itd. Jeśli coś
się powtarza, to mówimy, że jest to cykl. Pojęcie rekurencji nie jest do tego
potrzebne ani nie ułatwia rozumienia tych zjawisk. Z jakiegoś powodu wszystkie takie
zjawisko omawia się w przedszkolach, na szczęście dla przedszkolaków bez rekurencji.
Jest zasadnicza różnica pomiędzy biologiczną reprodukcją, a obrotem
słońca dookoła ziemi. Kura tworzy swoje (zmodyfikowane) kopie (co w świecie
cybernetyki określane jest mianem "autopoiesis"), zaś Słońce cały czas
jest jedno. Z jakiegoś powodu pytanie "co było pierwsze, kura czy jajko?"
stanowi dla nas zagwozdkę, zaś pytanie "co było pierwsze, dzień czy noc?"
już raczej nie. Zauważ również, że w samym tym pytaniu manifestuje się
myślenie rekurencyjne, czyli potrzeba ustalenia przypadku bazowego
(którym miałaby być kura albo jajko) i kroku (czyli znoszenie jajka albo
wykluwanie się, w zależności od tego, na jakim etapie jesteśmy).
> > Podobnie jest zresztą z opisem języków.
>
> Ten przykład jest już ciekawszy. Możesz mnie przekonać, że nawet tak prostą rzecz
jak wyrażenie arytmetyczne łatwiej opisać pozwalając na rekurencję.
>
> > Praktycznie wszystkie
> > języki programowania opisuje się rekurencyjnie przy pomocy BNF.
>
> Języki programowania nie są naturalne. A języków naturalnych nie opisuje się w BNF.
I tu wracamy do starego argumentu.
BNF jest wariantem gramatyki bezkontekstowej (typ 3 w hierarchii Chomsky'ego),
i to stamtąd pochodzi. Choć Chomsky używał aparatury pojęciowej teorii
informacji, motywacją do rozwinięcia jego teorii było opisywanie języków
naturalnych właśnie.
> > Taki opis jest zrozumiały, i nie wydaje się, żebyśmy dysponowali
> > do tego celu jakimś lepszym narzędziem.
>
> W odniesieniu do wielu obecnych języków programowania, zgadzam się - i tam też
stosuję rozwiązania rekurencyjne.
Cieszę się.
Następne wpisy z tego wątku
- 03.01.18 14:17 slawek
- 03.01.18 20:13 Roman Tyczka
- 04.01.18 10:36 Maciej Sobczak
- 04.01.18 10:52 Maciej Sobczak
- 04.01.18 12:08 g...@g...com
- 05.01.18 11:51 Maciej Sobczak
- 05.01.18 14:09 g...@g...com
- 05.01.18 22:57 Roman Tyczka
- 07.01.18 22:19 Maciej Sobczak
- 07.01.18 22:30 Maciej Sobczak
- 07.01.18 23:00 g...@g...com
- 08.01.18 14:20 Maciej Sobczak
- 08.01.18 20:25 g...@g...com
- 09.01.18 13:35 Maciej Sobczak
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-01 W-wa naklejki wjazd do centrum
- 2024-07-01 ładowarka zmarła
- 2024-07-01 Koder szuka pracy. Koduję w j.: Asembler, C, C++ (z Qt) i D.
- 2024-07-01 Kraków => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-07-01 Białystok => Full Stack Web Developer (.Net Core, Angular6+) <=
- 2024-07-01 Berlin => Technical Rollouter (Radio Systems Software Installation and
- 2024-07-01 Warszawa => Key Account Manager <=
- 2024-07-01 Gdańsk => Programista Full Stack .Net <=
- 2024-07-01 Zabrze => Junior HelpDesk <=
- 2024-07-01 Warszawa => Key Account Manager <=
- 2024-07-01 Bielsko-Biała => Expert Migration Architect (Azure) <=
- 2024-07-01 Mini Netykieta polskich grup dyskusyjnych
- 2024-07-01 Re: Jak wypełnić polecenie francuskiego sądu blokowania niektórych zapytań DNS? Blokując Francję
- 2024-07-01 Re: Powtórne wezwanie na PO-komisję uzdrowi Ziobrę już w 10 dni
- 2024-07-01 CA -- problem z logowaniem