Re:Lively Linear Lisp – 'Look Ma, No Garbage' (1991)
by agumonkey on Tuesday May 02, 2017 @04:59PM
(#14250526)
I see. Is the unused eliminated automatically on a later stage in the case of an affine type ?
[ Parent
| on HN ]
Re:Lively Linear Lisp – 'Look Ma, No Garbage' (1991)
by theseoafs on Tuesday May 02, 2017 @05:10PM
(#14250636)
Not sure what you're asking here. Usually the semantics behind what happens to an unused variable (i.e. is the file automatically closed, etc.) come down to how the language is designed. It could be automatically destroyed (like RAII in C++) or it could just be forgotten.
In a purely functional language with affine types, unused variables are usually just optimized out.