>>498
その人はHaskellは数学的に正当化されてないけしからんって言ってたの?