On Tue, Apr 24, 2012 at 08:32, Michael Snoyman <mich...@snoyman.com> wrote: > Here's a theoretically simple solution to the problem. How about > adding a new method to the IsString typeclass: > > isValidString :: String -> Bool
If you're going with this approach, why not evaluate the conversion from String immediately? For either case you have to know the monomorphic type, and converting at compile time is more efficient as well. But we're getting pretty close to Template Haskell here. Erik _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
