Type systems impose constraints on what programs may be written, by providing a syntactic method for operating with those constraints.
I have seen several sources echo the opinion that "Haskell is gradually becoming a dependently-typed language". The implication seems to …
haskell type-systems dependent-typeDependent method types, which used to be an experimental feature before, has now been enabled by default in the trunk, …
scala haskell programming-languages type-systems dependent-method-typeI've heard that Scala has path-dependent types. It's something to do with inner-classes but what does this actually mean and …
scala type-systems path-dependent-typeI want to return an error from a function in case a condition is true: use std::error::Error; pub …
error-handling rust type-systemsReading Disadvantages of Scala type system versus Haskell?, I have to ask: what is it, specifically, that makes Haskell's type …
haskell types type-inference type-systems hindley-milnerI've read a comparison of C# and Java and the first thing on the list is "Single-root (unified) type system". …
c# java type-systemsI know newtype is more often compared to data in Haskell, but I'm posing this comparison from more of a …
haskell types type-systemsWhat are the various use cases for union types and intersection types? There has been lately a lot of buzz …
programming-languages functional-programming type-systemsConsider the following code: public class A { } public class B : A { } public class C : B { } class D { public static bool …
c# .net reflection type-systems system.typeGiven: data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a …
haskell ghc typeclass type-systems