« Discrete Math for CS course | Main | Online math books »
June 14, 2005
Dependent Types and Cobol
Who would've thunk? Someone out there is using dependent types to understand Cobol programs, via type inference no less!
On the other hand, this may have some relevance to Coconut.
Posted by Carette at June 14, 2005 02:07 PM
Comments
Good idea. I'd like to see how it works in practise, say at a big insurance company. They'd need a way to annotate type names with meaningful tags. They didn't go much into the value constraints, perhaps they'll do more in this area.
Posted by: Gordon J. Uszkay at June 14, 2005 03:13 PM