Hacker News new | ask | show | jobs
by sklogic 3665 days ago
What about the better typed languages - Coq, Agda, Idris, etc.? Java is not that strongly typed after all.