News for hackers. Stuff that matters.

A comment on Why I Program in Go. Parent comment

Re:Why I Program in Go by tikhonj on Saturday January 05, 2013 @10:20PM (#5015116)
In a certain sense, languages like Agda do solve the halting program, but we're not all using them...

Seeing more total languages used in industry would be pretty cool.

[ Parent | on HN ]

There are no comments on this comment yet.