static-typing

0зной

2ответ

Почему метод StaticResolvedTypeParameter вызывает компиляцию при сбое во время выполнения?

Я только что написал простой метод, который C# может видеть, но вызов его (даже с допустимыми аргументами) подбрасывается во время выполнения. пример, который терпит неудачу во время выполнения: F #:

c# .net f# inline static-typing 2016-02-02

---

0зной

1ответ

Как обеспечить интерфейс метода с Python?

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

python types dynamic-typing static-typing 2016-02-10

---

7зной

2ответ

Почему объявление типа важно на статически типизированном языке?

Я пытаюсь понять, что язык программирования статически типизирован, и через это мне интересно, почему нам нужно включать тип объявления? Используется ли она для каких-либо целей, а не для того, чтобы

java oop variable-declaration static-typing 2015-12-25

---

0зной

1ответ

Использование этого в C++, PHP, других языках

Почему внутренние переменные класса на C++ используют this, но не нужно, в то время как внутренние свойства класса PHP должен использовать $this->? Пример C++ (можно использовать this, но не должен) v

php c++ this dynamic-typing static-typing 2015-11-11

---

1зной

2ответ

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

У меня есть несколько сложная проблема ввода текста, по крайней мере для меня. говорят, что мы имеем это: type rr = A | AAA | BBB type resolve_result_t = List of string list | MX_records o

types ocaml gadt static-typing 2015-11-11

---

2зной

1ответ

mypy не обнаруживает ошибку основного типа

С python 3.5.1. и текущая установка mypy с помощью мерзавца, mypy флаги ошибок 1 & 2, но не сообщает 3 Что я делаю неправильно, или это ошибка, или это известная проблема? import typing def test_ord

python static-typing mypy 2016-01-13

---