News for hackers. Stuff that matters.
Re:The Squirrel Programming Language by sklogic on Sunday June 12, 2016 @08:53AM (#11887878)
What about the better typed languages - Coq, Agda, Idris, etc.? Java is not that strongly typed after all.

There are no comments on this comment yet.