Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in type-systems

How can I create a function which accepts a function with specific parameters as an argument?

function dart type-systems

Scala - a type-parametrized trait method returning a type-parametrized object - how to implement?

scala types implementation type-systems traits

Free theorems in C++: are templates inherently ignorant and neutral with their objects of unknown types?

c++ templates abstraction type-systems type-theory

Is OCaml's type system static?

compiler-construction static ocaml interpreter type-systems

How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system

c++ static-analysis type-systems

Scala compiler fails to infer type parameters

scala dsl type-inference type-systems

Type restriction in type declaration

haskell type-systems gadt data-kinds phantom-types

Typescript equivalent to C#'s NotNullWhen

c# typescript null type-systems typescript-types

Can't create recursive type `using T = vector<T::iterator>`

c++ templates recursion types type-systems

Why is KFunction2 not a denotable type in Kotlin?

kotlin function-pointers type-systems

Why can't constructors have required type arguments?

haskell types ghc type-systems type-level-computation

Is there a Hoogle equivalent for DAML?

types type-systems daml

Is Milner let polymorphism a rank 2 feature?

haskell polymorphism type-systems

Duck typing, must it be dynamic?

language-design duck-typing type-systems definitions structural-typing

Why `trait X { def append[-](): Unit }` compiles?

scala type-systems

How to understand "The variance position of a method parameter is the opposite of the variance position of the enclosing parameter clause."

scala type-systems

Understanding the Haskell type system in the context of applicatives

haskell type-systems applicative
Older Entries »