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

Row polymorphic equality of type-level lists

haskell type-systems type-families type-level-computation

Disambiguation of higher kinded type vs higher order type

type-systems higher-kinded-types higher-order-types

Can a type be a reference type and a value type at the same time?

c# type-systems

Why do I need to write let to declare a variable?

types programming-languages type-inference type-systems rust

Are function parameters not polymorphic in Algorithm W (or Haskell)?

algorithm haskell type-systems hindley-milner

I want to write a function which is similar to `flip` in Haskell to get rid of lambda expressions. But I can't deal with it's type

haskell lambda polymorphism typeclass type-systems

Message equivalent of dependent method types

scala akka type-systems

Ostensible inconsistencies in singleton types

scala types programming-languages type-systems singleton-type

Is it actually possible to remove "Pi" from Calculus of Constructions?

haskell types type-systems lambda-calculus

Extending the .NET type system so the compiler enforces semantic meaning of primitive values in certain cases

c# .net performance type-systems

Generalized type-defaulting rules

haskell type-systems

Can't narrow simple TypeScript union type with undefined property

typescript typescript2.0 type-systems union-types

Why can I use `>>=` without an explicit or implicit definition?

haskell monads typeclass type-systems

What are the deficiencies of the Java/C# type system?

c# java haskell type-systems

why optional typing in Dart?

generics covariance dart type-systems

Which programming languages support functions that take themselves as arguments?

ocaml type-inference type-systems hindley-milner anonymous-recursion

Is there a simpler type system with the practical utilities of CoC? [duplicate]

haskell types type-systems lambda-calculus

Compile-time array bounds

.net arrays type-systems
« Newer Entries Older Entries »