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?

Sighoya September 30, 2017, 12:15pm 18

I want some form of meta typing, initializing a type should create another type. It is, in my eyes, not possible in julia.

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	7955	December 4, 2019
Function Parameter Speculation #17168 Internals & Design	28	5146	May 22, 2017
Feature: Higher order type constructors Internals & Design type , parametric-types	14	1145	February 20, 2021
Strict typing and restricting types in a method's signature General Usage	25	6311	December 3, 2016
What is difference between Type{T} and T New to Julia type , parametric-types	57	6901	March 17, 2021