この3.2のところで、この論文でどんな圏を扱うことにするか書いてあるわけだが、 いくつか勘違いしていたようで、つっこみを頂きました。（ありがとうございます。） ということでもう一度整理したいと思います。 Haskell には型と値がある。(参照： http://…

これは面白い。 Excercise 2 support escaping of internal quotes ということで、Stringのパースのとこで "ab\"c" -> ['a','b','"','c']のようなエスケープをサポートしろという問題。 最初は以下のようになっている。 parseString :: Parser LispVal parse…