Vi föreslår en liten utvidgning av ERLANG-språket som gör det möjligt för programmerare att specificera kontrakt med typinformation på individnivå. Sådana avtal är frivilliga och de dokumenterar den avsedda användningen av funktioner. Avtal gör det möjligt för automatiska dokumentationsverktyg som Edoc att generera bättre dokumentation och feldetekteringsverktyg som Dialyzer att upptäcka fler slag av sammanstötningar. Eftersom Erlang/OTP-systemet redan innehåller komponenter som utför automatisk typslutledning av framgångsskrivande, beskriver vi också hur kontrakt interagerar med framgångsskrivande och ofta kan ge viss viktig information till slutprocessen.
Typ kontraktsspråket för Erlang REF gör det möjligt att ange det avsedda beteendet hos funktioner.
A language for specifying type contracts in erlang and its interaction with success typings
{'venue': "ERLANG '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}