I'm a big fan of static typing, so PHP's ridiculous typing/coercion rules are enough to keep me away.
I'm currently learning Coq, which is at the opposite end of the spectrum from PHP - Coq requires you to use its type system to prove that all of your programs terminate (which can make it a bit difficult to write some types of programs, however I'm not planning on writing those types of programs in Coq)
I'm currently learning Coq, which is at the opposite end of the spectrum from PHP - Coq requires you to use its type system to prove that all of your programs terminate (which can make it a bit difficult to write some types of programs, however I'm not planning on writing those types of programs in Coq)
Comment