Что такое динамический язык и почему C # не подходит?

Что такое динамический язык?

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

Статическая привязка просто означает, что метод (или иерархия методов для виртуальных методов) привязан во время компиляции. Во время выполнения может быть задействована виртуальная отправка, но токен метода привязан во время компиляции. Если во время компиляции подходящего метода не существует, вы получите сообщение об ошибке.

В динамических языках все наоборот. Они делают свою работу во время выполнения. Они практически не проверяют существование методов во время компиляции, а вместо этого делают все это во время выполнения.

Почему C # не является динамическим языком?

C # до 4.0 был статически связанным языком и, следовательно, не был динамическим языком.

Почему Ruby - это язык будущего?

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

Например, Ruby - отличный язык для множества различных приложений: популярна веб-разработка. Однако я бы не стал писать на нем операционную систему.

На динамическом языке вы можете сделать это:

var something = 1;
something = "Foo";
something = {"Something", 5.5};

Другими словами, тип не статичен. На языке со статической типизацией это привело бы к ошибке компилятора.

Такие языки, как C, C ++, C # и Java, имеют статическую типизацию.

Такие языки, как Ruby, Python и Javascript, имеют динамическую типизацию.

Кроме того, это не то же самое, что «строго или слабо» типизировано. Все вместе это что-то другое.

Я поражен тем, как C # охватывает фундаментальный набор парадигм программирования.

Можно сказать, что C # обеспечивает богатое объектно-ориентированное программирование, богатое компонентно-ориентированное программирование, хорошо интегрированное функциональное программирование, полный набор операций запроса над разными типами источников данных (linq), элегантный подход параллельного программирования через pLinq и параллельное Расширения в следующем выпуске (C # 4.0) будут иметь мощные динамические возможности, и почти наверняка в C # 5.0 будет надежный набор функций метапрограммирования.

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

C # - это статически типизированный язык, потому что тип каждого объекта, с которым вы работаете, должен быть известен во время компиляции. В динамическом языке вам не нужно знать, к какому типу относится объект во время компиляции. Возможно, вы импортируете некоторые классы, о которых не знаете заранее, например, вы импортируете все классы в папке, например плагины или что-то в этом роде. Или, может быть, даже тип объекта зависит от взаимодействия с пользователем.

Вы можете добиться аналогичного эффекта, используя интерфейсы или базовые классы, но это не совсем то же самое, потому что вы ограничены использованием классов, которые явно наследуют или реализуют этот интерфейс.

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

Глядя на статью в Википедии, мы видим, что динамический язык - это язык, который выполняет функции среды выполнения, большинство делает во время компиляции. Как правило, в динамическом языке переменная может быстро и легко менять типы, и обычно нет отдельного этапа компиляции (скорее, либо интерпретируемое выполнение, либо действительно быстрая компиляция). C # - более традиционный язык, использующий объявления переменных и компилируемый.

В статье Википедии перечислены многочисленные динамические языки.

«X - это Y будущего», с другой стороны, означает, что кто-то пытается вам что-то продать. (Не обязательно буквально, но попытка повлиять на ваши убеждения удобным для говорящего способом.)

Знаете ли вы, что VB6 одновременно статичен и динамичен?

Если вы объявляете переменные с заданным типом, вы получаете статическое поведение:

Dim name as Label

Теперь вы можете получить доступ только к членам с именем Labels, и intellisense знает об этом.

Если у вас есть класс и вы добавили ключевое слово implements, тогда ваш класс может реализовать методы другого класса. Это наследование интерфейса, которое позволяет VB6. Вы можете получить некоторый полиморфизм времени выполнения.

Вы также можете объявить переменные следующим образом:

Dim proxy As Object

Теперь intellisense вам не поможет, а VB6 позволит вам делать с proxy все, что угодно:

proxy.foo()

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

Вы также можете выполнить:

set proxy = <any instance>

и это будет работать. Не имеет значения, есть ли у <any instance> метод foo или нет.

А затем может быть назначен любой экземпляр любого класса, который действительно реализует foo, и вызываемый метод и VB6 будут счастливы.

Обратите внимание, что есть штрафы за производительность во время выполнения, поскольку вы становитесь все более динамичными.

В C # 3.0 типы всего должны быть известны во время компиляции. Это статический язык. Динамический язык использует динамическую диспетчеризацию во время выполнения, чтобы решить, какие типы вещей и какие методы вызывать для этих вещей. Оба типа языков имеют свои преимущества и недостатки. C # 4.0 добавит динамические возможности. Андерс Хейлсберг выступил с отличным докладом о статике и сравнении с другими. динамические языки и C # 4.0 на PDC.

Слова статический и динамический не имеют четкого определения.

Однако чаще всего имеют в виду две проблемы:

1) В статических языках тип переменной (то есть тип значения, которое переменная может содержать или на которое может указывать) не может изменяться в ходе выполнения программы. Например, в C # вы объявляете тип переменной при ее определении, например:

int a;

Теперь a может содержать только значение int - если вы попытаетесь присвоить ему строку или вызвать для него метод, вы получите ошибку типа компиляции.

2) В статическом языке тип объекта не может измениться. В динамических языках объект может изменяться, так что вы можете присоединять или удалять методы и свойства, тем самым превращая его в совершенно другой объект.

c # статически типизирован, т.е. int i = 0; попробуйте установить i как строку. компилятор пожалуется,

где в качестве python переменная, которая использовалась для хранения целого числа, затем может быть установлена ​​для хранения строки,

Статический: типы окончательные, Динамический: типы могут быть изменены,

С # пытается добавить больше динамических функций, например var

Нет настоящего «языка будущего». У разных языков разные цели. В лучшем случае можно сказать, что Ruby - это язык будущего.

Согласно Википедии:

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

Ruby - это динамический язык, а C # - нет, поскольку Ruby интерпретируется, а C # компилируется. Однако в C # есть некоторые функции, которые делают его динамичным.

Обычно считается, что динамический язык может динамически интерпретировать и генерировать код во время выполнения. C # не может этого сделать.

Существуют также языки с динамической и статической типизацией. Динамически типизированный означает, что тип переменной не установлен и может изменяться в процессе выполнения программы.

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