История изменений

Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи

…

Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.

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

Пример понятия, ссылающегося на самого себя: число есть один или число+1. (Но не число есть число+1.)

Пример выражения этого понятия с помощью типов: https://go.dev/play/p/eRUYZ6pyghF

(Кстати, не спешите хвалить Рассела. Его система исключает self-reference из употребления. Он не учитывает разницу, которую я выше подчеркнул в примере с числом. Отсюда его выражение «не будь полностью уверен в чём-либо», обозначающие, что человек не может быть уверен в том, что не может быть уверен в чём-либо.)

Какую более практическую задачу, вроде API, можно решить? Пример. Да, есть несколько способов решить поставленную автором задачу, но ссылающиеся на себя функции обладают приятными особенностями, дословно:

The type assertion in the restoring call to Option is clumsy… . It’s worth noting that since the «verbosity» returned is now a closure, not a verbosity value, the actual previous value is hidden.

Reason enough?

Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи

…

Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.

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

Пример понятия, ссылающегося на самого себя: число есть один или число+1. (Но не число есть число+1.)

Пример выражения этого понятия с помощью типов: https://go.dev/play/p/eRUYZ6pyghF

(Кстати, не спешите хвалить Рассела. Его система исключает self-reference из употребления. Он не учитывает разницу, которую я выше подчеркнул в примере с числом.)

Какую более практическую задачу, вроде API, можно решить? Пример. Да, есть несколько способов решить поставленную автором задачу, но ссылающиеся на себя функции обладают приятными особенностями, дословно:

The type assertion in the restoring call to Option is clumsy… . It’s worth noting that since the «verbosity» returned is now a closure, not a verbosity value, the actual previous value is hidden.

Reason enough?

Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи

…

Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.

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

Пример понятия, ссылающегося на самого себя: число есть один или число+1. (Но не число есть число+1.)

Пример выражения этого понятия с помощью типов: https://go.dev/play/p/eRUYZ6pyghF

(Кстати, не спешите хвалить Рассела. Его система исключает self-reference из употребления. Он не учитывает разницу, которую я выше подчеркнул в примере с числом.)

Какую более практическую задачу, вроде API, можно решить? Пример. Да, есть несколько способов решить поставленную автором задачу, но ссылающиеся на себя функции обладают приятными особенностями, дословно:

The type assertion in the restoring call to Option is clumsy… . It’s worth noting that since the «verbosity» returned is now a closure, not a verbosity value, the actual previous value is hidden.

Reason enough?

Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи

…

Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.

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

Пример понятия, ссылающегося на самого себя: число есть один или число+1. (Но не число есть число+1.)

Пример выражения этого понятия с помощью типов: https://go.dev/play/p/eRUYZ6pyghF

(Кстати, не спешите хвалить Рассела. Его система исключает self-reference из употребления. Он не учитывает разницу, которую я выше подчеркнул в примере с числом.)

Какую более практическую задачу, вроде API, можно решить? Пример. Да, есть несколько способов решить поставленную автором задачу, но ссылающиеся на себя функции обладают рядом приятных особенностей, дословно:

The type assertion in the restoring call to Option is clumsy… . It’s worth noting that since the «verbosity» returned is now a closure, not a verbosity value, the actual previous value is hidden.

Reason enough?

Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи

…

Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.

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

Пример понятия, ссылающегося на самого себя: число есть один или число+1. (Но не число есть число+1.)

Пример выражения этого понятия с помощью типов: https://go.dev/play/p/eRUYZ6pyghF

(Кстати, не спешите хвалить Рассела. Его система исключает self-reference из употребления. Он не учитывает разницу, которую я выше подчеркнул в примере с числом.)

Да, выглядит странно, но мы так хотим. Кто-то запрещает абстрактное программирование?

Какую более практическую задачу, вроде API, можно решить? Пример. Да, есть несколько способов решить поставленную автором задачу, но ссылающиеся на себя функции обладают рядом приятных особенностей, дословно:

The type assertion in the restoring call to Option is clumsy… . It’s worth noting that since the «verbosity» returned is now a closure, not a verbosity value, the actual previous value is hidden.

Reason enough?

Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи

…

Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.

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

Пример понятия, ссылающегося на самого себя: число есть один или число+1. (Но не число есть число+1.)

Пример выражения этого понятия с помощью типов: https://go.dev/play/p/eRUYZ6pyghF

(Кстати, не спешите хвалить Рассела. Его система исключает self-reference из употребления. Он не учитывает разницу, которую я выше подчеркнул в примере с числом.)

Какую более практическую задачу, вроде API, можно решить? Пример. Да, есть несколько способов решить поставленную автором задачу, но ссылающиеся на себя функции обладают рядом приятных особенностей, дословно:

The type assertion in the restoring call to Option is clumsy… . It’s worth noting that since the «verbosity» returned is now a closure, not a verbosity value, the actual previous value is hidden.

Reason enough?

Смысл статической типизации в том, чтобы формулировать строгие соотношения между понятиями смыслового пространства решаемой задачи

…

Всё это имеет смысл исключительно в контексте практической применимости: создания программ, решающих какие-то задачи.

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

Пример понятия, ссылающегося на самого себя: число есть один или число+1. (Но не число есть число+1.)

Пример выражения этого понятия с помощью типов: https://go.dev/play/p/3xxu-4Eys7x

(Кстати, не спешите хвалить Рассела. Его система исключает self-reference из употребления. Он не учитывает разницу, которую я выше подчеркнул в примере с числом.)

Какую более практическую задачу, вроде API, можно решить? Пример. Да, есть несколько способов решить поставленную автором задачу, но ссылающиеся на себя функции обладают рядом приятных особенностей, дословно:

The type assertion in the restoring call to Option is clumsy… . It’s worth noting that since the «verbosity» returned is now a closure, not a verbosity value, the actual previous value is hidden.

Reason enough?