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	7704	December 4, 2019
Feature: Higher order type constructors Internals & Design type , parametric-types	14	1089	February 20, 2021
Advice for Higher Order Functions on Tuples General Usage tuple	6	193	June 12, 2024
Understanding generic functions and parametric types New to Julia parametric-types , functions	3	94	August 4, 2024
Abstract type hierarchies along with OOP constructed types General Usage question , package , base	5	717	December 21, 2020