Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

C++ Templates are Turing Complete

[es] :: C++ programiranje :: C++ Templates are Turing Complete

[ Pregleda: 1700 | Odgovora: 6 ]

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

filmil
Filip Miletić
Oce Technologies B.V., inženjer hardvera
Arcen, NL

Član broj: 243
Poruke: 2114
*.adsl.zonnet.nl.

Jabber: filmil@jabber.org
ICQ: 36601391


Profil

icon C++ Templates are Turing Complete07.12.2004. u 23:36

Slučajno nađoh ovaj članak koji pokazuje kako se od C++ šablona može napraviti Tjuringova mašina!

Posledice su vrlo vesele, a IMHO najbolja od njih je:

Citat:
In the absence of instantiation limits, whether a C++ compiler will halt when compiling a given program is undecidable.


f
07.12.2004. u 23:36 

Dragi Tata

Član broj: 1958
Poruke: 3880
*.bos.east.verizon.net.

Sajt: www.novetehnologije.com


Profil

icon Re: C++ Templates are Turing Complete08.12.2004. u 00:37
O, da. Template metaprogramming je poznata i zabavna disciplina. Pogledaj recimo Boost MPL. A za lagani uvod u sve to preporučujem A gentle introduction to Template Metaprogramming with C++
08.12.2004. u 00:37 

filmil
Filip Miletić
Oce Technologies B.V., inženjer hardvera
Arcen, NL

Član broj: 243
Poruke: 2114
*.adsl.zonnet.nl.

Jabber: filmil@jabber.org
ICQ: 36601391


Profil

icon Re: C++ Templates are Turing Complete08.12.2004. u 00:53
Citat:
Template metaprogramming je poznata i zabavna disciplina.
I zapanjujuće nalik 110m sa preponama. :)

f
08.12.2004. u 00:53 

Goran Arandjelovic
Goran Arandjelovic
Beograd

Član broj: 29116
Poruke: 248
*.dynamic.sbb.co.yu.

Jabber: goranche@elitesecurity.org


Profil

icon Re: C++ Templates are Turing Complete02.02.2007. u 22:48
Ja se stvarno izvinjavam što pokrećem ovu temu nakon dve godine, ali gde se može naći literatura o metaprogramiranju koja bi ujedno mogla sadržati i primere primena u nekim pattern-ima?

I da, ovo jeste mnogo dobro..:)
02.02.2007. u 22:48 

tupito
Vladan Milivojevic
Beograd

Član broj: 55195
Poruke: 53
212.200.177.*



Profil

icon Re: C++ Templates are Turing Complete07.02.2007. u 15:51
pa imas dobro poznatu knjigu Andrei Alexandrescu's "Modern C++ Design: Generic Programming and Design Patterns Applied", a tu ti je i Boost.MPL biblioteka ima solidnu dokumentaciju i dosta primera.
07.02.2007. u 15:51 

Dragi Tata

Član broj: 1958
Poruke: 3880
*.hsd1.ma.comcast.net.

Sajt: www.novetehnologije.com


Profil

icon Re: C++ Templates are Turing Complete07.02.2007. u 16:25
Alexandrescu se u stvari malo bavi MPL-om kao takvim. Imaš ovo (mada previše fokusirano na Boost.MPL): http://www.boost-consulting.com/mplbook/

a i ovde imaš lepo poglavlje o MPL-u: http://www.josuttis.com/tmplbook/
07.02.2007. u 16:25 

tupito
Vladan Milivojevic
Beograd

Član broj: 55195
Poruke: 53
212.200.183.*



Profil

icon Re: C++ Templates are Turing Complete07.02.2007. u 22:46
Ovo sam se ja svojevremeno nesto zezao sa MPL-om, ideja da biblioteka omogucava upisivanje SQL sintakse direktno u C++ kod gde bi metaprogram proveravao ispravnost SQL sintakse u kompjl vremenu, nesto mi je i uspelo da profunkcionise.
Prikačeni fajlovi
07.02.2007. u 22:46 

[es] :: C++ programiranje :: C++ Templates are Turing Complete

[ Pregleda: 1700 | Odgovora: 6 ]

Postavi temu Odgovori

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.