The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Увидел свет язык программирования Julia 1.0, opennews (?), 09-Авг-18, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


100. "Увидел свет язык программирования Julia 1.0"  +/
Сообщение от freehckemail (ok), 10-Авг-18, 13:01 
> Кажется, я опечатался.

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

Мыслите, отталкиваясь от понятия связывания. Это упростит размышления:
- статически типизированные языки запрещают изменение типа связывания
- динамически типизированные языки разрешают его смену

Ответить | Правка | Наверх | Cообщить модератору

102. "Увидел свет язык программирования Julia 1.0"  +/
Сообщение от Blind Vic (ok), 10-Авг-18, 13:04 
Что значит тип связывания?
Ответить | Правка | Наверх | Cообщить модератору

154. "Увидел свет язык программирования Julia 1.0"  +1 +/
Сообщение от freehckemail (ok), 11-Авг-18, 12:54 
> Что значит тип связывания?

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

Тип может описываться в разных языках по-разному. Самое важное -- это то, что тип позволяет однозначно определить сущность значения, и как с ним работать. Очень часто описание типа начинается с пространства имён, к которому относится значение. Это может быть пространство имён функций и данных (его также называют пространством имён переменных, внезапно, почему и говорю, что термин перегружен). В таблице с пространством имён данных содержится описание данного типа (например, если это структура, скажем, то какие у неё есть поля и т.п.), в таблице с пространством имён функций описывается её код, а также хранится кадр стека, в котором функция была создана (для организации лексического поиска и замыканий).

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

Есть задачи, где гибкость более важна. Например символьные вычисления (Wolfram Mathematica и Maxima). Например, когда скорость разработки важнее гарантированного отсутствия багов, которые могут возникнуть в результате ошибок проектирования -- в этом случае проектировать систему надо очень осторожно, поэтому крупные компании стараются с этим не связываться, но для стартапа, который хочет конкурировать с гигантами, это если не единственно разумный, то как минимум вполне уместный вариант (Viaweb).

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру