<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">We came across it when writing the DSL paper for ECOOP last year. Kotlin at least started as a project at IntelliJ with motivation being to stop people writing HTML, CSS, JS, etc and rather use a single language to do them all while having DSL-like support to make it "look" like HTML etc (similar to our goals but completely different mechanism from Wyvern Type-Specific Languages).<div class=""><br class=""></div><div class=""><a href="http://blog.jetbrains.com/kotlin/" class="">http://blog.jetbrains.com/kotlin/</a></div><div class=""><br class=""></div><div class="">It might have taken a life of its own by now though as a web programming language with useful support for formatting and content in a programming language friendly way...</div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 4/02/2015, at 5:25 am, Kim Bruce <<a href="mailto:kim@cs.pomona.edu" class="">kim@cs.pomona.edu</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=us-ascii" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Anybody know anything about Kotlin?<div class=""><a href="http://kotlinlang.org/" class="">http://kotlinlang.org</a></div><div class=""><br class=""><div class="">
<span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px;"><div class="">Kim</div><div class=""><br class=""></div></span><br class="Apple-interchange-newline">
</div>
<br class=""></div></div>_______________________________________________<br class="">Grace-core mailing list<br class=""><a href="mailto:Grace-core@cecs.pdx.edu" class="">Grace-core@cecs.pdx.edu</a><br class="">https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core<br class=""></div></blockquote></div><br class=""></div></body></html>