-
X-Received: by 2002:a05:620a:130f:: with SMTP id o15mr12278226qkj.252.1553590275035;
Tue, 26 Mar 2019 01:51:15 -0700 (PDT)
X-Received: by 2002:a05:620a:130f:: with SMTP id o15mr12278226qkj.252.1553590275035;
Tue, 26 Mar 2019 01:51:15 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!goblin3!g
oblin1!goblin.stu.neva.ru!t9no3542796qtn.0!news-out.google.com!i54ni5235qte.0!n
ntp.google.com!t9no3542791qtn.0!postnews.google.com!glegroupsg2000goo.googlegro
ups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 26 Mar 2019 01:51:14 -0700 (PDT)
In-Reply-To: <d...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.9.245.13;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 194.9.245.13
References: <e...@g...com>
<d...@g...com>
<7...@g...com>
<8...@g...com>
<3...@g...com>
<2...@g...com>
<d...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5...@g...com>
Subject: Re: Programowanie wizualne
From: Maciej Sobczak <s...@g...com>
Injection-Date: Tue, 26 Mar 2019 08:51:15 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:213415
[ ukryj nagłówki ]> Temat jest ważny, ale zwróciłbym uwagę, że diffy i merge są mimo wszystko
> narzędziem awangardowym, nieznanym większości użytkowników komputerów.
Jednak myślę, że diff jest narzędziem bardziej powszechnym, niż Racket, który kazałeś
zainstalować, żeby zobaczyć, co zrobiłeś...
> > A kto powiedział, że drzewiaste struktury są specjalne?
>
> Na przykład hinduski filozof Yaska z 4 wieku przed naszą erą.
> Albo Platon. Albo John Locke, George Boole, Gottlob Frege,
> John McCarthy, i właściwie każdy, kto używa w swoim projekcie
> takich formatów serializacji, jak XML, YML czy JSON,
> oraz każdy, kto definiuje gramatyki dla języków programowania.
Kucha. Te wszystkie wynalazki są wtórne względem tego, co opisują. Potem jest tak,
ktoś jest przekonany, że modeluje drzewo a za chwilę potrzebne mu są wskaźniki silne
i słabe, albo GC do sprzątania cykli, albo jeszcze coś. XML, YML czy JSON to też złe
przykłady, patrz <a href="..."> albo dorobione po fakcie referencje do innych
obiektów w JSON. To są właśnie te słabe wskaźniki, które okazują się być potrzebne,
bo świat wcale nie chce być drzewiasty. Drzewiaste struktury to przypadki szczególne,
trywializujące rzeczywistość.
> Ja bym powiedział, że dlatego, że drzewa stanowią dla nas naturalną
> formę organizowania złożoności. W praktycznie każdej działalności
> człowieka możesz znaleźć schemat
> układ - podukłady
i relacje między nimi, patrz dowolny schemat UML
> albo
> wyrażenie - podwyrażenia
o tym za chwile
> albo
> katalog - podkatalogi (i pliki)
i linki twarde oraz symboliczne? Kto by się spodziewał?
> W filozofii jest taki pomysł, który nazywa się "zasadą kompozycjonalności"
Oczywiście.
> No, ja mimo wszystko będę dalej eksplorował poletko programów
> tworzonych poprzez zagnieżdżanie pudełek w pudełkach :)
Bardzo dobrze. Na tym poletku warto też pomyśleć o uogólnieniach - bo wyrażenia są
strukturami 1D z zagnieżdżeniami. Tymczasem nie ma powodu sądzić, że jest to jedyny
użyteczny model obliczeniowy, a skoro mamy formy wizualne (pudełkowe czy jakieś inne)
do ich reprezentacji, to być może warto się zastanowić nad wyrażeniami 2D. Żeby nie
było, że to jakiś pomysł od czapy, to automaty komórkowe (np. gra w życie Conway'a)
są w tych okolicach. A żeby nie było, że to to pomysł niepraktyczny, to przecież
hardware jest tak realizowany od zawsze. Pytanie, czy da się tak robić software.
I tu wracamy do wyrażeń, że niby są drzewiaste. Moim zdaniem algebra taka jaką znamy
jest wtórna względem wynalazku sekwencyjnego pisma. Ktoś napisał pierwsze wyrażenie
algebraiczne w ramach ograniczeń takiej właśnie formy. I dobrze, bo dało się to
drukować czcionkami a dzisiaj mamy diff i merge :-), ale to nadal jest wtórne.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 26.03.19 10:27 g...@g...com
- 26.03.19 20:31 Wojciech Muła
- 27.03.19 07:57 Maciej Sobczak
- 28.05.19 15:22 g...@g...com
- 02.05.20 22:57 g...@g...com
- 03.05.20 20:53 Maciej Sobczak
- 03.05.20 23:32 g...@g...com
- 04.05.20 23:40 Maciej Sobczak
- 05.05.20 10:38 g...@g...com
- 23.08.21 14:28 Maciek Godek
- 11.09.21 20:27 Maciek Godek
- 28.09.21 08:44 Maciek Godek
- 29.09.21 17:27 Maciek Godek
- 28.10.21 13:03 Maciek Godek
- 02.08.23 15:41 Maciek Godek
Najnowsze wątki z tej grupy
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
Najnowsze wątki
- 2025-09-25 Pęczniejące LiPo
- 2025-09-25 wyłącznik ścienny
- 2025-09-25 Cenckiewicz ma czy nie ma poświadczenia bezpieczeństwa? [SKW cofnęła, WSA uchylił cofnięcie, NSA się ma wypowiedzieć]
- 2025-09-25 iKO
- 2025-09-25 jęczy wspomaganie
- 2025-09-24 "Wybitna" inteligencja AI
- 2025-09-24 test stereo
- 2025-09-24 Bluetooth stereo
- 2025-09-24 Rzeszów => International Freight Forwarder <=
- 2025-09-24 Gdańsk => Delphi Programmer <=
- 2025-09-24 Warszawa => BI Developer / Analityk BI <=
- 2025-09-24 Alior zmiana logowania
- 2025-09-24 Warszawa => Senior Microsoft Dynamics 365 Business Central Consultant
- 2025-09-24 Andżelika Borys odwiedziła [WIELKIEGO PATRIOTĘ - przyp. JMJ] Andrzeja Poczobuta w [białoruskiej - przyp. JMJ] kolonii karnej
- 2025-09-24 W USA budują pierwszą komercyjną elektrownię fuzji jądrowej