Programmeringssprog: Forskelle mellem versioner
Content deleted Content added
m r2.5.1) (robot Tilføjer: io:Programifo-lingui |
m →Typede og utypede sprog: Tilføjet note om 'dependent types' og 'typecasting' |
||
Linje 56:
Blandt ''utypede'' sprog findes [[assemblersprog]] hvor en hvilken som helst operation kan udføres på en hvilken som helst mængde data. Blandt utypede programmeringssprog af [[højniveau (programmering)|højere niveau]] findes [[BCPL]] og nogle varianter af [[Forth]].
Man kan inddele typede sprog på flere måder, blandt andet i ''stærkt/svagt'' eller ''statisk/dynamisk'' afhængigt af hvor strikst typesystemet er og hvor i processen af programmets oversættelse og afvikling at typetjek sker. Nogle programmeringssprog understøtter såkaldte ''afhængige typer'' (eng. ''dependent types'') hvor hver type angiver hver enkelt værdi den kan tage (modsat typer som ''int'' og ''float'' i gængse programmeringssprog, der kan tage værdier i et omfattende interval).
I praksis er få programmeringssprog ''typede'' set fra et typeteoretisk perspektiv (hvis typesystemet ikke verificerer hele programmets korrekthed) -- de fleste moderne programmeringssprog tillader en grad af typestyrke, og mange tillader at omgå typesystemet, fx vha. ''typecasting'', hvor en værdi af én type påstås at være en værdi af en anden type.
== Liste af programmeringssprog ==
| |||