Welp, imma try myself at an explanation. Mostly cause I haven’t written Haskell in a while either.
So, that first line:
hanoi :: Integer -> a -> a -> a -> [(a, a)]
…actually only declares the function’s type.
In this case, it’s a function that takes an Integer and three values of a generic type a and then returns a list of tuples of those same as.
So, those as are just any types representing the towers. Could be strings, integers, custom data types, whatever. The returned tuples represent movements between towers.
Following that are actually two definitions of the function.
The first definition:
hanoi0 _ _ _ = []
…is the recursion base case. Function definitions are applied, whenever they match, being evaluated top-to-bottom.
This line specifies that it only matches, if that first Integer is 0. It does not care what the remaining parameters are, so matches them with a wildcard _.
Well, and to the right side of the equals sign, you’ve got the return value for the base case, an empty list.
Then comes the more interesting line, the recursion step:
hanoi n a b c = hanoi (n-1) a c b ++ [(a, b)] ++ hanoi (n-1) c b a
This line matches for any remaining case. Those small letter names are again wildcards, but the matched value is placed into a variable with the provided name.
And then, well, it recursively calls itself, and those ++ are list concations. This line’s only real complexity is the usual Tower Of Hanoi algorithm.
Before studying CS, I recognized it as ‘the bioware puzzle’. They were probably copying their own scribbles fron back then.
Haskell was the hardest, but it looked the most beautiful.
That pretty much sums that language up
Strange. I find the language hideous, most likely because it resembles math, or maybe because I’m already used to the C-like syntax.
Haskell is beautiful because it resembles math
It’s also beautiful because it doesn’t have C-like syntax.
In order to write a haskell program, you must first write the corresponding haskell program.
And in order to do that, you have to imagine sisyphus happy
Functional programming flips your brain around backwards, but shader programming will turn it inside-out.
For more brain flipping try looking into hardware description languages (Verilog) or proof assistants (Coq).
hanoi :: Integer -> a -> a -> a -> [(a, a)] hanoi 0 _ _ _ = [] hanoi n a b c = hanoi (n-1) a c b ++ [(a, b)] ++ hanoi (n-1) c b aFrom here: https://www.rosettacode.org/wiki/Towers_of_Hanoi#Haskell
Edit: I understand it now. That first line is just a really weird way to define a function.
Welp, imma try myself at an explanation. Mostly cause I haven’t written Haskell in a while either.
So, that first line:
hanoi :: Integer -> a -> a -> a -> [(a, a)]…actually only declares the function’s type.
In this case, it’s a function that takes an Integer and three values of a generic type
aand then returns a list of tuples of those sameas.So, those
as are just any types representing the towers. Could be strings, integers, custom data types, whatever. The returned tuples represent movements between towers.Following that are actually two definitions of the function.
The first definition:
hanoi 0 _ _ _ = []…is the recursion base case. Function definitions are applied, whenever they match, being evaluated top-to-bottom.
This line specifies that it only matches, if that first Integer is
0. It does not care what the remaining parameters are, so matches them with a wildcard_.Well, and to the right side of the equals sign, you’ve got the return value for the base case, an empty list.
Then comes the more interesting line, the recursion step:
hanoi n a b c = hanoi (n-1) a c b ++ [(a, b)] ++ hanoi (n-1) c b aThis line matches for any remaining case. Those small letter names are again wildcards, but the matched value is placed into a variable with the provided name.
And then, well, it recursively calls itself, and those
++are list concations. This line’s only real complexity is the usual Tower Of Hanoi algorithm.