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
