I'm interested in examples demonstrating the value of static typing. Do you have any you find particularly compelling?
On Thu, Apr 2, 2015 at 8:01 PM, Aistis Raulinaitis <[email protected]> wrote: > Definitely. Thanks. I felt a little sad for the author's distaste for > static typing. As a Haskeller I actually see static typing as tool to lean > into when things get tough, instead of a thing you have to work against. To > me programs are just data and mappings of that data from input to output. I > may just be one of those weirdos, but for me (at least right now) the > perfect language for me would be if J and Idris/Agda had a baby and made a > dependently typed array language. ...and regained back APL's symbolic > syntax and left ASCII in the dust. > On Apr 2, 2015 4:33 PM, "Joey K Tuttle" <[email protected]> wrote: > > > With this interesting article - > > > > http://www.technologyreview.com/review/536356/toolkits-for-the-mind/ > > > > > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > -- Devon McCormick, CFA ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
