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

Generic function result in Haskell based on some predicates

generics haskell types typeclass type-systems

Swift: Is there still a use case for type erasure since the introduction of primary associated types?

swift generics protocols type-systems

Why do type parameters disappear in TypeScript?

generics functional-programming typescript type-systems

Why is char different from *both* signed char and unsigned char?

c integer standards type-systems

How to implement equals for generic pairs?

java generics equals 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
Older Entries »