Kontrakter er på vej til Googles Go-sprog

Kontrakter er på vej til Googles Go-sprog
Illustration: Bigstock/REDPIXEL.PL.
Go har kig på kontrakter, som skal anvendes til at indføre type-parametre i sproget.
7. august 2019 kl. 11:22
errorÆldre end 30 dage
Manglende links i teksten kan sandsynligvis findes i bunden af artiklen.

Googles sprog Go vil i et nyt udkast tilføje kontrakter til sproget. Det skal bruges til at indføre type-parametre i sproget.

Det skriver udviklerbloggen Infoq.

Kontrakter, som som det kendes fra sproget Eiffel, handler som oftest om strengere guards eller 'pre-conditions' ved funktionskald, og post-conditions, der tjekker såkaldt invariant opførsel inde i selve en funktions krop.

Men i Go implementeres kontrakter for at parametrisere typer og funktioner. Go's udviklere benytter termen 'generics', men betoner, at der ikke menes det samme med begrebet, som i sprog som C++, C#, Java eller Rust.

Artiklen fortsætter efter annoncen

En kontrakt i Go skrives ved at angive de typer, som passer sammen med kontrakten. En funktion, der returnerer et minimum at to værdier, kan implementeres ved at definere en kontrakt, der inkluderer alle typer, som har en

Ingen kommentarer endnu.  Start debatten
Debatten
Log ind for at deltage i debatten.
settingsDebatindstillinger