Wyvern!

* A Theory of Tagged Objects http://www.cs.cmu.edu/~aldrich/papers/ecoop15-tags.pdf.
Joseph Lee, Jonathan Aldrich, Troy Shaw, and Alex Potanin. _Proc. European Conference on Object-Oriented Programming (ECOOP_, 2015. * Composable and Hygienic Typed Syntax Macros http://www.cs.cmu.edu/~aldrich/papers/sac15-tsms.pdf.
Cyrus Omar, Chenglong Wang, and Jonathan Aldrich. _Proc. Symposium on Applied Computing (SAC_, 2015. * Delegation vs. Inheritance for Typestate Analysis http://www.cs.cmu.edu/~aldrich/papers/LiPotaninAldrichFTfJP2015.pdf.
Du Li, Alex Potanin, and Jonathan Aldrich. In _Proceedings of Formal Techniques for Java Like Programs (FTfJP_, 2015. * Wyvern: Impacting Software Security via Programming Language Design http://www.cs.cmu.edu/~aldrich/papers/plateau14-wy

Wyvern alternatives

  • Node.js

  • tags: application-builder javascript server-side server-software web-applications
  • CoffeeScript

  • CoffeeScript is a little language that compiles into JavaScript. Underneath all those awkward braces and semicolons, JavaScript has always had a gorgeous object model at its heart. CoffeeScript is an attempt to expose the good parts of JavaScript in a simple way. You can use any existing JavaScript library seamlessly from CoffeeScript (and vice-versa).

    tags: programming-language web-development
  • Haskell

  • Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers and rich libraries.

    tags: development programming-language
  • Typescript

  • Now acquired by MICROSOFT. TypeScript is a language for application-scale JavaScript development. It is a typed superset of JavaScript that compiles to plain JavaScript in any browser, any host, any OS and it is Open Source.

    tags: compilers interpreter javascript-development object-oriented-language open-source
  • Apple Swift

  • Swift is a programming language for iOS, OS X, watchOS and tvOS apps that builds on the best of C and Objective-C, without the constraints of C compatibility. Swift adopts safe programming patterns and adds modern features to make programming easier, more flexible, and more fun. Swift’s clean slate, backed by the mature and much-loved Cocoa and Cocoa Touch frameworks, is an opportunity to reimagine how software development works.

    tags: compilers development interpreter ios-development mac-osx-development
  • Groovy

  • Groovy is an agile and dynamic language for the Java Virtual Machine (JVM).

    tags: compilers dynamic-language interpreter java-based object-oriented-language