-
X-Received: by 2002:a0c:af1b:: with SMTP id i27mr223404qvc.4.1542665539747; Mon, 19
Nov 2018 14:12:19 -0800 (PST)
X-Received: by 2002:a0c:af1b:: with SMTP id i27mr223404qvc.4.1542665539747; Mon, 19
Nov 2018 14:12:19 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!feeder.erje.net
!1.eu.feeder.erje.net!border1.nntp.ams1.giganews.com!nntp.giganews.com!feeder2-
2.proxad.net!proxad.net!feeder1-2.proxad.net!209.85.166.216.MISMATCH!q69no61380
0itb.0!news-out.google.com!v141ni861ita.0!nntp.google.com!q69no613797itb.0!post
news.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 19 Nov 2018 14:12:19 -0800 (PST)
In-Reply-To: <a...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.186.72.57;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 46.186.72.57
References: <8...@g...com>
<7...@g...com>
<d...@g...com>
<psp6q7$97o$1@node2.news.atman.pl>
<6...@g...com>
<pss4d0$14n$1@node2.news.atman.pl>
<3...@g...com>
<8...@g...com>
<a...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a...@g...com>
Subject: Re: Niezmienniki pętli
From: g...@g...com
Injection-Date: Mon, 19 Nov 2018 22:12:19 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 141
Xref: news-archive.icm.edu.pl pl.comp.programming:212940
[ ukryj nagłówki ]W dniu poniedziałek, 19 listopada 2018 21:18:16 UTC+1 użytkownik s...@g...com
napisał:
> > Warto przyjrzeć się językowi Idris i typom zależnym. Twórca Idris, Edwin Brady,
> > opowiada tutaj o nim z humorem:
> > https://www.youtube.com/watch?v=zSsCLnLS1hg
>
> Po po pierwsze, primo:
> 1. C++ jest zupełnie wystarczający do wszystkiego.
Im ciaśniejsze mamy umysły, tym węższe jest nasze
wyobrażenie "wszystkiego", i tym łatwiej nam znaleźć
"jendą rzecz, która nadaje się do wszystkiego".
Dla mnie Scheme jest ostatecznym językiem programowania.
Ale mimo tego rozglądam się dookoła, bo w różnych miejscach
można znaleźć różne ciekawe pomysły.
> A to co nie produkcyjne może być w Bash lub Pythonie.
A dlaczego nie w C++?
> A jak chcemy zrobić bazkę to dodatkowo Sql.
A dlaczego nie C++?
I czy oprócz C++, basha, pythona, htmla, javascriptu i sql znasz
jeszcze jakieś języki?
> Jest tego dość by mieć czego się uczyć przez 5 lat!
Najwidoczniej siedzę w tych tematach dłużej niż 5 lat.
> Po drugie, primo:
> 2. W języku programowania jest najważniejsze by był kompilowany do kodu maszynowego
(niżej nie zejdziemy - chyba że jeżyki opisu sprzętu Vhdl/Verilog są nam
niestraszne).
Dlaczego to jest najważniejsze?
> Po trzecie, primo:
> 3. Nie język programowania z Ciebie robi programistę, ale algorytmy jakich używasz.
Nie rozumiem.
Myślałem, że to programowanie robi ze mnie programistę.
> Więc może sobie oszczędź tych wyjazdów z "odlotowymi" językami programowania, bo to
wrabianie w stratę czasu na bzdury!
Jeżeli nie chcesz, to się tego nie ucz.
Jeżeli kogoś to zainteresuje, to sobie obejrzy.
Akurat ma związek z tematem, który został poruszony
(oraz wartość rozrywkową)
> Lepiej już zaprojektować jakiś program (poćwiczyć projektowanie) z jakimiś
ciekawymi algorytmami (poćwiczyć projektowanie algorytmów i ew. złożoność
obliczeniową), a potem zastanowić się co w naszym dotychczasowym stylu kodowania było
nie tak i to zakodować to wg najnowszych pomysłów i spostrzeżeń (poćwiczyć
kodowanie).
No, jak się uczy podstaw, to warto ćwiczyć podstawy.
Przy okazji, "asercja" to po prostu inne słowo na "stwierdzenie"
albo "uznawanie".
Mówiąc technicznie, jest to kategoria wyrażenia należąca do
tak zwanych "postaw propozycjonalnych", czyli aktów mentalnych,
których możemy dokonywać względem sądów logicznych (czyli
odniesień wyrażeń językowych, które mają wartość logiczną, tj.
mogą być prawdziwe albo fałszywe).
Inne przykłady postaw propozycjonalnych to np. założenie
(hipoteza), wątpienie albo odrzucenie.
Gottlob Frege jest autorem nowożytnej analizy pojęcia asercji.
Polecam lekturę (to będzie albo Begriffschrift, albo Grundlagen
den Arithmetik).
> To jest racjonalne a nie strata czasu na kolejny (zbędny) język programowania.
Skąd wiesz, że to "kolejny (zbędny) język programowania"?
Na jakiej podstawie formułujesz taki sąd?
> Jak nie rozumiesz tego: to jest tak jak byś pożyczał od kogoś innego instrukcję
obsługi samochodu i się jarał jakie wymienione są tam ficzery - to paranoja masz swój
wózek i masz gdzieś ficzery wymienione w instrukcji kumpla - co najwyżej można na
temat tych ficzerów pogadać 5 min a nie czytać o tym tydzień!!!
Nie rozumiem porównania.
Serio.
C++ to najgorszy język, z jakim miałem styczność.
Już dawno oddałem go na złom.
C++ sprawia, że pierdołowate programiki, które w innych
językach zajęłyby kilka linijek, urastają do rangi
wielkiego osiągnięcia.
> Do trzeciego primo mam takie spostrzeżenie: zastanawiasz się czasem co programujesz
na co dzień?!? Czy nie jest tak, że przez prawie czas po prostu kopiujesz zmienne z
jednego miejsca w drugie?!? walcząc przy tym z jakimś obcym Api?!?
Nie mam tak. Choć przyznam, że pracując przez ostatni rok
w korporacji robiłem w ramach pracy dosłownie dokładnie to.
Tzn. pisałem kod, który generował instrukcje asemblera,
które wykorzystywały jakieś egzotyczne rozszerzenia procesorów
do tego, żeby o kilka promili szybciej (na niektórych benczmarkach)
implementować biblioteczną funkcję memmove.
Ale zrezygnowałem z pracy w korporacji.
Programując, staram się minimalizować dystans pomiędzy moimi
myślami a programami. Język programowania jest dla mnie
precyzyjną formą wyrazu myśli.
> Ja np w ciągu pół roku zakodowałem tylko jeden algorytm z prawdziwego zdarzenia
(problem producenta i konsumenta), co mi zajęło parę dni (walka z Api gniazdek i
funkcją select Linux-a). Natomiast przez pozostały czas tylko kopiuję z jednego w
drugie (wyświetlanie danych, zapisy do bazy i edycja parametrów urządzeń). Ale i tak
jestem zadowolony, że mam tą robotę. Dobre jest to, że ten spadkowy projekt
opanowałem i prowadzę ku końcowi. A teraz przygotowujemy się do stworzenia nowego
ciekawego systemu z kilkoma algorytmami (ale i tak kopiowania danych będzie pewnie
95% kodu systemu).
Trzymam kciuki.
Jak będziecie używać mojej funkcji memmove, to może nawet zadziała
o ćwierć promila szybciej na niektórych procesorach.
Następne wpisy z tego wątku
- 20.11.18 00:00 AK
- 20.11.18 00:20 AK
- 20.11.18 05:37 s...@g...com
- 20.11.18 10:35 Queequeg
- 20.11.18 10:43 Queequeg
- 20.11.18 10:46 fir
- 20.11.18 10:58 fir
- 20.11.18 12:00 AK
- 20.11.18 14:29 Maciej Sobczak
- 20.11.18 14:38 Maciej Sobczak
- 20.11.18 15:07 Maciej Sobczak
- 20.11.18 17:54 AK
- 20.11.18 21:52 fir
- 20.11.18 22:16 fir
- 20.11.18 22:46 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-06-06 Nowy sprytny tel. z Androidem 13. - OSTRZEŻENIE!!!
- 2024-06-08 czarny punkt - Małdyty
- 2024-06-08 Protesters attempt to storm Tesla's factory in Germany
- 2024-06-07 przydałaby się grupa o wszystkim
- 2024-06-07 Rowerzyści! Co się z wami dzieje?!
- 2024-06-07 Peltier
- 2024-06-07 Jakie znacie działające serwery grup dyskusyjnych?
- 2024-06-07 nerwica lękowa
- 2024-06-07 Jakie znacie działające serwery grup dyskusyjnych?
- 2024-06-07 Jakie znacie działające serwery grup dyskusyjnych?
- 2024-06-08 Warszawa => Spedytor międzynarodowy <=
- 2024-06-08 Warszawa => QA Manager <=
- 2024-06-08 Warszawa => Projektant/Programista React Native <=
- 2024-06-08 Zabrze => Junior HelpDesk <=
- 2024-06-08 Warszawa => Business Development Manager <=