by landakram on 6/23/17, 3:33 PM with 36 comments
by winter_blue on 6/23/17, 8:36 PM
Part of my motivation to prefer Kotlin over Clojure (the most popular LISP on the JVM langauge?) is that I am a huge proponent of static typing. Large programs written in statically typed languages are orders of magnitute more readable, more maintainable, easier to understand, and far less error-prone, than programs written in dynamically typed languages.
The recent surge in popularity of dynamically typed languages like JavaScript, Python, Ruby, etc, had been a source of horror and frustration to me. It feels like a huge segment industry is throwing away decades of advancement made in programming language research, and instead of moving to languages with more advanced type systems, they're abandoning sound typing altogether (shudder).
by gerbilscheme on 6/24/17, 3:09 AM
by alekq on 6/23/17, 9:45 PM
by kronos29296 on 6/23/17, 7:50 PM
by _delirium on 6/23/17, 7:28 PM
And a paper (2013) giving some details and explaining their motivations: http://ecem.ece.ubc.ca/%7Ecpetersen/lambdanative_icfp13.pdf
by gliechtenstein on 6/23/17, 6:46 PM
BTW shameless plug: If you're interested in this type of ideas, please also check out Jasonette (an open source project I'm working on) Just like this project uses "list" to describe an app, Jasonette uses JSON to describe an app. https://www.jasonette.com
by desireco42 on 6/23/17, 7:21 PM
by githubber123 on 6/23/17, 8:52 PM
by baldfat on 6/23/17, 7:24 PM