Beroende på typade språk är väl kända för att ha ett problem med kod återanvändning. Traditionella icke-indexerade algebraiska datatyper (t.ex. listar) visas vid sidan av en uppsjö av indexerade variationer (t.ex. vektorer). Funktioner skrivs ofta om för både icke-indexerade och indexerade versioner av i stort sett samma datatyp, som är en källa till kod dubblering. Vi arbetar i en curry-stil beroende typ teori, där samma otypade term kan klassificeras som både icke-indexerade och indexerade versioner av en datatyp. Många lösningar har föreslagits för problemet med beroende skrivit återanvändning, men vi utnyttjar Curry-stil typ teori i vår lösning för att inte bara återanvända data och program, men gör det till noll kostnad (utan en runtime straff). Vårt arbete är en övning i beroendeframkallande generisk programmering och internaliserar processen med nollkostnadsåteranvändning som identitetsfunktion i en Curry-stil-teori.
Nyligen utförda arbeten av REF studerar möjligheten till nollkostnadskonverteringar i en currystil, beroende på vilket språk som används.
J ul 2 01 8 Generic Zero-Cost Reuse for Dependent Types