On Tuesday 10 March 2009 21:33:38 Mark Engelberg wrote: > A static type system also documents these properties, but you're > restricted to certain concepts that the computer can understand and > prove things about. You'll start to realize that there are concepts > that are difficult or impossible to easily capture with a static type > system (e.g., this function takes positive even integers, and returns > a number from 0 to 9).
While your point is valid your example is not. Specifically, you can easily imagine a function signature: uint seq -> digit -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
