<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>That's just semantics, you dang logician&nbsp;</div><div><br></div><br><div><div>On Feb 13, 2013, at 10:09 PM, Carl Eastlund wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">That might not be what he wants either, if he wants anything representable as a flonum to be a flonum.&nbsp; For instance, (S-&gt;F "5") is #false by your implementation.&nbsp; It's hard to tell exactly what S-&gt;F is supposed to do without more of a specification.<br>

</div><div class="gmail_extra"><br clear="all"><div>Carl Eastlund</div>
<br><br><div class="gmail_quote">On Wed, Feb 13, 2013 at 10:04 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<br>
#lang typed/racket<br>
<br>
(: S-&gt;F : String -&gt; (Option Float))<br>
(define (S-&gt;F s)<br>
&nbsp; (define n (string-&gt;number s))<br>
&nbsp; (and (flonum? n) n))<br>
<br>
I assume you mean to convert strings into floats, if possible.<br>
<br>
But you may like the funny answers better -- Matthias<br>
<div class="im HOEnZb"><br>
<br>
<br>
On Feb 13, 2013, at 9:49 PM, Ray Racine wrote:<br>
<br>
&gt; What is the most efficient way to write the following method in TR?<br>
&gt;<br>
&gt; (: S-&gt;F (String -&gt; (Option Float)))<br>
&gt;<br>
&gt;<br>
</div><div class="HOEnZb"><div class="h5">&gt; ____________________<br>
&gt; &nbsp;Racket Users list:<br>
&gt; &nbsp;<a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
____________________<br>
&nbsp; Racket Users list:<br>
&nbsp; <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
</div></div></blockquote></div><br></div>
</blockquote></div><br></body></html>