# KIND Research Materials

This page contains a list of user images about KIND which are relevant to the point and besides images, you can also use the tabs in the bottom to browse KIND news, videos, wiki information, tweets, documents and weblinks.

KIND Images

Red vs. Blue S8 Tex fights Reds and Blues in awesome action sequence
Go to RoosterTeeth.com for all of season 8 of RvB!
MACKLEMORE X RYAN LEWIS - OTHERSIDE REMIX FEAT. FENCES [MUSIC VIDEO]
The Otherside Remix Music Video was filmed in various locations for about a year and a half throughout 2010-2011. It is the duo's second video collaboration ...
MACKLEMORE & RYAN LEWIS - CAN'T HOLD US FEAT. RAY DALTON (OFFICIAL MUSIC VIDEO)
Macklemore & Ryan Lewis present the official music video for Can't Hold Us feat. Ray Dalton. Can't Hold Us on iTunes: https://itunes.apple.com/us/album/cant-...
Draw My Life- Jenna Marbles
This video accidentally turned out kind of sad, ME SO SOWWY IT NOT POSED TO BE SAD WHO WANTS HUGS AND COOKIES? Also, FYI for anyone attempting this, it takes...
Steve Jobs vs Bill Gates. Epic Rap Battles of History Season 2.
Download This Song: http://bit.ly/KzLBGB Click to Tweet this Vid-ee-oh! http://bit.ly/Nt9lg8 Hi. My name is Nice Peter, and this is EpicLLOYD, and this is th...
Jack Sparrow (feat. Michael Bolton)
Buy at iTunes: http://goo.gl/zv4o9. New album on sale now! http://turtleneckandchain.com.
Draw My Life - Ryan Higa
So i was pretty hesitant to make this video... but after all of your request, here is my Draw My Life video! Check out my 2nd Channel for more vlogs: http://...
Key & Peele: Substitute Teacher
A substitute teacher from the inner city refuses to be messed with while taking attendance.
Master Chief vs Leonidas. Epic Rap Battles of History Season 2.
download this song: http://bit.ly/ERB17 click to tweet this vid-ee-oh! http://clicktotweet.com/vCJ_8 This. Is. Merchandise: http://bit.ly/ERBMerch Hi. My nam...
Harrison Ford Won't Answer Star Wars Questions
See Harrison Ford in 42! Go to http://42movie.warnerbros.com/ Jimmy Kimmel Live - Harrison Ford Won't Answer Star Wars Questions Jimmy Kimmel Live's YouTube ...
Rihanna - Where Have You Been
Buy on iTunes: http://www.Smarturl.it/TTT Amazon: http://idj.to/svJVGM Music video by Rihanna performing Where Have You Been. ©: The Island Def Jam Music Group.
Macklemore and Ryan Lewis - My Oh My (Official Video)
In memory of Dave Niehaus (1935-2010). All proceeds benefit the Rainier Vista Boys and Girls Club. Video Directed by Jason Koenig (JkoePhoto.com) Video and M...

In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system is essentially a simply typed lambda calculus "one level up", endowed with a primitive type, denoted $*$ and called "type", which is the kind of any (monomorphic) data type.[clarification needed] A kind is sometimes confusingly described as the "type of a (data) type", but this is a triviality, unless one considers polymorphic types to be data types. Syntactically, it is natural to consider polymorphic types to be type constructors, thus monomorphic types to be nullary type constructors. But all nullary constructors, thus all monomorphic types, have the same, simplest kind; namely $*$.

Since higher-order type operators are uncommon in programming languages, in most programming practice, kinds are used to distinguish between data types and the types of constructors which are used to implement parametric polymorphism. Kinds appear, either explicitly or implicitly, in languages with complex[vague] type systems, such as Haskell and Scala.[1]

## Examples

• $*$, pronounced "type", is the kind of all data types seen as nullary type constructors, and also called proper types in this context. This normally includes function types in functional programming languages.
• $* \rightarrow *$ is the kind of a unary type constructor, e.g. of a list type constructor.
• $* \rightarrow * \rightarrow *$ is the kind of a binary type constructor (via currying), e.g. of a pair type constructor, and also that of a function type constructor (not to be confused with the result of its application, which itself is a function type, thus of kind *)
• $(* \rightarrow *) \rightarrow *$ is the kind of a higher-order type operator from unary type constructors to proper types. See Pierce (2002), chapter 32 for an application.

(Note: Haskell documentation uses the same arrow for both function types and kinds.)

Haskell's kind system[2] has just two rules:[vague]

• $*$, pronounced "type" is the kind of all data types.
• $k_1 \rightarrow k_2$ is the kind of a unary type constructor, which takes a type of kind $k_1$ and produces a type of kind $k_2$.

An inhabited type (as proper types are called in Haskell) is a type which has values. For instance, ignoring type classes which complicate the picture, 4 is a value of type Int, while [1, 2, 3] is a value of type [Int] (list of Ints). Therefore, Int and [Int] have kind $*$, but so does any function, for instance Int -> Bool or even Int -> Int -> Bool.

A type constructor takes one or more type arguments, and produces a data type when enough arguments are supplied, i.e. it supports partial application thanks to currying.[3][4] This is how Haskell achieves parametric types. For instance, the type [] (list) is a type constructor - it takes a single argument to specify the type of the elements of the list. Hence, [Int] (list of Ints), [Float] (list of Floats) and even [[Int]] (list of lists of Ints) are valid applications of the [] type constructor. Therefore, [] is a type of kind $* \rightarrow *$. Because Int has kind $*$, applying it to [] results in [Int], of kind $*$. The 2-tuple constructor (,) has kind $* \rightarrow * \rightarrow *$, the 3-tuple constructor (,,) has kind $* \rightarrow * \rightarrow * \rightarrow *$ and so on.

### Kind inference

Haskell does not allow polymorphic kinds. This is in contrast to parametric polymorphism on types, which is supported in Haskell. For instance, in the following example:

data Tree z = Leaf | Fork (Tree z) (Tree z)

the kind of z could be anything, including $*$, but also $* \rightarrow *$ etc. Haskell by default will always infer kinds to be $*$, unless the type explicitly indicates otherwise (see below). Therefore the type checker will reject the following use of Tree:

type FunnyTree = Tree [] -- invalid

because the kind of [], $* \rightarrow *$ does not match the expected kind for z, which is always $*$.

Higher-order type operators are allowed however. For instance:

data App unt z = Z (unt z)

has kind $(* \rightarrow *) \rightarrow * \rightarrow *$, i.e. unt is expected to be a unary data constructor, which gets applied to its argument, which must be a type, and returns another type.

## References

1. ^ Generic of a Higher Kind
2. ^ Kinds - The Haskell 98 Report
3. ^ "Chapter 4 Declarations and Binding". Haskell 2010 Language Report. Retrieved 23 July 2012.
4. ^ Miran, Lipovača. "Learn You a Haskell for Great Good!". Making Our Own Types and Typeclasses. Retrieved 23 July 2012.
News
Documents
Don't believe everything they write, until confirmed from WEBSITE REPORTED site.

### What is WEBSITE REPORTED?

It's a social web research tool
that helps anyone exploring anything.

Stay up-to-date. Socialize with us!
We strive to bring you the latest
from the entire web.