A language that satisfies this criteria?...

Pushing/popping in a loop without dynamic typing...

How can I set a mutable variable in C extensions which takes another C extension as input?...

Why is all static typing not inferred?...

C-Style Type Annotations vs Others...

What is the difference between statically typed and dynamically typed languages?...

Dart list of exactly two types...

Why does a function pointer declaration need to know the types of the parameters and return value?...

What are the proper typescript types for addEventListener mousemove and its event argument?...

How can I map discriminated unions to concrete types (like classes) via a factory function in Typesc...

TypeScript: problems with type system...

Is there a compiled programming language with dynamic, maybe even weak typing?...

Avoid duplication of null type checking in Dart...

How to statically type function that returns array 1 to n...

Plugin-augmented interface...

Is there a Haskell idiom for updating a nested data structure?...

Typescript abstract class static method not enforced...

How to define a `Class` object type conforming to a protocol?...

Sorbet does not check runtime type of an arg if it's an array...

What’s the point of mixed-type lists...

How can I create a TypeScript type that reduces an array of const objects to a const record object?...

Static/Dynamic vs Strong/Weak...

Non-relational database in statically typed languages (rethinkdb, Scala)...

how should be var type used appropriately in c# ? I'm trying to write my first code using var...

Are there any statically-typed functional languages?...

What is the difference between a strongly typed language and a statically typed language?...

Homogenize a heterogenous list with a funtion that has a particular kind of context...

Why do I need to cast the value of the Rx object on initialization?...

How to specify any/unknown/variant type in GDScript?...

Interface with default key value types that can be extended TypeScript...