(no subject)
My talk at the weekend was titled "How to get fired with the Java type system." Making good use tricks like this will either make you the master programmer of your organization, or get you fired. I am not responsible.
http://www.slideshare.net/joemathes0/getting-fired-with-java-types
The idea was to teach people three or four simple things which they can all do, using Java as an example of a very restrictive, simple, relatively inextensible language. There is so much power in the basic type system to prove things which people normally only check at runtime that I do wonder sometimes...
I also have a mild suspicion that "get fired" means "all fired up" over here, rather than "unemployed" fired, which was my intent.
Edit: Since slideshare is causing troubles, here is the same PDF: http://www.anarres.org/academic/2011-shdh45.5/talk.pdf
http://www.slideshare.net/joemathes0/getting-fired-with-java-types
The idea was to teach people three or four simple things which they can all do, using Java as an example of a very restrictive, simple, relatively inextensible language. There is so much power in the basic type system to prove things which people normally only check at runtime that I do wonder sometimes...
I also have a mild suspicion that "get fired" means "all fired up" over here, rather than "unemployed" fired, which was my intent.
Edit: Since slideshare is causing troubles, here is the same PDF: http://www.anarres.org/academic/2011-shdh45.5/talk.pdf