-
@ YoshikuniJujo
2025-03-09 22:55:16class Show a where show a :: a -> String というクラスがあるけど、 class ShowIO a where showIO a :: a -> IO String というクラスがあると便利かもしれない。 instance {- OVERLAPPABLE -} Show a -> ShowIO a where showIO = pure . show みたいなのを定義しておいてもいいと思う。 あと、将来的にはgenericsを使ったdefaultの定義を可能にして instance ShowIO Foo だけで定義できるようにしたいのと、showsPrecとかshowListにあたるクラス関数も定義していきたい。けど、めんどくさい。