8 Feb
2008
8 Feb
'08
4:12 a.m.
Hi
This function is typically defined once per project. So its about time this safe variant of 'read' made it into the base.
It's also in the Safe library as readMay: http://www-users.cs.york.ac.uk/~ndm/safe/ and has been useful. Not 100% certain that maybe read is the right name as opposed to readMaybe - given read/reads both have a read prefix. (+0.7) agreement. Thanks Neil