История изменений

Может не понимаю, почему-то подумал про математически доказанный код, как в хаскеле. Подумал что окамл требует этого.

Ocaml как и любой другой язык этого не требует. Доказательства требуют требования к системе. Это вообще-то азбука.

Ну а го перспективней потому что гугл будет его внедрять куда не попадя, очевидно же. Маркетинг дело такое, да и язык не самый плохой из продвигаемых.

Sun продвигала Java. Microsoft продвигала С#. Вот и Google типа продвигает Go. И что с того?

Хочешь присоединиться к стаду гугловых фанбоев, чтобы через несколько лет соревноваться с такими же как ты за право кодить на Go за еду? Да пожалуйста.

Может не понимаю, почему-то подумал про математически доказанный код, как в хаскеле. Подумал что окамл требует этого.

А Go не требует? :)

Ну а го перспективней потому что гугл будет его внедрять куда не попадя, очевидно же. Маркетинг дело такое, да и язык не самый плохой из продвигаемых.

Sun продвигала Java. Microsoft продвигала С#. Вот и Google типа продвигает Go. И что с того?

Хочешь присоединиться к стаду гугловых фанбоев, чтобы через несколько лет соревноваться с такими же как ты за право кодить на Go за еду? Да пожалуйста.