Preguntas con respuestas sobre "linear-types"

¿Existe una manera razonable de expresar el concepto de un tipo lineal en .Net (subconjunto común de Compact Framework / desktop 3.5), de tal manera que (a) la sintaxis requerida no se vuelva demasiado detallada, complicada o dolorosa y (b) el invariante puede ser aplicado en tiempo de ejecución o validado por ...