3 ms·
I think that we have solved how to write programs. The biggest gains will be for solving how to write correct programs. Haskell is pushing hard in that directio
by venomsnake 10y ago
I think that we have solved how to write programs. The biggest gains will be for solving how to write correct programs. Haskell is pushing hard in that direction.