
7 Feb
2008
7 Feb
'08
5:42 p.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