static-typing

1зной

3ответ

Алгебраические типы, которые могут быть созданы только с помощью функции дозорного устройства

Я хотел бы использовать классы классов для более ясного описания типов моих данных, чтобы получить более высокую статическую корректность. Цель состоит в том, чтобы иметь 100% статическую уверенность

1зной

2ответ

Доступ к функциям подкласса объекта (динамически выбранного)

Я пытаюсь реализовать простой класс binary heap, в котором пользователь может выбрать, нужна ли им минимальная или максимальная куча. Я сделал суперкласса аннотация: abstract class Heap { size()

2зной

1ответ

Каковы некоторые примеры, когда динамическая типизация предпочтительнее статической типизации?

Давайте возьмем простую функцию, который увеличивает целое: Статическая типизация: function incrementNumber(int n) { n = n + 1; } Динамический ввод: function incrementNumber(n) { if (typ

3зной

2ответ

Нужно ли статически вводить тип безопасного языка?

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

2зной

2ответ

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

Скажем, у меня есть ситуация выглядит следующим образом: Класс X имеет поле s типа S. S продлевается на два класса A и B и реализующих некоторые те же методы/поля, которые мы все знаем, то должны быть