特に、sasl、miranda、ml、haskellといった関数型言語に影響を与えている。