Исправление
rtvd,
(текущая версия)
:
Может не понимаю, почему-то подумал про математически доказанный код, как в хаскеле. Подумал что окамл требует этого.
Ocaml как и любой другой язык этого не требует. Доказательства требуют требования к системе. Это вообще-то азбука.
Ну а го перспективней потому что гугл будет его внедрять куда не попадя, очевидно же. Маркетинг дело такое, да и язык не самый плохой из продвигаемых.
Sun продвигала Java. Microsoft продвигала С#. Вот и Google типа продвигает Go. И что с того?
Хочешь присоединиться к стаду гугловых фанбоев, чтобы через несколько лет соревноваться с такими же как ты за право кодить на Go за еду? Да пожалуйста.
Исходная версия
rtvd,
:
Может не понимаю, почему-то подумал про математически доказанный код, как в хаскеле. Подумал что окамл требует этого.
А Go не требует? :)
Ну а го перспективней потому что гугл будет его внедрять куда не попадя, очевидно же. Маркетинг дело такое, да и язык не самый плохой из продвигаемых.
Sun продвигала Java. Microsoft продвигала С#. Вот и Google типа продвигает Go. И что с того?
Хочешь присоединиться к стаду гугловых фанбоев, чтобы через несколько лет соревноваться с такими же как ты за право кодить на Go за еду? Да пожалуйста.