🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.lang.funkcyjne
Article #894

Re: Przyjemny, elegancki, prosty jezyk funkcyjny

#894
From: Michał Przybyłek
Date: Sat, 19 May 2007 21:05
50 lines
3873 bytes
Marcin 'Qrczak' Kowalczyk napisał(a):

>> Jeszcze raz Ci powtarzam, że funkcje są tak czy inaczej już wyróżnione 
>> _syntaktycznie_. Tablice nie.
> 
> W Perlu tablice też są wyróżnione składniowo.

W Lispie nie są. Obawiam się, że naprawdę ciężko Ci będzie zarzucić 
niespójność Lispu opierając się ledwie o niespójność Perla (już prędzej 
udało by Ci się w ten sposób udowodnić niespójność Koguta, jako, że on 
ma więcej wspólnego z Perlem niż Lisp ; szczególnie jeżeli chodzi o 
filozofię języka, to Lisp i Perl stoją na dwóch przeciwległych biegunach 
- reszta języków jest gdzieś pomiędzy).

> Zresztą to, że w jakiejś składni funkcja jest pod pewnym względem
> wyróżniona składniowo, nie jest argumentem za tym, żeby wyróżniać ją
> dodatkowo osobną przestrzenią nazw.

Nie jest argumentem.

Nie jest dodatkowym wyróżnieniem. Przestrzeń liniowo-topologiczna i 
przestrzeń topologiczna, to dwie różne rzeczy. Ciężko Ci będzie 
przepchnąć argument, że niekonsekwencją w matematyce jest to, że 
przekształcenia przestrzeni liniowo-topologicznych definiuje się inaczej 
niż przekształcenia przestrzeni topologicznych i inaczej niż zwykłe 
funkcje na zbiorach. Albo, że to "dodatkowo wyróżnia" przestrzeń 
topologiczną. Taka a nie inna definicja jest właśnie _konsekwencją_ 
różności, a nie dodatkową rzeczą pogłębiającą różność.

Raczej gdyby definicje przekształceń były takie same, to powinniśmy się 
pytać "dlaczego są takie same, skoro to różne rzeczy ? - ooo... jakie to 
dziwne".

No więc - dlaczego w Kogucie funkcje i zwykłe wartości siedzą w tym 
samym worku, skoro są czymś innym - mają inne własności i inaczej się 
ich używa ? Nie uważasz, że to trochę nielogiczne... ?

>> Ale może skupmy się na jednym aspekcie - rysuj za każdym razem co 
>> dokładnie zarzucasz temu podejściu - niespójność/nielogiczność, czy to, 
>> że jest niewygodne.
> 
> Z reguły zarzucam, że jest niewygodne. Niespójność i nielogiczność
> podnoszę kiedy kontruję argument, że inne rozwiązanie w przeciwieństwie
> do mojego jest wyjątkowo spójne i logiczne.

Dlaczego kontrujesz rzeczywistość ? Czy ona Ci coś złego wyrządziła ? 
Bądź miły dla rzeczywistości, to rzeczywistość będzie miła dla Ciebie :-)


mp
Technical Details
Message-ID: <f2nopn$agh$1@atlantis.news.tpi.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
References: <1179163778.661628.303210@h2g2000hsg.googlegroups.com> <f2ak3b$rpj$1@nemesis.news.tpi.pl> <1179268422.157417.102270@o5g2000hsb.googlegroups.com> <f2ej9b$f4k$1@nemesis.news.tpi.pl> <1179352200.4321.8.camel@qrnik> <f2igt8$2j$1@atlantis.news.tpi.pl> <1179440766.31265.21.camel@qrnik> <f2imn9$iig$1@atlantis.news.tpi.pl> <1179528669.15951.26.camel@qrnik> <f2ldb0$nun$1@atlantis.news.tpi.pl> <1179534794.18262.35.camel@qrnik> <f2mhpe$fpb$1@atlantis.news.tpi.pl> <1179577062.20571.28.camel@qrnik> <f2mvl2$6h5$1@atlantis.news.tpi.pl> <1179586792.20571.60.camel@qrnik>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Michał Przybyłek <pummelo@hamete.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Przyjemny, elegancki, prosty jezyk funkcyjny
Date: Sat, 19 May 2007 23:05:13 +0200
Organization: tp.internet - http://www.tpi.pl/
Lines: 50
Message-ID: <f2nopn$agh$1@atlantis.news.tpi.pl>
References: <1179163778.661628.303210@h2g2000hsg.googlegroups.com>  <f2ak3b$rpj$1@nemesis.news.tpi.pl>  <1179268422.157417.102270@o5g2000hsb.googlegroups.com>  <f2ej9b$f4k$1@nemesis.news.tpi.pl> <1179352200.4321.8.camel@qrnik>  <f2igt8$2j$1@atlantis.news.tpi.pl> <1179440766.31265.21.camel@qrnik>  <f2imn9$iig$1@atlantis.news.tpi.pl> <1179528669.15951.26.camel@qrnik>  <f2ldb0$nun$1@atlantis.news.tpi.pl> <1179534794.18262.35.camel@qrnik>  <f2mhpe$fpb$1@atlantis.news.tpi.pl> <1179577062.20571.28.camel@qrnik>  <f2mvl2$6h5$1@atlantis.news.tpi.pl> <1179586792.20571.60.camel@qrnik>
NNTP-Posting-Host: dlb6.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: atlantis.news.tpi.pl 1179608695 10769 83.24.31.6 (19 May 2007 21:04:55 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Sat, 19 May 2007 21:04:55 +0000 (UTC)
User-Agent: Thunderbird 1.5.0.10 (Windows/20070221)
In-Reply-To: <1179586792.20571.60.camel@qrnik>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit