"newtype" creates a wrapper for an existing type that gets erased (so
it has no cost) at runtime, but is distinct during typechecking.
"type" creates an alias for an existing type, which is interchangeable
(so it doesn't really exist during typechecking).
In this case:
GenParser tok st a
is a function of the type
State tok st -> Consumed (Reply tok st a)
But you have to extract the value (via pattern matching) to call the
function; to the typechecker they are distinct types.
On the other hand, anywhere you see "Parser a", you could write
"GenParser Char () a" and it would work the same. It's just giving
you a shorter name for that common parser type.
-- ryan
On Wed, Nov 4, 2009 at 11:17 PM, zaxis
type Parser a = GenParser Char () a newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a))
As i know, the Parser type is just an alias of GenParser. Then can the second line be replaced as below?
newtype GenParser tok st a = GenParser Char () (State tok st -> Consumed (Reply tok st a))
If it can , then what is the new type ?
Sincerely!
----- fac n = foldr (*) 1 [1..n] -- View this message in context: http://old.nabble.com/What%27s-the-new-type---tp26208600p26208600.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe