<div dir="ltr">Hello<br><br>1> IsDigit = fun(C) -> C >= $0 andalso C =< $9 end.<br>#Fun<erl_eval.6.52032458><br>2> S = "123a456".<br>"123a456"<br>3> [IsDigit(I) || I <- S].   <br>[true,true,true,false,true,true,true]<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">2016-09-18 13:56 GMT-03:00  <span dir="ltr"><<a href="mailto:lloyd@writersglen.com" target="_blank">lloyd@writersglen.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
Now this I would not expect:<br>
<br>
4> S = "123a456".<br>
"123a456"<br>
<br>
5> is_integer(S).<br>
false<br>
<br>
6> [is_integer(I) || I <- S].<br>
[true,true,true,true,true,<wbr>true,true]<br>
<br>
Please tell me what I don't understand.<br>
<br>
Many thanks,<br>
<br>
LRP<br>
<br>
<br>
******************************<wbr>***************<br>
My books:<br>
<br>
THE GOSPEL OF ASHES<br>
<a href="http://thegospelofashes.com" rel="noreferrer" target="_blank">http://thegospelofashes.com</a><br>
<br>
Strength is not enough. Do they have the courage<br>
and the cunning? Can they survive long enough to<br>
save the lives of millions?<br>
<br>
FREEIN' PANCHO<br>
<a href="http://freeinpancho.com" rel="noreferrer" target="_blank">http://freeinpancho.com</a><br>
<br>
A community of misfits help a troubled boy find his way<br>
<br>
AYA TAKEO<br>
<a href="http://ayatakeo.com" rel="noreferrer" target="_blank">http://ayatakeo.com</a><br>
<br>
Star-crossed love, war and power in an alternative<br>
universe<br>
<br>
Available through Amazon or by request from your<br>
favorite bookstore<br>
<br>
<br>
******************************<wbr>****************<br>
<br>
______________________________<wbr>_________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
</blockquote></div><br></div>