O ekspresywnej mocy języków programowania

Article View: pl.comp.programming

Article #216440

Back to pl.comp.programming Previous Next

#216440

From: godek.maciek
Date: Mon, 23 Sep 2019 10:25

3 lines
1557 bytes

Jeśli by to kogoś interesowało, niedawno na Youtubie pojawił się wykład dotyczący "ekspresywnej mocy języków programowania", referujący papier (chyba z lat 90.), który stara się zbudować teoretyczny framework do porównywania mocy wyrazu języków, które są "Turing complete":

https://www.youtube.com/watch?v=43XaZEn2aLc

Technical Details

Message-ID: <4b2a3185-4bf2-405f-b5cc-f13997706077@googlegroups.com>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o24no890930qtl.0!news-out.google.com!x7ni1467qtf.0!nntp.google.com!o24no890925qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail

Show Full Headers

Complete Article Headers

X-Received: by 2002:a0c:c590:: with SMTP id a16mr23620971qvj.144.1569234316875;        Mon, 23 Sep 2019 03:25:16 -0700 (PDT)
X-Received: by 2002:ac8:6745:: with SMTP id n5mr6786789qtp.239.1569234316662; Mon, 23 Sep 2019 03:25:16 -0700 (PDT)
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o24no890930qtl.0!news-out.google.com!x7ni1467qtf.0!nntp.google.com!o24no890925qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 23 Sep 2019 03:25:16 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.68.153; posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 213.192.68.153
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4b2a3185-4bf2-405f-b5cc-f13997706077@googlegroups.com>
Subject: O ekspresywnej mocy języków programowania
From: godek.maciek@gmail.com
Injection-Date: Mon, 23 Sep 2019 10:25:16 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit