Содержание
11 отношения: Her Story, Space Engine, Standard ML, Каламбур типизации, Сиртис, Марина, Сильная и слабая типизация, Тип данных, Типобезопасность, Язык программирования, Верстаппен, Вим, Логическая ошибка (программирование).
Her Story
Her Story (с -en «Её история») — компьютерная игра в жанре интерактивного кино, разработанная и изданная на движке Unity 24 июня 2015 года, и выпущенная для операционных систем Windows, macOS и iOS, а в 2016 году вышла версия и для Android.
Посмотреть Аварийный отказ (программирование) и Her Story
Space Engine
Space Engine — космический симулятор-планетарий, позволяющий исследовать Вселенную в трех измерениях. В отличие от большинства симуляторов, пространство вселенной Space Engine не ограничивается пределами Солнечной системы или Млечного Пути, а имеет размеры, сопоставимые с размерами реальной видимой Вселенной.
Посмотреть Аварийный отказ (программирование) и Space Engine
Standard ML
— компилируемый язык программирования общего назначения, основанный на системе типов Хиндли — Милнера.
Посмотреть Аварийный отказ (программирование) и Standard ML
Каламбур типизации
Термин каламбур типизации (type punning) используется в информатике для обозначения различных техник нарушения или обмана системы типов некоторого языка программирования, имеющих эффект, который было бы затруднительно или невозможно обеспечить в рамках формального языка.
Посмотреть Аварийный отказ (программирование) и Каламбур типизации
Сиртис, Марина
Марина Сиртис (Marina Sirtis) — американская актриса греческого происхождения.
Посмотреть Аварийный отказ (программирование) и Сиртис, Марина
Сильная и слабая типизация
По одной из классификаций, языки программирования неформально делятся на сильно и слабо типизированные (strongly and weakly typed), обладающие сильной или слабой системой типов.
Посмотреть Аварийный отказ (программирование) и Сильная и слабая типизация
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Посмотреть Аварийный отказ (программирование) и Тип данных
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Посмотреть Аварийный отказ (программирование) и Типобезопасность
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Посмотреть Аварийный отказ (программирование) и Язык программирования
Верстаппен, Вим
Вим Верстаппен (Wim Verstappen; 4 мая 1937 года, Гемерт — 24 июля 2004 года, Амстердам) — известный голландский режиссёр, продюсер и сценарист.
Посмотреть Аварийный отказ (программирование) и Верстаппен, Вим
Логическая ошибка (программирование)
В программировании логической ошибкой называется баг, который приводит к некорректной работе программы, но не к краху программы.
Посмотреть Аварийный отказ (программирование) и Логическая ошибка (программирование)
Также известен как Фатальная ошибка, Крах (программирование), Крах программного обеспечения.