I’ve decided to learn Haskell as from what I’ve read, it seems like an interesting language quite different from anything I’ve used before. I’d also very much like to be able to hack on XMonad, the tiling window manager I use.
‘Learn you a Haskell for great good’ is a fantastic book written in a light hearted manner with very good explanations and drawings to keep your attention. It’s available to read free on the website.
Haskell is referentially transparent and as such you can’t change variables (they’re actually called definitions or names as they don’t vary)after assigning a value; for example you can’t say x = 5 and then saying that x = 6. This means side effects don’t exist (when calling a function twice with the same parameters it might return something different in an imperative language – not in Haskell! Variable reassignment isn’t permitted).
Haskell also has the cool property of being lazy meaning it will only evaluate expressions when it absolutely must, this allows us to play with infinite sets, this is the result of referential transparency.
Haskell is statically typed meaning that Haskell knows what things are numbers, strings, lists and so on. This allows it check for a lot of possible errors at compile time. Whilst this might lead you to think that you have to tell Haskell what type everything is in your program, this is not the case. Haskell has a type inference system that knows that when you perform the assignment a = 5 + 4, that a is also a number, and so on.
Functions that take 2 arguments can be called as infix operator like so:
The order in which operators evaluated from first to last is:
If operators are on the same level of precedence, for example the expression:
operators are evaluated from right to left
Functions are defined in a very clean way in Haskell, like so:
doubleMe is the function name, all the strings or characters after the name to the equals sign are parameters, parentheses are not used to bind parameters to functions like in C or Python. The expression after the equals sign is evaluated when the function is called and returned.
Also remember that definitions are also functions so ‘x = 8’ is a function that returns 8 when called and so on.
Given that Haskell isn’t imperative all ‘if’s must be accompanied by an ‘else’, if the predicate evaluates to false then the function won’t know what to return otherwise.
Lists are homogeneous. Concatenation walks through the first list before appending the other list, this is computationally intensive on big lists. Prepend lists to avoid this issue.
Texas ranges allow you to produce a list from an arithmetic sequence in any step size up to any number or it can even be infinite.
This shows a simple Texas range, the default step size of 1, if you wanted to create an arithmetic list with a negative common difference then you must specify the step size as Haskell defaults to one. So [20..1] would evaluate to an empty list as 20 is greater than one.
As the above example shows, step size is implicitly defined by writing the second term of the sequence.
Any type of element that is enumerable can be used with Texas ranges. Letters for example are enumerable:
If you want to produce a list up to a certain number of members you can use ‘take’ on an infinite list:
‘cycle’ and ‘repeat’ produce infinite lists which can be used with ‘take’ to produce finite lists.
List comprehensions are very similar to set comprehensions for mathematics (note: very cool). They allow you to generate lists of elements based on predicates. The example below will show a typical list comprehension:
example refers to the name of the function and the 2 variables afterward are the parameters: ‘xs’ ‘ubound’. ‘x’ is drawn from the list ‘xs’, then the predicate ‘x < ubound’ filters out the elements of the list greater than ‘ubound’, finally the stripped list is then passed to ‘x*2’ where a new list is generated from the previous list x being mapped to x*2.
A better example:
Tuples are a little bit like lists in that they store sets of data, however they differ in fundamental ways. Tuples store heterogeneous data and they cannot be extended in size. If you define a tuple to contain a Char and a Bool then it can only contains those 2 types in the correct order. Tuples are defined using the following notation:
(“Hi”, True)” isn’t the same type of tuple as (True, “Hi”), order is important.
Because tuples composed of 2 types of data are dealt with so frequently there are 2 important functions to memorise: fst and snd, they’re fairly obvious:
A list of tuples can be produced using the zip command that takes 2 lists as parameters and creates pairs based on those lists:
Tuples, as any other primitive can be used in list comprehension, they’re useful for calculating things:
This is a simple function that calculates the sides of a triangle such that:
The predicates are evaluated in the order they’re written in (DON’T UNDERSTAND WHY THEY’RE IN THAT ORDER TO AVOID (a OR b) > c)