LLかどうか分からないけど、Haskellはそういうのがあるよね。