別に主作用が値を返すこととは、思っていないから

式は値を返すけど、文は返さない。
関数も返すとは限らない

自動的に、最後に評価された値を返しても、受け取って使うとは限らない。
あまり、主作用を論じることがない

副作用は、C でも使うけど、主に関数型言語のモナド