 |
|
| |
|
|
|
at Global Oneness Community.
Share your dreams and let others help you with the interpretation!
Dream Sharing Forum
|
|
Type inference - Example | | Type inference - Example: Encyclopedia II - Type inference - Example | | For example, let us consider the Haskell function length, which may be defined as:
length [] = 0
length (first:rest) = 1 + length rest
From this, it is evident that the function handles lists as inputs, and the base case of this recursive function returns an integer (Haskell "Int"). So we can reliably construct a type signature
length :: [a] -> Int
Since there are no ad-hoc polymorphic subfunctions in the function definition, we can declare ...
See also:Type inference, Type inference - Example, Type inference - Hindley-Milner type inference algorithm, Type inference - The Algorithm, Type inference - External link | | | Type inference, Type inference - Example, Type inference - External link, Type inference - Hindley-Milner type inference algorithm, Type inference - The Algorithm | | |
| | | Type inference: Encyclopedia II - Type inference - Example
Type inference - Example
For example, let us consider the Haskell function length, which may be defined as:
length [] = 0
length (first:rest) = 1 + length rest
From this, it is evident that the function handles lists as inputs, and the base case of this recursive function returns an integer (Haskell "Int"). So we can reliably construct a type signature
length :: [a] -> Int
Since there are no ad-hoc polymorphic subfunctions in the function definition, we can declare the function to be parametric polymorphic.
Other related archivesBoo, Fortress, Haskell, Haskell B. Curry, ML, OCaml, Robin Milner, Scala, Type theory, ad-hoc polymorphic, functional programming languages, parametric polymorphic, simply typed lambda calculus, statically typed, strongly, type signature
 Adapted from the Wikipedia article "Example", under the G.N U Free Docmentation License. Please also see http://en.wikipedia.org/wiki |
|
|
|
More material related to Type Inference can be found here:
|
|
|
« Back
|
Search the Global Oneness web site |
|
|
|
|
|
Sneak-Peek of Global Oneness Community
Hi friend! The Global Oneness Community, the place for information and sharing about Oneness is not really launched yet (you will see there is still some clean up to do) ...but it is now open for a sneak-peek! And if you wish - please register and become one of the very first members to do so! Jonas
Forum Home,
Articles,
Photo Gallery,
Videos,
News,
Sitemap
...and much more!
|
