[croddin]

Well the made the hack language, which is php with types. I don't know how much they use it, but it seems like that is at least a move in the right direction.