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