<div dir="ltr">Or maybe this:<div><br></div><div><div><div>#lang typed/racket</div><div>(require racket/flonum)</div><div>(: S->F : String -> (Option Flonum))</div><div>(define (S->F s)</div><div> (define n (string->number s))</div> <div> (and n </div><div> (* (real-part n) 1.0)))</div></div></div><div><br></div><div style>depending on what's wanted.</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Feb 13, 2013 at 9:18 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I feel like this is closer, but I'm not sure how to make those single precision floats into doubles (and then fix whatever else is wrong after that :)<div> <br></div><div><div>#lang typed/racket</div><div> (require racket/flonum)</div><div>(: S->F : String -> (Option Flonum))</div><div class="im"><div>(define (S->F s)</div><div> (define n (string->number s))</div></div><div> (and n </div><div> (real? n)</div> <div> (* n 1.0)))</div> </div><div><br></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Feb 13, 2013 at 9:15 PM, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><br></div><div>That's just semantics, you dang logician </div><div><div> <div><br></div><br><div><div>On Feb 13, 2013, at 10:09 PM, Carl Eastlund wrote:</div><br><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. For instance, (S->F "5") is #false by your implementation. It's hard to tell exactly what S->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"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></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->F : String -> (Option Float))<br> (define (S->F s)<br> (define n (string->number s))<br> (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><br> <br> <br> On Feb 13, 2013, at 9:49 PM, Ray Racine wrote:<br> <br> > What is the most efficient way to write the following method in TR?<br> ><br> > (: S->F (String -> (Option Float)))<br> ><br> ><br> </div><div><div>> ____________________<br> > Racket Users list:<br> > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> <br> ____________________<br> Racket Users list:<br> <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></div></div></div><br>____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> <br></blockquote></div><br></div> </div></div></blockquote></div><br></div>