Naar de inhoud

Typering

Hoe een programmeertaal soorten waarden en passende bewerkingen behandelt.

Softwareontwikkeling

Wat is typering?

Typering regelt waardetypen en passende bewerkingen. Statische typecontrole kan onverenigbaarheid vóór uitvoering vinden; dynamische typering behandelt typen tijdens uitvoering. Type-informatie kan expliciet zijn of door een hulpmiddel worden afgeleid. Een getypeerde taal is niet automatisch vrij van fouten in bedrijfslogica.

In een fictief portaal moet quantity als number worden verwerkt. Een passende statische controle kan teksttoewijzing melden. Het getaltype bepaalt niet of een hoeveelheid positief, geheel of geldig voor de gekozen eenheid is. Een TypeScript-typeaanduiding valideert gegevens uit een externe interface ook niet automatisch tijdens uitvoering. Die invoer en bedrijfsregels vragen eigen controles.

Bronnen

Artikelen over dit onderwerp

Softwareontwikkeling met ASES

Maatwerksoftware, web- en mobiele apps