Newbetuts
.
New posts in type-systems
Functions don't just have types: They ARE Types. And Kinds. And Sorts. Help put a blown mind back together
haskell
types
ghc
type-systems
higher-kinded-types
How did Haskell add Turing-completeness to System F?
haskell
type-systems
lambda-calculus
turing-complete
system-f
Is Haskell really a purely functional language considering unsafePerformIO?
haskell
functional-programming
type-systems
referential-transparency
unsafe-perform-io
Why is PartialFunction <: Function in Scala?
scala
type-systems
subtype
Unable to map on HList
scala
type-systems
shapeless
Return specific type within Haskell
haskell
types
compiler-errors
typeclass
type-systems
Is C# type system sound and decidable?
c#
types
covariance
type-systems
What are "sums-and-products" data structures?
data-structures
programming-languages
types
type-systems
algebraic-data-types
Disadvantages of Scala type system versus Haskell?
scala
haskell
type-systems
static-typing
language-comparisons
The type system in Scala is Turing complete. Proof? Example? Benefits?
language-agnostic
scala
type-systems
turing-complete
Small and good scala projects to learn scala -- especially functional programming and type system [closed]
scala
functional-programming
type-systems
Why are Haskell algebraic data types "closed"?
oop
haskell
types
functional-programming
type-systems
What are the primary theoretical difficulties with adding ML-style modules to Haskell?
haskell
ocaml
sml
ml
type-systems
Difference between static and dynamic programming languages
dynamic
static
programming-languages
type-systems
What does it mean to say a type is "boxed"?
java
types
terminology
type-systems
autoboxing
What are the differences and similarities of Scala and Haskell type systems?
scala
haskell
type-systems
Scala Hoogle equivalent?
scala
haskell
type-systems
Haskell Weird Kinds: Kind of (->) is ?? -> ? -> *
haskell
types
type-systems
Extract specific parts from sentence by using infer keyword in Typescript Template Literal?
typescript
types
type-systems
template-literals
What's the theoretical basis for existential types?
haskell
types
type-systems
existential-type
quantifiers
Prev
Next