日々の流転

λ. 五月病

一足早いけど、五月病っぽい。

頭痛い。気持ち悪い。何もしたくない。

λ. read "1" :: Rational

しょぼーん。 文字列で与えられたRationalのリテラルをevalする簡単な方法はないだろうか?　hs-pluginsでevalするってのは無しね。

Prelude> 1 :: Rational
1%1
Prelude> read "1" :: Rational
*** Exception: Prelude.read: no parse

何が悲しかったか、もう少し説明する。「123」のようなリテラルは概念的には「fromInteger (123::Integer)」として扱われるので、そのような文字列からNumに属する任意の型の値を得るには「fromInteger (read "123")」とすればよかった。それに対して、「1.23」のようなリテラルは概念的には「fromRational (1.23::Rational)」として扱われる。そのような文字列からFractionalに属する型の任意の値を得るためには、「fromRational (read "1.23")」とすれば良いのではないかと類推したのだが、これは正しくなかったのだった。