beautiful code

Beautiful code. I want to create it. How can i do this?

>>45
That's why I want a non-total dependently-typed language. You get correctness where you want it (i.e. with types like Array SortedAscending 256 Int) and simplicity in other places (SimpleArray Int) without having to prove termination, thus without having to be stuck with structural recursion and having to write pages of stupid proofs.