CSVと言えばフィールドをカンマで区切っただけの伝統的なファイルフォーマットだけど、今年の10月にRFC4180に制定されてた。最近はXMLだとかYAMLだとかが流行になってて不必要な場面で使われてる気がする。固定的な項目しか必要でない場合はCSVの方が圧倒的…

ラムダ計算での操作対象は関数しかない。ラムダ式の中に数字が登場することもあるが、それは「数字をラムダ式で表したもの」を便宜的に数字で表記しているという立場らしい。プラスやマイナスといった演算子も同様。つまり、これらはラムダ式で表現しうると…