Article View: be.comp.programming
Article #7995Re: [php] Vraagjes over variabelen
From: Gerrit Cornelis
Date: Thu, 11 Jul 2002 13:08
Date: Thu, 11 Jul 2002 13:08
33 lines
3007 bytes
3007 bytes
Nicolas Barbier <reply@in.group> wrote in message
news:pan.2002.07.11.01.37.16.504677.1718@in.group...
<knip>
> type verbruik: integer; { als mijn pascal totaal niet klopt is dat omdat
> het al zo lang geleden is :-) }
> var i: verbruik;
> j: integer;
> (..)
> i = j; { FOUT }
>
> dan geeft dat dus een fout omdat de types niet hetzelfde zijn. in C is dit
> perfect legaal, en daarom noemt men C een zwakker getypeerde taal (afaik).
>
De definitie van strong typing is dat de taal at compile of at runtime
(maakt niet uit) ten allen tijde kan garanderen dat een bepaalde operatie op
het juiste type van data gebeurd. C doet alle type checking at compile time
maar heeft een construct (unions) die at compile time niet te checken valt.
Hence, c is een zwak getypeerde taal (je kan evenmin een klein beetje sterk
getypeerd zijn als een klein beetje zwanger). Maar zoals Dominique terecht
opmerkt krijg je in ruil voor deze onveiligheid een boel flexibiliteit
terug. btw, ook Pascal is zwak getypeerd omwille van variant records die in
hetzelfde bedje ziek zijn als unions.
Merk op dat dit niets te maken heeft met statisch of dynamisch getypeerd
zijn. Smalltalk is een sterke en dynamisch getypeerde taal, c is een zwak en
statisch getypeerde taal, java is een sterke en statisch getypeerde taal
(deel van de type check gebeurd at run time). Maar een dynamisch getypeerde
taal sluit uit dat de compiler de typering checkt en alle checks worden at
runtime gedaan.
Gerrit
Technical Details
Message-ID:
<UqfX8.24$aK6.1057@nreader1.kpnqwest.net>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-01!sn-xit-08!supernews.com!newsfeed.news2me.com!aotearoa.belnet.be!news.belnet.be!newsfeed.vmunix.org!newsfeed01.sul.t-online.de!newsfeed00.sul.t-online.de!t-online.de!newsfeed.esat.net!nslave.kpnqwest.net!nnum.kpnqwest.net!EU.net!nreader1.kpnqwest.net.POSTED!not-for-mailReferences:
<298oiusaharbp8t3c790rdjjsptoqmld8q@4ax.com> <LgWW8.1534$QS3.362@afrodite.telenet-ops.be> <KqZW8.44$IC6.2559@nreader1.kpnqwest.net> <pan.2002.07.11.00.37.27.534095.1718@in.group> <8765znmbba.fsf@living.pandora.be> <pan.2002.07.11.01.37.16.504677.1718@in.group>Show Full Headers
Complete Article Headers
X-Google-Language: DUTCH,ASCII-7-bit X-Google-Thread: fcea4,7012b8384dd2d599 X-Google-Attributes: gidfcea4,public X-Google-ArrivalTime: 2002-07-11 06:30:09 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-01!sn-xit-08!supernews.com!newsfeed.news2me.com!aotearoa.belnet.be!news.belnet.be!newsfeed.vmunix.org!newsfeed01.sul.t-online.de!newsfeed00.sul.t-online.de!t-online.de!newsfeed.esat.net!nslave.kpnqwest.net!nnum.kpnqwest.net!EU.net!nreader1.kpnqwest.net.POSTED!not-for-mail Reply-To: "Gerrit Cornelis" <gerrit.cornelis@mediaGeniX_RemoveForReply.com> From: "Gerrit Cornelis" <gerrit.cornelis@mediaGeniX_RemoveForReply.com> Newsgroups: be.comp.programming References: <298oiusaharbp8t3c790rdjjsptoqmld8q@4ax.com> <LgWW8.1534$QS3.362@afrodite.telenet-ops.be> <KqZW8.44$IC6.2559@nreader1.kpnqwest.net> <pan.2002.07.11.00.37.27.534095.1718@in.group> <8765znmbba.fsf@living.pandora.be> <pan.2002.07.11.01.37.16.504677.1718@in.group> Subject: Re: [php] Vraagjes over variabelen Lines: 35 Organization: MediaGeniX X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2314.1300 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 Message-ID: <UqfX8.24$aK6.1057@nreader1.kpnqwest.net> Date: Thu, 11 Jul 2002 13:08:04 GMT NNTP-Posting-Host: 193.74.14.13 X-Complaints-To: abuse@kpn.be X-Trace: nreader1.kpnqwest.net 1026392884 193.74.14.13 (Thu, 11 Jul 2002 15:08:04 MET DST) NNTP-Posting-Date: Thu, 11 Jul 2002 15:08:04 MET DST