> The thing is that our industry is based on layers upon layers of > abstractions, whether at the physical level (integrated circuits, > interfaces, etc.) or at the software level: binary (1GL) abstracted into > assembly (2GL), then C language (3GL), etc. Virtual machines is now another
you maybe forgot microcode, too? ;-) ;-) yes, there are a lot of abstractions! i day-dream that it would be super keen if there were a way for us to have explicit models of them, including their leaks! and if those models where composable. and then if our tools could use those models to show us warnings and errors; to generate stress tests in a guided-randomized quickcheck style; etc. etc. etc. -- 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 Note that posts from new members are moderated - please be patient with your first post. 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 --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
