type-systems Examples and Free Source Code

In Common Lisp (ClozureCL), what expression yields a value of type `(SIMPLE-ARRAY ARRAY (5 3 *))`?...

arrays common-lisp type-systems clozure-cl

Can logical `and` be replaced by an if-statement and still have the same big-step semantics?...

semantics type-systems

String initializer for optional primitive types: Int? Double? Float? etc...

ios swift string initialization type-systems

Groovy: How to get statically inferred return type from AST...

java groovy type-systems static-compilation

Existential types for inline record constructors with constraints...

polymorphism ocaml type-systems gadt existential-type

Is Haskell really a purely functional language considering unsafePerformIO?...

haskell functional-programming type-systems referential-transparency unsafe-perform-io

Why are result types of control flow instructions arbitrary? (Especially `return`)...

types stack specifications type-systems webassembly

Compilation issue in Scala with F-bounded types and existential types...

scala types type-systems existential-type f-bounded-polymorphism

What does the `#` operator mean in Scala?...

scala type-systems

Multiple lower type bounds in Scala...

scala jvm type-systems

Figuring out types of function composition by hand or mentally...

haskell type-systems

What are some compelling use cases for dependent method types?...

scala haskell programming-languages type-systems dependent-method-type

Why Is Dynamic Typing So Often Associated with Interpreted Languages?...

language-design type-systems typing dynamic-typing static-typing

Solve the memory management problems by proving program correctness like with coq?...

memory-management programming-languages language-design type-systems proof-of-correctness

What are the differences and similarities of Scala and Haskell type systems?...

scala haskell type-systems

Scala Seq - accept only elements of the same subtype...

scala scala-collections type-systems

How does the c# language prevent generics from being covarient unless they contain no methods that r...

c#.net-4.5 type-systems

Return specific type within Haskell...

haskell types compiler-errors typeclass type-systems

Erlang's typer deduced weird types for strings...

types erlang type-systems beam

Is it possible to detect comparison of incompatible types with the Java type system?...

java generics type-erasure type-safety type-systems

Why is a function type required to be "wrapped" for the type checker to be satisfied?...

haskell type-mismatch type-systems automatic-differentiation

Can't narrow simple TypeScript union type with undefined property...

typescript typescript2.0 type-systems union-types

MiniZinc type error for trying to print the result...

output constraint-programming type-systems minizinc

Applying properties of a base type to a subtype in JavaScript...

javascript type-systems function-composition subtype

What is a unified type system?...

c#java type-systems

How to understand the two sentences about "Covariance" and "Contravariance"?...

scala type-systems

in haskell, why do I need to specify type constraints, why can't the compiler figure them out?...

haskell type-inference typeclass type-systems

Why is there "data" and "newtype" in Haskell?...

haskell types language-design type-systems

Why does Rust enforce objects can only be mutably borrowed once?...

pointers types rust type-systems

Java generics, how can I define a type that needs to be a generics with one param?...

java generics type-systems nested-generics