Higher ranked types is some form of higher order generics, but is not the same as higher kinded types (nested generics). A typical situation occurs, if we want to apply a length function to a collection of heterogenous types. I will present it here in Haskell syntax. The length function is itself …

Are there any plans to support higher order ranked types in julia?

kristoffer.carlsson September 28, 2017, 11:59am 3

Topic		Replies	Views
Are there any (long term) plans to add higher order generics (a.k.a. higher kinded types) to Julia? Internals & Design question	50	7773	December 4, 2019
Feature: Higher order type constructors Internals & Design type , parametric-types	14	1096	February 20, 2021
What is difference between Type{T} and T New to Julia type , parametric-types	57	6662	March 17, 2021
Function Parameter Speculation #17168 Internals & Design	28	5042	May 22, 2017
How to interpret "Type{T} where T" in Julia's type system New to Julia question , type , parametric-types	22	1371	April 7, 2025