Monday, June 13, 2011
Whiley.org
Whiley is an in interesting computer programming language: Compile-type Constraints, pure functions, unpure methods, Async/Sync messages, and coolest of all: Compiler can reason about correctness of code.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment