Когда этот язык создавался, и сейчас, Веб уже совершенно другой… Как вы думаете, если бы JavaScript был сильно типизированным, это улучшило бы современный интернет?

Для сильно типизированных языков проще создавать компиляторы (в том числе и JIT). Так что думаю, что производительность JS движков браузеров, была бы выше. А значит на нем бы было реализовано больше свистелок и перделок, уж не знаю это расценивать как плюс или как минус 

ну и более сложные скрипты можно было бы писать   

Rohoss, покажи пример где это было бы полезно

Добавлено через 12 минут и 22 секунды

а мне кажется что там вся производительность упирается в ДОМ и графику

  Чем строже типизация тем меньше возможностей для разночтения текста, тем яснее компилятор понимает что от него хочет программист. Тем сложнее допустить ошибку так как компилятор больше анализирует при компиляции и меньше в рантайме. Язык сложнее в изучении, но программы получаются надежнее и быстрее.

сильная статическая типизация + грамотный type inference. Позволяет писать так же удобно и лаконично как на динамических языках и также типобезопасно как на статически типизируемых. (см. Хаскель, Scala)

Ну это смотря что делать. Та же реализация MD5/SHA-1 на JavaScript чисто вычислительная задача, или реализация всяких эмуляторов типа JSNES будут требовать высокопроизводительного JS движка (это вовсе не значит, что быстрый DOM не нужен). Стоило появится V8 как стали появляться всякие эмуляторы и 3D бродилки на JS.

ну а что конкретно поменять-то?

Топик старый, но думаю как раз сейчас все более вопрос встает ребром. с появлением HTML5, полноценного тега <canvas> на JS возлагается большая ответственность за обработку графики. Не типизированный ЯП для этого не очень хороший инструмент. Так же объектно-ориентированность языка тоже как то не устраивает. Понятно что желать от JS что он в миг станет ОО ЯП не стоит, но такий инструмент в клиентской части веб приложения иметь хотелось бы. Это может пригодиться если вы строите клиентскую часть своего веб-приложения таким образом, что все данные запрашиваются скриптом, или загружаются прям в нем же. Скрипты выступают в роли контроллеров, которые отвечают за обработку данных, за построение интерфейса, обрабатывают все действия пользователя. а HTML будет только как результат работы скрипта.  Клиентская часть буден независимой от серверной, все что ей нужно - это получить от сервера данные которые она сама как ей нужно обработает.
В таком случае, единожды описав класс контролла, можно будет его использовать как в десктопе. Создавать экземпляры класса, которые будут жить самостоятельной жизнью. возможно сейчас такое можно реализовать на JS, но я уверен что это намного сложнее чем на десктопе.
Вообщем если JS станет сильно типизированным ЯП, а еще в добавок станет полноценно ОО, то программировать под веб станет также легко и эфективно как писать десктопное клиент-серверное приложение.

Lua не?

вы не знаете JavaScript   

что вы понимаете под ОО?    
то что это объектно ориентированное я знаю

Топики Рохосса со временем только актуальней становятся   


Не станет JS сильно типизированным. ЯП по своей природе расширяются, а вы предлагаете ограничить. Если его вдруг ограничить до сильно типизированного ЯП куча кода перестанет работать. Тут нужен другой клиентский ЯП. Но добавить его не так просто, тело в том, что в веб и так каши с различных технологий хватает. А добавим ещё один массовый клиентский ЯП и будет каша ещё больше. 
Веб надо убить весь и создать поновому    

Ну совсем не понимаете филисофии JavaScript, вам станет легче, а нам сложнее (тем кто разобрался с философией js). 

Да не будет вообще сильной или даже средней типизации в JS, это принципиально, вы где нибудь ее видели в PHP/Ruby/Python/Lua ? Текущие движки JS настолько быстры и умны (например V8) что догоняют и обходят типизированную Java, а адобовский типизированный ActionScript вообще обганяют в 2 раза.

для справки: руби и питон (про луа и пхп просто не в курсе, но думаю они тоже) -- сильнотипизированые (строготипизированые)

Добавлено через 58 секунд

строгая типизация никого и ни в чем не ограничивает.

нет

Да, мало вы знаете о типизации. Там утиная динамическая типизация, такая же в js, только по мягче, но по-строже чем в пхп.