-
X-Received: by 2002:a0c:e001:: with SMTP id j1mr110251353qvk.110.1565001899653; Mon,
05 Aug 2019 03:44:59 -0700 (PDT)
X-Received: by 2002:a0c:e001:: with SMTP id j1mr110251353qvk.110.1565001899653; Mon,
05 Aug 2019 03:44:59 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erj
e.net!4.us.feeder.erje.net!feeder.erje.net!weretis.net!feeder6.news.weretis.net
!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.g
iganews.com!nntp.giganews.com!b26no3079432qtq.0!news-out.google.com!a5ni1235qtd
.0!nntp.google.com!b26no3079429qtq.0!postnews.google.com!glegroupsg2000goo.goog
legroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 5 Aug 2019 03:44:59 -0700 (PDT)
In-Reply-To: <1...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.68.153;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 213.192.68.153
References: <e...@g...com>
<1...@g...com>
<c...@g...com>
<0...@g...com>
<b...@g...com>
<d...@g...com>
<2...@g...com>
<c...@g...com>
<b...@g...com>
<1...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a...@g...com>
Subject: Re: "Najbardziej imponujący kod, jaki widziałem"
From: g...@g...com
Injection-Date: Mon, 05 Aug 2019 10:44:59 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 125
Xref: news-archive.icm.edu.pl pl.comp.programming:213751
[ ukryj nagłówki ]W dniu niedziela, 4 sierpnia 2019 22:57:09 UTC+2 użytkownik Maciej Sobczak napisał:
> > Nawet zerknąłem z ciekawości.
> > Tak konkretniej to zerknąłem tutaj:
> > https://rosettacode.org/wiki/Levenshtein_distance
> [...]
> > Czyli autorzy "rozwiązania" w Mathematice nie dostarczyli implementacji
odległości Levenshteina, tylko skorzystali z wbudowanej. Wygląda zatem na to, że
nawet nie zrozumieli reguł zabawy.
>
> Niekoniecznie. Bo jeśli reguły zabawy były takie, żeby nie używać istniejących
ficzerów, tylko biczować się na jak najniższym poziomie, to akurat pokazana przez
Ciebie wersja w Haskellu też tego nie spełnia. foldl, scanl, zip3, minimum, print,
itd. - naprawdę, autorzy nie zrozumieli reguł, powinni to wszystko napisać od zera.
O ile mogę się zgodzić, że problem demarkacji nie jest w tym przypadku łatwy, o tyle
nie zgodzę się z radykalnym wnioskiem.
Rozwiązanie Haskellowe, chociaż korzysta z funkcji wbudowanych, daje jednak możliwość
zozumienia tego, co się dzieje pod spodem. Rozwiązanie w Mathematice takiej
możliwości nie daje.
Prosta sprawa - zmodyfikuj rozwiązanie w Mathematice tak, żeby koszt zamiany elementu
wynosił 2 a nie 1.
> Zaletą Wolframa jest właśnie te 5000+ funkcji, które od ręki coś robią. A ponieważ
Wolfram jest LISPowaty, to nie da się wyraźnie oddzielić funkcji "podstawowych" od
"bibliotecznych", bo wszystkie mają takie same prawa i nie ma żadnej niezbędnej.
To też jest interesujące: czy algorytm Levenshteina napisany w Mathematice będzie
działał równie szybko jak ten wbudowany?
Czy może ten wbudowany został zaimplementowany w C?
> > Przy takiej interpretacji rzeczywiście trudno się dziwić, że w Mathematice
wychodzą najkrótsze implementacje.
>
> Problem w tym, że przy innej interpretacji mogłoby się okazać, że w wielu językach
w ogóle nie dałoby się wielu rzeczy napisać, bo większość języków bez swojej
biblioteki standardowej nie potrafi zrobić nawet Hello World.
> Więc skoro reguły są takie, że bierzemy język *razem* z jego biblioteką
standardową, to niestety w Wolframie ten konkretny przykładowy problem rozwiązuje się
jednym wywołaniem odpowiedniej funkcji.
W każdym razie zagadka "najkrótszego kodu" w Mathematice rozwiązana.
Każdy może wyciągnąć swoje wnioski.
> To trochę jakbyś chciał wymyślić takie reguły gry w piłkę, żeby Lewandowski nie
mógł strzelić gola i żebyś wtedy mógł z nim wygrać. Sorry, ale przy normalnych,
uczciwych regułach, Lewandowski wygrywa.
>
> (nie żebym się znał na piłce i kto tam teraz rulez, ale mam nadzieję, że analogia
jest zrozumiała)
Bardziej taka analogia, że wystawiamy w wyścigu biegaczy i motocyklistów.
Raczej nikogo nie zdziwi, że motocykliści dojadą szybciej na metę. Ale raczej nie
wnioskowałbym stąd, że kondycja motocyklistów jest lepsza.
> > > A gdybym jednak chciał dodać pustą listę do wyniku?
> >
> > To zamiast '() napisałbyś '(())
>
> Ale czad. Prawie zaczynam pamiętać te wszystkie specjalne szczególiki. Bo sorry,
ale nadal tutaj jest specjalne traktowanie listy.
Tutaj nie ma żadnego specjalnego traktowania listy.
Funkcja "append-map" wymaga, żeby przekazana do niej funkcja zwracała listę. Funkcja
tworzy listę wynikową sklejając ze sobą wyniki list cząstkowych, powstałych przez
aplikację przekazanej funkcji do każdego elementu przekazanej listy.
Nie ma tu żadnych specjalnych szczególików.
> > (Nie ukrywam jednak, że zdziwiłbym się, gdyby się okazało, że jakiś znaczący
odsetek użytkowników Mathematiki miał wcześniej głębszy kontakt z Lispem)
>
> Bardzo nieudolnie ukrywasz swoje poczucie wyższości nad resztą świata.
Zauważyłem, że niejednokrotnie w naszych dyskusjach zdarza Ci się wyjechać z jakimś
dziwnym "ad personam" w moim kierunku. A to że próbuję szpanować, a to że jestem
arogancki, a to że mam poczucie wyższości nad resztą świata.
Nie wiem, skąd się to u Ciebie bierze, ani czemu to ma służyć. Jeżeli masz jakieś
pytania na temat mojej osobowości, to lepiej zapytaj, zamiast spekulować.
W tym kontekście, jeżeli miałbym mówić o "wyższości czegoś nad czymś", to bym
powiedział, że wkład Johna McCarthy'ego w rozwój informatyki był moim zdaniem większy
od wkładu Stephena Wolframa (który być może lepiej się potrafił sprzedać). Ale to
tyle. Nie ma w tym przekonaniu absolutnie nic na mój temat.
> Otóż Wolfram sam twierdzi, że:
Że Wolfram twierdzi, to mnie nie zaskakuje. Ale mówiłem o "znaczącym odsetku
użytkowników", a nie o "odsetku znaczących użytkowników"
> Przypuszczam, że takie doświadczenia dotyczą również jakiejś części użytkowników.
Ile jest takich przypadków - nie wiem, ale biorąc pod uwagę, że w środowisku
uczelnianym LISP jest silnie reprezentowany i wiele narzędzi związanych z matematyką
było swego czasu napisanych w LISPie, to spodziewam się, że świadomość LISPa wśród
użytkowników Wolframa jest co najmniej zauważalna.
No właśnie. Ty się spodziewasz jednego, ja się spodziewam drugiego, i pewnie żaden z
nas nigdy się na ten temat nie dowie niczego.
Następne wpisy z tego wątku
- 05.08.19 14:35 Roman Tyczka
- 05.08.19 14:58 g...@g...com
- 05.08.19 22:29 Maciej Sobczak
- 06.08.19 10:55 Maciej Sobczak
- 06.08.19 15:31 Borneq
- 06.08.19 15:45 g...@g...com
- 06.08.19 16:32 Borneq
- 06.08.19 16:39 g...@g...com
- 06.08.19 16:57 Borneq
- 06.08.19 17:01 Borneq
- 06.08.19 17:20 g...@g...com
- 06.08.19 22:57 g...@g...com
- 07.08.19 09:39 Maciej Sobczak
- 07.08.19 10:09 Maciej Sobczak
- 07.08.19 11:10 g...@g...com
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-05-18 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-18 Warszawa => Software .Net Developer <=
- 2024-05-18 Warszawa => Mid/Senior QA Engineer <=
- 2024-05-18 Ulm => Solution Architect (sichere Kommunikation und IoT-Loesungen <=
- 2024-05-18 Katowice => Head of Virtualization Platform Management and Operating S
- 2024-05-18 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-18 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-18 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-18 Warszawa => Account Manager (Recruitment Services) <=
- 2024-05-18 Łódź => Salesperson - CRM Systems <=
- 2024-05-18 Łódź => Handlowiec - Systemy CRM <=
- 2024-05-17 ZŁOMNIK o pracy w TVN TURBO, nowych przepisach i współczesnej motoryzacji. Turbo Taryfa!
- 2024-05-17 Białystok => DevOps Engineer Conexa First (Contractor) <=
- 2024-05-17 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-17 Zabrze => Junior HelpDesk <=