On 12/08/2009, at 11:05 AM, Mark Wotton wrote: > ...you can make certain guarantees about what a piece of code will > do just from the type system and the fact that it compiles > successfully.
Brings to mind Knuth who famously quipped: "Beware of bugs in the above code; I have only proved it correct, not tried it.". Cheers, Nathan PS: to those who giggled at Myles' pronunciation last night, it really is pronounced "ka-nooth" --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Ruby or Rails Oceania" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/rails-oceania?hl=en -~----------~----~----~----~------~----~------~--~---
