Re: "Strong typing vs. strong testing"

2010-10-13 Thread Aleksej Saushev
"BartC" writes: > "Thomas A. Russ" wrote in message > news:ymi1v7vgyp8@blackcat.isi.edu... >> torb...@diku.dk (Torben ZÆgidius Mogensen) writes: >> >>> Trigonometric functions do take arguments of particular units: radians >>> or (less often) degrees, with conversion needed if you use the "w

Re: "Strong typing vs. strong testing"

2010-10-04 Thread Aleksej Saushev
RG writes: > There are only two possibilities: either you have a finite-state > machine, or you have a Turning machine. (Well, OK, you could have a > pushdown automaton, but there are no programming languages that model a > PDA. Well, OK, there's Forth, but AFAIK there are no static type >