recentpopularlog in

mcherm : jamesiry   5

Checked Exceptions Might Have Their Place, But It Isn't In Java
Another person making the case why Java's checked exceptions are broken. This time with good examples.
languagedesign  progamming  java  exceptions  via:JamesIry  JamesIry 
february 2012 by mcherm
One Div Zero: Phantom Types In Haskell and Scala
Very clever typechecking trick. Create types that are private to your module, but which cause the typechecker to verify that certain things are done to initialize an object before it is used. I wonder if the same is possible in Java? (Probably not.)
haskell  scala  types  programming  via:JamesIry  JamesIry 
october 2010 by mcherm
Getting to the Bottom of Nothing At All: One Div Zero
A lucid explanation of the value "bottom" (in type theory) and examples of how it is used, written so a Java programmer could follow it.
programming  computerscience  types  typesystem  functional  via:JamesIry  JamesIry 
august 2010 by mcherm
On Removing Java Checked Exceptions By Means of Perversion: One Div Zero
This is a very clever Java hack. It's a way to throw checked exceptions without the compiler checking them. Yeah.
hack  exceptions  java  JamesIry  via:JamesIry  programming 
august 2010 by mcherm
Types à la Chart: One Div Zero
An excellent detailed review of two dimensions of language type strength. It's the weak-vs-strong and dynamic-vs-static thing, only it's been done with lots of explanation and examples and even a picture.
programming  languages  languagedesign  types  functional  JamesIry  via:JamesIry 
may 2010 by mcherm

Copy this bookmark:





to read