List Question
17 TechQA 2021-02-01T13:29:56.187000Generalized HM vs. Higher-Order Unification
402 views
Asked by AudioBubble
Can I write a higher order type for a -> b -> *?
182 views
Asked by Tobia
Simulating higher-kinded polymorphism with Object Algebra's in F#
473 views
Asked by Michael Thomas
How to define a family of type dependent function in Haskell
389 views
Asked by Jerry
Why can I pass partially applied type constructors only in type parameter position?
118 views
Asked by AudioBubble
Allowing parameterized classes/types in Scala/Java
143 views
Asked by pumpump
Recursive higher order function type in Scala 3
279 views
Asked by Alexander Temerev
Disambiguation of higher kinded type vs higher order type
815 views
Asked by Stefan Dollase
What's the relation between "generics" and "higher-order types"?
161 views
Asked by Freewind
Mapping over constrained existentially qualified higher order type
80 views
Asked by Philip Kamenarsky
Pattern match on functions on the type level is possible, but not on the value level, why is this difference?
1.1k views
Asked by jhegedus
Pass parametric type as a type argument to another type in TypeScript or Flow
984 views
Asked by P Varga
Why can the Monad interface not be declared in Java?
3.8k views
Asked by Stefan Dollase
Compile-time map on a type list
327 views
Asked by Pavel Kirienko
How do you deal with tuples of higher-order types?
167 views
Asked by Todd O'Bryan
Functor implementation for types with more than one type
129 views
Asked by Maths noob
Is there a way to capture a tuple of higher-order functions in Haskell?
425 views
Asked by BrainFRZ