История изменений
Исправление wandrien, (текущая версия) :
А тебе зачем переменные?
Попытаюсь объяснить для любителей синтаксической шизофрении в разрезе практической плоскости. Сомневаюсь, что получится.
Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи, которые компилятор может гарантировать. Разные подходы и реализации системы типов различаются именно по этому критерию: какие соотношения мы можем сформулировать, а какие нет.
Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.
А твой «Man or boy test» это и есть абырвалг, когда в буквы научился, а читать не научился. Потому что ты не сформулировал проблему, которую ты решаешь. Если нет проблемы, то и решения быть не может. Или мнимым «решением» выступает что угодно.
Исправление wandrien, :
А тебе зачем переменные?
Попытаюсь объяснить для любителей синтаксической шизофрении в разрезе практической плоскости. Сомневаюсь, что получится.
Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи, которые компилятор может гарантировать. Разные подходы и реализации системы типов различаются именно по этому критерию: какие соотношения мы можем сформулировать, а какие нет.
Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.
А твой «Man or boy test» это и есть абырвалг, когда в буквы научился, а читать не научился. Потому что ты не сформулировал проблему, которую ты решаешь. Если нет проблемы, то и решения быть не может. Или мнимым «решением» выступает что угодно. Да, даже брейнфак.
Исправление wandrien, :
А тебе зачем переменные?
Попытаюсь объяснить для любителей синтаксической шизофрении в разрезе практической плоскости. Сомневаюсь, что получится.
Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи, которые компилятор может гарантировать. Разные реализации системы типов различаются именно по этому критерию: какие соотношения мы можем сформулировать, а какие нет.
Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.
А твой «Man or boy test» это и есть абырвалг, когда в буквы научился, а читать не научился. Потому что ты не сформулировал проблему, которую ты решаешь. Если нет проблемы, то и решения быть не может. Или мнимым «решением» выступает что угодно. Да, даже брейнфак.
Исправление wandrien, :
А тебе зачем переменные?
Попытаюсь объяснить для любителей синтаксической шизофрении в разрезе практической плоскости. Сомневаюсь, что получится.
Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи, которые компилятор может строго гарантировать. Разные реализации системы типов различаются именно по этому критерию: какие соотношения мы можем сформулировать, а какие нет.
Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.
А твой «Man or boy test» это и есть абырвалг, когда в буквы научился, а читать не научился. Потому что ты не сформулировал проблему, которую ты решаешь. Если нет проблемы, то и решения быть не может. Или мнимым «решением» выступает что угодно. Да, даже брейнфак.
Исходная версия wandrien, :
А тебе зачем переменные?
Попытаюсь объяснить для любителей синтаксической шизофрении в разрезе практической плоскости. Сомневаюсь, что получится.
Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи, которые компилятор может строго гарантировать. Разные реализации системы типов различаются именно по этому критерию: какие соотношения мы можем сформулировать, а какие нет.
Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.
А твой «Man or boy test» это и есть абырвалг, когда в буквы научился, а читать не научился. Потому что ты не сформулировал проблему, которую ты решаешь. Если нет проблемы, то и решения быть не может. Или решением выступает что угодно. Да, даже брейнфак.