>>13
横レスする

もしもそのリンク先コードがリーダブルであると主張するならば、
同サイトのPrologで書かれたクイックソートのコード：
　　http://nojiriko.asia/prolog/quick_sort.html
よりも、以下のコードのほうがリーダブルであることを認めねばならない

　　クイックソート [] = []
　　クイックソート (中心軸:残りのリスト) =
　　　　　　クイックソート
　　　　　　　　中心軸未満の部分リスト ++ 中心軸:(クイックソート 中心軸以上の部分リスト)
　　　　ここで
　　　　　　(中心軸未満の部分リスト, 中心軸以上の部分リスト) = リストを分割 (< 中心軸) 残りのリスト

　　リストを分割 関数_f = foldr 関数_g ([], [])
　　　　ここで
　　　　　　関数_g X (部分リスト_Y, 部分リスト_Z) =
　　　　　　　　もし 関数_F x ならば
　　　　　　　　　　(X:部分リスト_Y, 部分リスト_Z)
　　　　　　　　さもなくば
　　　　　　　　　　(部分リスト_Y, X:部分リスト_Z)

なお、ここでは以下を仮定した(関数型言語Haskellを元にする)架空の言語を想定している
・識別子として日本語文字(UTF-8等)が利用できる
・予約語「where」の代わりに「ここで」が利用できる
・構文「if ... then ... else ....」の代わりに「もし .... ならば .... さもなくば ....」が利用できる