I do agree you should look at the tutorial but to answer your questions, see below: 1) what's the difference between these two code statements? I'm
convinced they should be the same
type T = [Char] type CurrentValue = Char
You could think of the type keyword as aliasing an existing type to one that you name. For instance, T can now be used interchangeably with the [Char] type, like in a type declaration: upcase :: [Char] -> [Char] can be: upcase :: T -> T and they would mean the same thing. You do this usually for the sake of documentation, where the alias you are creating is more readable than that which it aliases. [Char] means an array of Chars. String, for example is I believe defined as: type String = [Char]
2) What is Maybe String?
Maybe String is a datatype that could be 1 of 2 things, a String or Nothing. Maybe is used a lot of the time for computations that may fail, such as looking for a needle in a haystack: findNeedle :: NeedleID -> Haystack -> Maybe Needle In that example, findNeedle would return the value: Just someneedle OR it would return Nothing if it could not be found. I encourage you to read up on the tutorial that David Place submitted for more information.
For instance: type P = (Char, Maybe String)
P in this case is a tuple or pair. That's what the parentheses are for. It means that the first field of the tuple is a Char, the second field of of the tuple can either be a string or nothing. Again, this is a type, not a value or a function.
3) What is Maybe Char ?
See above. -- Michael Xavier http://www.michaelxavier.net