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

**URL:** <https://discourse.julialang.org/t/are-there-any-plans-to-support-higher-order-ranked-types-in-julia/6137>\
**Category:** Internals & Design\
**Tags:** question\
**Created:** [September 28, 2017, 10:55am UTC](https://discourse.julialang.org/t/are-there-any-plans-to-support-higher-order-ranked-types-in-julia/6137 "2017-09-28T10:55:14Z")\
**Posts on this page:** 1\
**Showing post:** 5

<div class="post-metadata">

**Author:** ![jameson](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jameson/32/23_2.png) [@jameson](https://discourse.julialang.org/u/jameson)\
**Post date:** [September 28, 2017, 2:44pm UTC](https://discourse.julialang.org/t/are-there-any-plans-to-support-higher-order-ranked-types-in-julia/6137/5 "2017-09-28T14:44:46Z")

</div>

If I’m skimming and understanding that second link correctly, Julia already has far stronger support for higher rank and higher kindred types than Haskell: Haskell requires a language extension to use Rank-N types, while Julia is designed around dispatching with them. (I apologize in advance for any misrepresentation, I’m making generalizations off of skimming just one blog post summary, which I know is generally a bad idea.)

Also see previous discussions at [Function Parameter Speculation #17168 - #28 by StefanKarpinski](https://discourse.julialang.org/t/function-parameter-speculation-17168/1677/28)

---

_[View the full topic](https://discourse.julialang.org/t/are-there-any-plans-to-support-higher-order-ranked-types-in-julia/6137)._