OberonCore :: - Какая типизация у Oberon?

И у многих других языков, где написано статическая получается не только статическая

- Доктор, когда я делаю вот так, у меня тут болит.
- А Вы так не делайте.

У всех объекто-ориентированных.

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

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

А есть ещё такая формулировка, как безопасная типизация. Что Вы думаете по этому поводу?

В статье Луки Карделли «Полнотиповое программирование», система типов называется «сильной», если она исключает возможность возникновения ошибки согласования типов времени выполнения. Иначе говоря, отсутствие непроконтролированных ошибок времени выполнения называется типобезопасностью; ранние работы Хоара называют это свойство безопасностью (англ. security).

Как можно охарактеризовать типизацию Oberon?

Статическая Сильная Явная

допускаются некоторые неявные преобразования между типами

Цитата:

допускаются некоторые неявные преобразования между типами

Кем допускаются неявные преобразования? Программистом или компьютер в своих недрах эти преобразования сам по себе делает?

А если хочу, чтобы динамическая типизация не помешала в работе, то как быть?

Автор:	Pimbom [ Воскресенье, 08 Декабрь, 2019 22:41 ]
Заголовок сообщения:	Какая типизация у Oberon?
Как можно охарактеризовать типизацию Oberon? Нашел здесь https://proglib.io/p/literacy-project-type-checking/ таблицу для примера. JavaScript - Динамическая \| Слабая \| Неявная Ruby - Динамическая \| Сильная \| Неявная Python - Динамическая \| Сильная \| Неявная Java - Статическая \| Сильная \| Явная PHP - Динамическая \| Слабая \| Неявная C - Статическая \| Слабая \| Явная C++ - Статическая \| Слабая \| Явная Perl - Динамическая \| Слабая \| Неявная Objective-C - Статическая \| Слабая \| Явная C# - Статическая \| Сильная \| Явная Haskell - Статическая \| Сильная \| Неявная Common Lisp - Динамическая \| Сильная \| Неявная D - Статическая \| Сильная \| Явная Delphi - Статическая \| Сильная \| Явная Примечания к таблице: C# – сохраняет динамическую типизацию, с помощью особого псевдо-типа dynamic с версии 4.0. А также оказывает содействие неявной типизации посредством dynamic и var. С++ – после стандарта C++11 обрёл опору неявной типизации посредством ключевых слов auto и decltype. Сохраняет динамическую типизацию, в момент использования библиотеки Boost (boost::any, boost::variant). Содержит в себе черты как сильной, так и слабой типизации. Common Lisp – стандарт предполагает декларации типов, благодаря которым некие реализации используются также для статической проверки типов. D – также осуществляет поддержание неявной типизации. Delphi – осуществляет поддержку динамической типизации, с помощью особого типа Variant. Есть вероятность, что я где-то мог ошибиться, в особенности с CL, PHP и Obj-C, если по какому-либо языку у Вас есть другое мнение – пишите в комментариях.

Автор:	Wlad [ Понедельник, 09 Декабрь, 2019 02:11 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
С/Д\|С\|Я

Автор:	Info21 [ Понедельник, 09 Декабрь, 2019 08:27 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
Статическая Сильная Явная

Автор:	Pimbom [ Понедельник, 09 Декабрь, 2019 09:10 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
Цитата: С/Д\|С\|Я А почему тогда буква Д указана?

Автор:	Rifat [ Понедельник, 09 Декабрь, 2019 09:47 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
Так как от определения зависит. Если отталкиваться от того, возможно, неправильного определенения данного в статье, то не только статическая. И у многих других языков, где написано статическая получается не только статическая. А так у Оберона типизация статическая. А определение в статье не айс.

OberonCore https://forum.oberoncore.ru/

Какая типизация у Oberon? https://forum.oberoncore.ru/viewtopic.php?f=1&t=6510	Страница 1 из 2

Автор:	Ярослав Романченко [ Понедельник, 09 Декабрь, 2019 12:59 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
Rifat писал(а): У всех объекто-ориентированных. Имеется в виду полиморфизм? А то, эта череда бинарных ответов Да/Нет, действительно анекдот какой-то напоминает

Автор:	PSV100 [ Понедельник, 09 Декабрь, 2019 18:42 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
Pimbom писал(а): А есть ещё такая формулировка, как безопасная типизация. Что Вы думаете по этому поводу? Типобезопасность? Заодно там же в вики по теме: Сильная и слабая типизация Каламбур типизации «Сильная и слабая типизация» писал(а): В статье Луки Карделли «Полнотиповое программирование», система типов называется «сильной», если она исключает возможность возникновения ошибки согласования типов времени выполнения. Иначе говоря, отсутствие непроконтролированных ошибок времени выполнения называется типобезопасностью; ранние работы Хоара называют это свойство безопасностью (англ. security).

Автор:	Info21 [ Вторник, 10 Декабрь, 2019 10:14 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
Pimbom писал(а): А если хочу, чтобы динамическая типизация не помешала в работе, то как быть? Вставлять в каждую процедуру проверки типов всех используемых переменных -- см. ветку против питона, там есть пример из реальной жизни ))

Страница 1 из 2	Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/

Автор:	Pimbom [ Понедельник, 09 Декабрь, 2019 13:17 ]
Заголовок сообщения:	Re: Какая типизация у Oberon?
Конечно хочу узнать, поэтому и задал вопрос про безопасную типизацию. А по поводу того, что много чего есть, это интересует в контексте минимизации возможных ошибок.