<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Mon, Apr 25, 2016 at 9:37 PM Daniel Podolsky <<a href="mailto:onokonem@gmail.com">onokonem@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">в рамках этого обсуждения язык типизированным делает способность<br>
компилятора сказать "дружок, я тебя не понимаю. это целое, или строка?<br>
будь яснеее!"</blockquote><div><br></div><div>Ну всё-таки это детский зад пятидесятилетней давности. Довольно давно от системы типов ожидается ещё умение сказать "дружок, я не могу помножить футы на метры, определись" — и это первое что приходит в голову. Помогают сообщения компилятора "дружок, ты пытаешься сложить два числа, какой к чёрту IO??!?" — это уже несколько более продвинутый уровень, но и это прошлая декада.</div><div><br></div><div>Система типов бывает разная. У go она, насколько я понимаю, от perl ушла недалеко. Из 2016 не различить.</div></div></div>