Новое сообщение в форум Декларативное программирование

Форум	Декларативное программирование
Тема	Как правильно задавать вопросы

Здравствуйте, D. Mon, Вы писали:

DM>Здравствуйте, DarkGray, Вы писали:

DM>>>Ну так речь шла о типизации, а не о типе.

DG>>если в понятие типа упоминается о способе хранения в памяти, а в более сложном понятии (типизация или type system) - этой составляющей нет, то можно сделать вывод, что определение сложного понятия как минимум не полное.

DM>:) По-твоему, всякое определение должно включать в себя определения и подробности всех используемых терминов? Это нереально. Человечество придумало другой способ, получше: использовать лишь названия терминов, определения которых даются отдельно.

DG>>>>, во-вторых: это ужасное определение: определение должно определять понятие через более простые, а в данном случае - определение элементарного понятия "type system" идет через такиие неопределяемые понятия как: syntactic, framework, classifying, phrases, kind, compute, according.
DG>>>>можно получить [b]строгое формализованное[/b] определение всех перечисленных понятий?

DM>>>Можно. А нужно?

DG>>строго необходимо, если стоит задача получить корректное описание реальности.

DM>Ок, займусь завтра. Только как бы это не вылилось в просьбы с твоей стороны дать определения всем-всем словам русского и английского языков, так мы нескоро закончим. :) Я (как и цитируемый в вики Пирс) надеялся на наличие у собеседников каких-то общих знаний, но видимо зря.

DM>>>Это одна структура в Си, содержащая внутри union. Она трактуется по-разному в зависимости от значения определенного поля.

DG>>здесь неявно подразумевается, что одна структура в C - это строго один математических тип. 
DG>>из какого определения это следует?

DM>Из определения структур в языке Си.

DM>>>Я и говорю, подходов к определению может быть много.
DG>>определения все одинаковые?, или можно их классифицировать чем они лучше/хуже по тем или иным признакам?

DM>Разные. При желании, вероятно можно.

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail