Jeg er veldig fornøyd med vårt komponerbare typesystem. I stedet for å gjøre kjøretidssjekker, skriver du bare ut betingelsene deklarativt. Som her bruker vi «NonEmpty» for å sikre at når du sender tokens, kan du ikke sende nullbeløp:
Eller her bruker vi «Bounded» for å sikre at gebyrsatsene er av fornuftige verdier:
3,64K