Easy Way Understanding Fix

Introduction # Fix point of $f: A \rightarrow A$ is $x \in A$ such that $f(x)=x$. fix in haskell is used to find the (least) fix point for a function, which has the type (a -> a) -> a. It’s also widely used as a helper function for writing recursive functions. But how, and why? Fix and Recursive Functions # Generalise Recursive Function # We can first describe recursive functions without using the word “recursive”.