-
X-Received: by 2002:a0c:b59b:: with SMTP id g27mr97043qve.0.1542837889281; Wed, 21
Nov 2018 14:04:49 -0800 (PST)
X-Received: by 2002:a0c:b59b:: with SMTP id g27mr97043qve.0.1542837889281; Wed, 21
Nov 2018 14:04:49 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!feeder.erje.net
!2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!v
55no1741603qtk.0!news-out.google.com!h3ni4960qtk.1!nntp.google.com!v55no1741595
qtk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 21 Nov 2018 14:04:49 -0800 (PST)
In-Reply-To: <1...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.186.71.6;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 46.186.71.6
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>
<1...@g...com>
<8...@g...com>
<1...@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: Wed, 21 Nov 2018 22:04:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:212969
[ ukryj nagłówki ]W dniu środa, 21 listopada 2018 22:28:05 UTC+1 użytkownik Maciej Sobczak napisał:
> > Nie wiem, czy to wyczerpuje temat, ale na pewno jest
> > przykładem czegoś, co zwiększa ilość rzeczy, które możemy
> > statycznie powiedzieć o naszym programie.
>
> Zwiększa względem czego?
> Względem w ogóle braku takich mechizmów? Tak. Jest to postęp.
> Względem pre- i post-conditions? Nie widzę tego.
Co masz na myśli mówiąc o pre- i post-conditions?
Jaki język?
> Mam wrażenie, że języki funkcjonalne za bardzo fiksują się na pojęciu typu. O ile
typ nadaje się do opisania dozwolonych stanów, to nie za bardzo nadaje się do
opisania przejść między stanami.
To trochę takie pisanie palcem na piasku.
Jak byś przedstawił konkretne przykłady, to może moglibyśmy
spróbować podyskutować.
> > Jest też język ATS (trochę protoplasta Rusta), który
> > ma system "typów liniowych" służących do wyrażania twierdzeń
> > o poprawności korzystania z zasobów. Ale wydaje się raczej
> > trudny do używania:
>
> Skoro jest trudny, to tym bardziej nie ma szans na rynkową akceptację.
Nie ma żadnych szans. To jest risercz, i wcale nie udaje, że
próbuje być czymś więcej. Ale może można stamtąd wydobyć jakieś
wartościowe pomysły.
Następne wpisy z tego wątku
- 22.11.18 11:31 Maciej Sobczak
- 22.11.18 15:22 fir
- 22.11.18 16:08 AK
- 22.11.18 18:50 Sebastian Biały
- 22.11.18 18:53 Sebastian Biały
- 22.11.18 22:53 Wojciech Muła
- 22.11.18 23:25 AK
- 23.11.18 00:41 AK
- 23.11.18 00:43 AK
- 23.11.18 07:33 s...@g...com
- 23.11.18 08:00 Wojciech Muła
- 23.11.18 10:34 AK
- 23.11.18 10:38 AK
- 23.11.18 13:08 Wojciech Muła
- 23.11.18 13:10 Wojciech Muła
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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
Najnowsze wątki
- 2024-09-30 Rozprawa zdalna brak komputera
- 2024-09-30 Zielona Góra => Spedytor międzynarodowy <=
- 2024-09-30 Hackowanie SS7
- 2024-09-30 Seba strikes back
- 2024-09-30 MĂźnchen => DevOps Engineeer (Azure) <=
- 2024-09-30 MĂźnchen => DevOps Engineer (Azure) <=
- 2024-09-30 Gdańsk => Frontend Developer (Angular area) <=
- 2024-09-30 Warszawa => Spedytor Międzynarodowy <=
- 2024-09-30 Marki => Senior PHP Symfony Developer <=
- 2024-09-30 Warszawa => Technical Leader (Java Background) <=
- 2024-09-30 Warszawa => Key Account Manager <=
- 2024-09-30 Warszawa => Key Account Manager <=
- 2024-09-30 Białystok => Full Stack .Net Engineer <=
- 2024-09-30 Kraków => Ruby Backend Developer <=
- 2024-09-30 dziki wschod