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	7708	December 4, 2019
Feature: Higher order type constructors Internals & Design type , parametric-types	14	1092	February 20, 2021
Why does eltype not return upper type bound? General Usage question , array , eltype	7	318	December 3, 2023
Type compare New to Julia	9	879	September 16, 2022
Specify type of function General Usage	2	640	December 6, 2018