static-typing

2зной

1ответ

Как определить функцию, которая может вернуть указатель на себя?

Я хочу написать код так: /*something*/ Fn() { ... } int main() { /*something*/ fn = Fn; while(fn) fn = fn(); return 0; } Можно ли сделать это полностью ввести безопасный путь? Пре

8зной

3ответ

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

В моей текущей работе я создаю набор сценариев Perl, которые сильно зависят от объектов. (используя Perl's bless() на хеш, чтобы как можно ближе к OO) Теперь, из-за отсутствия лучшего способа поставит

235зной

8ответ

Статические/Динамические против Сильные/Слабые

Я вижу, как эти термины распространяются повсюду в программировании, и у меня есть смутное представление о том, что они означают. Поиск показывает мне, что такие вещи были спрошены по всему стеку пере

6зной

1ответ

Почему foreach пропускает проверку типа времени компиляции типов интерфейсов?

Когда я использую цикл foreach на C#, кажется, что проверка типа времени компиляции не выполняется, если тип элемента является типом интерфейса. E.g. class SomeClass {} interface SomeInterface {} I

14зной

5ответ

Типизированные языки метапрограммирования

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

16зной

6ответ

Знаете ли вы язык со статическим типом, где Code является данными?

Можете ли вы назвать языки с проверкой статического типа (например, Java) и где код является данными (например, в LISP)? Я имею в виду обе вещи на одном языке.

2зной

4ответ

почему java номер один?

Почему Java является наиболее часто используемым языком программирования? Почему большинство программистов работают на Java? Не поймите меня неправильно здесь? Мне нравится Java, и я работаю на Java?

31зной

9ответ

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

Я задавался вопросом, есть ли язык программирования, который компилируется в машинный код/двоичный (не байт-код затем выполняется на виртуальной машине, что это нечто совершенно иное, при рассмотрен