という話（という言い方も合っているのかどうか定かではありませんが）。他力本願の本領を発揮して、別の話のついでに、知り合い（www.cl.cam.ac.uk/~amp12/）にちょっと聞いてみました。 The denotational semantics of datatypes, be it in a non-strict l…

前にも触れましたが、子供（特に赤ちゃん）が傷つく話を聞くと、批判とか以前に気絶する体質になってしまったので、熱湯とかシュレッダーとか禁止。