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

C++ Templates are Turing Complete

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

[ Pregleda: 3684 | Odgovora: 6 ] > FB > Twit

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


+3 Profil

icon C++ Templates are Turing Complete07.12.2004. u 23:36 - pre 235 meseci
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
 
Odgovor na temu

Dragi Tata
Malo ispod Kanade

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



+6 Profil

icon Re: C++ Templates are Turing Complete08.12.2004. u 00:37 - pre 235 meseci
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++
 
Odgovor na temu

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


+3 Profil

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

f
 
Odgovor na temu

Goran Arandjelovic
Beograd

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



+9 Profil

icon Re: C++ Templates are Turing Complete02.02.2007. u 22:48 - pre 209 meseci
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..:)
 
Odgovor na temu

tupito
Vladan Milivojevic
Beograd

Član broj: 55195
Poruke: 54
212.200.177.*



Profil

icon Re: C++ Templates are Turing Complete07.02.2007. u 15:51 - pre 209 meseci
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.
 
Odgovor na temu

Dragi Tata
Malo ispod Kanade

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



+6 Profil

icon Re: C++ Templates are Turing Complete07.02.2007. u 16:25 - pre 209 meseci
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/
 
Odgovor na temu

tupito
Vladan Milivojevic
Beograd

Član broj: 55195
Poruke: 54
212.200.183.*



Profil

icon Re: C++ Templates are Turing Complete07.02.2007. u 22:46 - pre 209 meseci
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
 
Odgovor na temu

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

[ Pregleda: 3684 | Odgovora: 6 ] > FB > Twit

Postavi temu Odgovori

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