http://www.cl.cam.ac.uk/~srk31/blog/2014/10/07/ … is interesting, but I strongly disagree with "[type safety] can be implemented without sacrificing a lot…
@psygnisfive @ffee_machine I wouldn't go so far as to say you sacrifice *nothing*; even C sacrifices register control over assembler.
-
-
@pcwalton@ffee_machine C's sacrifices are not inherent to type safety. besides, C isn't type safe!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@pcwalton@psygnisfive I guess gaining type safety while sacrificing nothing is the dual of throwing away type safety while gaining nothing -
@pcwalton@psygnisfive and in that sense it really depends on where you're coming from :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.