24 Apr
2012
24 Apr
'12
8:36 a.m.
On Tue, Apr 24, 2012 at 08:32, Michael Snoyman
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