-
Data: 2012-06-16 02:42:55
Temat: Re: Czym jest programowanie?
Od: Andrzej Jarzabek <a...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]In article <4fdb3184$0$1217$65785112@news.neostrada.pl>, s...@h...pl
says...
>
> Uzytkownik "Andrzej Jarzabek" <a...@g...com> napisal w
> wiadomosci grup dyskusyjnych:jreijk$l3n$...@i...gazeta.pl...
> > Nie rozumiem? Gdzie istnieje? Jednoznacznosc czego?
>
> Od chce wyników do instrukcji dla CPU.
Znowu nie zrozumia?em.
Programowanie to nie jest koniecznie pisanie instrukcji dla CPU w sensie
dos?ownym (jezyka maszynowego). Napisany prograqm, owszem, w ten czy
inny sposób przek?ada sie na instrukcje CPU, ale to te? dotyczy
programów w paradygmatach innych ni? imperatywny. Z kolei nie musi tak
byae, ?e poszczególne instrukcje s? t?umaczone na jakieoe instrukcje lub
sekwencje instrukcji CPU - zasada translacji mo?e byae zupe?nie inna.
> > W programie wielowatkowym kolejnosc poszczególnych instrukcji nadal ma
> > znaczenie. W C raczej ciezko napisac program tak, zeby kazda instrukcja
>
> Programowanie relatywistyczne. Jest podobno cos takiego.
Nie wiem co to jest.
Ogólnie nie jest trudno sobie wyobraziae pe?noprawny jezyk progrmaowania,
w którym semantyka programu nie zale?y od kolejnooeci instrukcji.
> > programu, gdzie programem byl "zbiór instrukcji". Analnie czepiajac sie
> > zauwazam, ze zbiór nie ma okreslonej ilosci elementów. Rozpatruje
>
> Ciekawe stwierdzenie - zajrzyj sobie co to jest tzw. "moc zbioru". Nawet
> zbiory nieskonczone maja okreslona ilosc elementów.
Przepraszam, chodzi?o o kolejnooeae elementów.
> > instrukcji. Zauwazam, ze taki hipotetyczny jezyk raczej nie jest jezykiem
> > imperatywnym.
>
> Dla mnie imperatywnosc to nie uszeregowanie instrukcji, ale sama koncepcja
> ze kogos/cos trzeba instruowac.
Instruowaae to dooeae ogólne pojecie. Dla praktycznie dowolnego programu w
jezyku powszechnie uwa?anym za nie-imperatywny (Prolog, Haskell, SQL)
mo?na powiedzieae, ?e taki program instruuje czy to komputer,
interpreter, czy baze danych.
Ogólnie przyjmuje sie, ?e paradygam imperatywny polega na tym, ?e sie
formu?uje program w postaci polecen do wykonania, a uzyskanie efektu
dzia?ania programu opiera sie na wykonaniu tych polecen w okreoelonej
kolejnooeci (co nie znaczy, ?e w programie nie mo?e byae instrukcji o
innym charakterze, np. deklaracji lub definicji ró?nych tworów).
> > http://www.fourmilab.ch/babbage/sketch.html
>
> Niezbyt przekonywujace ze to jest programowanie. Raczej lamiglówka
> matematyczna.
Jest pokazane w precyzyjny sposób jak na komputerze o okreoelonej
konstrukcji uzyskaae program robi?cy okreoelone rzeczy. Te instrukcje s?
homomorficzne z programem - gdyby maszyna istnia?a, to prze?o?enie ich
na kod maszynowy by?oby czysto mechanicznym procesem.
NB z tytu?u czytania kiedyoe o tym, dlaczego jest tak ma?o kobiet
programistek, w kilku artyku?ach wyczyta?em, ?e w latach 50-tych by?a to
g?ównie domena kobiet. Tylko ?e przy dalszym przyjrzeniu sie tematowi,
wychodzi?o, ?e owszem, tylko ?e "programowanie" oznacz?o wtedy
przek?adanie dooeae precyzyjnego zapisu, który dzisiaj nazwalibyoemy
psedokodem, na jezyk maszynowy. To "naukowcy" czy "in?ynierowie"
wykonywali dzisiejsz? prace programisty, te panie wykonywa?y prace
kompilatora. Pomijaj?c w tym momencie ca?kowicie temat kobiet, chcia?em
tylko zauwa?yae, ?e pojecie "programowania" i "programisty" faktycznie
mo?e sie mocno zmieniaae w czasie, mimo ?e nominalnie ca?y czas mo?emy
mówiae o uk?adaniu "instrukcji dla komputera".
Następne wpisy z tego wątku
- 16.06.12 02:52 Andrzej Jarzabek
- 16.06.12 05:04 Andrzej Jarzabek
- 16.06.12 10:46 alter amonu
- 18.06.12 01:46 slawek
- 18.06.12 02:00 slawek
- 18.06.12 14:03 firy
- 18.06.12 14:20 Roman W
- 18.06.12 19:03 AK
- 18.06.12 19:09 AK
- 18.06.12 22:36 slawek
- 18.06.12 22:38 slawek
- 18.06.12 22:44 slawek
- 18.06.12 23:00 Maciej Sobczak
- 18.06.12 23:04 AK
- 19.06.12 01:12 Andrzej Jarzabek
Najnowsze wątki z tej grupy
- 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ą."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
Najnowsze wątki
- 2025-06-02 Wrocław => Konsultant wdrożeniowy (systemy controlingowe) <=
- 2025-06-01 jaki kretyn boziu uśpić :)
- 2025-06-01 Zdolny to legalnego prowadzenia samochodu w Anglii wykluczony z komisji wyborczej w Białymstoku
- 2025-06-01 nie ustąpiła moturowi?
- 2025-05-31 Skoro jest tak dobrze i TANIO to dlaczego jeszcze nie jeździmy na takich akumulatorach?
- 2025-05-31 Warszawa => IT Data Analyst (obszar Power BI) <=
- 2025-05-31 Warszawa => IT Hardware Specialist - Wsparcie i Konfiguracja <=
- 2025-05-31 Środa Wielkopolska => Konsultant wewnętrzny SAP FI/CO <=
- 2025-05-31 Gdańsk => PHP Developer <=
- 2025-05-31 Lublin => Delphi Programmer <=
- 2025-05-31 co to za obcęgi? [OT]
- 2025-05-30 Rondo :)
- 2025-05-30 Warszawa => Senior Account Manager <=
- 2025-05-30 Warszawa => Senior C++ Developer (analiza numeryczna i modelowanie) <=
- 2025-05-30 Gdańsk => Team Lead Data Engineer (Snowflake) <=