A programming language is said to use static typing when type checking is performed during compile-time as opposed to run-time.
I hear a lot that new programming languages are dynamically typed but what does it actually mean when we say …
programming-languages computer-science static-typing dynamic-typingAlso, does one imply the other?
type-safety strong-typing static-typingWhen should I use an interface and when should I use a base class? Should it always be an interface …
oop interface language-agnostic base-class static-typingI see these terms bandied around all over the place in programming and I have a vague notion of what …
terminology strong-typing static-typing dynamic-typing weak-typingI'm just testing typescript in VisualStudio 2012 and have a problem with its type system. My html site has a canvas …
html types web typescript static-typingIs there any overhead when we cast objects of one type to another? Or the compiler just resolves everything and …
java performance casting static-typingI didn't really pay as much attention to Python 3's development as I would have liked, and only just noticed …
python python-3.x static-typingQuestion: Without using any, What is the proper typing for my onMouseMove function? export class Main { private dTimer: number; constructor() { …
typescript mouseevent mousemove tsc static-typingIs a statically-typed full Lisp variant possible? Does it even make sense for something like this to exist? I believe …
programming-languages lisp static-typingRecently I have been working with Typescript a lot, it allows to express things like: interface Address { street: string; housenumber: …
python typescript static-typing mypy