Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in higher-order-types
Why can I pass partially applied type constructors only in type parameter position?
Dec 25, 2022
haskell
higher-kinded-types
unification
higher-order-types
What's the relation between "generics" and "higher-order types"?
Nov 12, 2022
java
scala
generics
higher-order-types
Disambiguation of higher kinded type vs higher order type
Nov 18, 2022
type-systems
higher-kinded-types
higher-order-types
Pattern match on functions on the type level is possible, but not on the value level, why is this difference?
Apr 08, 2022
haskell
type-families
higher-order-types
Can I write a higher order type for a -> b -> *?
Aug 30, 2021
haskell
applicative
higher-order-types
Why can the Monad interface not be declared in Java?
Aug 31, 2022
java
generics
monads
type-systems
higher-order-types