«Мы считаем, что причиной выхода из строя компьютеров стал мощный статический разряд, вызванный установкой новой американской солнечной батареи».

Источник: Жёсткая посадка

«Мы отказались от идеи полностью статического музей, так как это бы противоречило самому духу кинематографа», — заявил сын Чаплина.

Источник: 12749 На берегу Женевского озера появится музей Чарли Чаплина

Сделать так, чтобы политическое большинство не было просто статическим.

Источник: 21165 Дмитрий Медведев намекнул, что партия власти в России «бронзовеет»

Еще про статическую типизацию

Источник: 003540 Еще про статическую типизацию

Немного подумал про статическую типизацию.

Источник: 003540 Еще про статическую типизацию

Буду использовать определение: статическая типизация — это такая система, которая по тексту программы может доказать какие-то свойства программы в отношении типов данных.

Источник: 003540 Еще про статическую типизацию

Подобным образом заданная статическая типизация может использоваться для:

Источник: 003540 Еще про статическую типизацию

Собственно статическую типизацию можно представить как предикат ST(Property,P), где Property — некоторое свойство, а P — кусок программы, который проверяет, выполняется ли свойство Property в P.

Источник: 003540 Еще про статическую типизацию

То есть, статическая типизация может и не давать точного ответа на вопрос, выполняется ли свойство Property в P, или нет.

Источник: 003540 Еще про статическую типизацию

Хотя, любой нормальный программист скажет, что если бы правила языка подразумевали динамическую типизацию, а не статическую, то должен был получиться вполне определенный и корректный результат (а именно, должна была быть выведена строка «1+2=3»).

Источник: 003540 Еще про статическую типизацию

На простом примере видно, что если реализовывать статическую типизацию определенным образом, то это накладывает ограничение на программиста (многие корректные программы не могут быть написаны).

Источник: 003540 Еще про статическую типизацию

Всякие различные усовершенствования систем типов (templates, GADT, dependent types) сужают то множество программ, в которых статическая типизация не может доказать выполнение свойств, но не устраняет его полностью.

Источник: 003540 Еще про статическую типизацию

Поэтому, хотелось бы видеть в ЯП следующие особенности статической типизации:

Источник: 003540 Еще про статическую типизацию

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

Источник: 003540 Еще про статическую типизацию

2. Если статическая типизация не может доказать, что необходимое для корректности программы свойство выполняется, то это не должно быть ошибкой компиляции, а warning'ом.

Источник: 003540 Еще про статическую типизацию

Модели также подразделяют на простые и сложные, однородные и неоднородные, открытые и закрытые, статические и динамические, вероятностные и детерминированные и т.д.

Источник: Основы системного проектирования

Динамические системы, в отличие от статических, находятся в постоянном развитии, их состояние и характеристики изменяются в процессе работы и с течением времени.

Источник: Основы системного проектирования

Число избыточных связей называется степенью статической неопределимости.

Источник: Основы системного проектирования

Тут следует сделать маленькое примечание: человек видит движение лучше, чем статический элемент картинки.

Источник: Автостоп

На смену статическим страницам (аналог традиционных СМИ) приходят блоги, системы управления контентом (content management systems, CMS) и вики.

Источник: ПЕРЕВОДЧИК В ДИСКУРСЕ СЕТЕВЫХ ФОРУМОВ

Статические части образуют динамическое целое.

Источник: Модельные уровни дискурса сетевых форумов

В связи с этим общепризнанными являлись две модели эфира – статическая модель Лоренца и динамическая модель Френеля-Стокса:

Источник: СИСТЕМА ОТСЧЕТА СВЕТОНОСНОЙ СРЕДЫ

И в дальнейшем, в этой работе, везде где будет говориться «статическая» или «Френеля-Стокса модель светоносной среды», будет подразумеваться именно эта версия.

Источник: Экспериментальные «ревизии» светоносной среды