Monday, January 06, 2003

Lambda the Ultimate reports that a new version of Cecil and Vortex have been released. Cecil is a programming langyuage with predicate based dispatch and a prototype based object system. 1:13:12 PM

From Lambda: "I just noticed that the Vault programming language from Microsoft Research is available for download. Last I looked, they only had papers available. Previously mentioned on LtU here." From the Vault website: "Take files as an example. When a programmer uses an I/O library, she often has to obey rules like these: you must open a file before you read or write it; you can only read (write) from a file that is open for reading (writing); you cannot read or write a file after you close it; you must close every file that you open. Such rules are hopefully recorded in the I/O library's documentation. Disobeying such a rule might cause the program to crash or otherwise misbehave. With Vault, these rules become part of the types of the functions in the library's interface" 1:08:37 PM