Emerging Languages

This talk will introduce the new programming language ParaSail which is focused on two themes: programming should be by default parallel, with programmers working harder to make things sequential if necessary, and second, all checks should be performed at compile-time, including checks for race-conditions, uninitialized variables, out-of-bounds array indices, null pointers, numeric overflow, etc. Read more.

Slate is a self-hosted dynamic language based on prototypes and multi-dispatch. It melds the Smalltalk and Lisp traditions, while attempting to incorporate ideas and idioms from a variety of sources. Slate is being re-invented using Atomo as an incubator along with direction from Newspeak and functional programming. Read more.

Programming today exhibits a voracious appetite for information, and one of the most important trends in languages today is to make access to data and services fluent and seamless. Come and see the latest from the F# team, and learn how we are extending F# to embed the analytical programmer instantly in a world of typed data and services, whether they be web, enterprise, client or local. Read more.

Seph is a new experimental language. It is based on pure differential prototype based object orientation, with immutability and polymorphic dispatch built in deep. Seph uses the new features in Java 7 to full effect, by compiling highly dynamic code to use method handles and invoke dynamic. It's got light weight threads and the mature concurrency primitives from Clojure. Read more.

Object-functional languages have a number of desirable properties and have proven very useful in practice. Unfortunately, the merger brings with it a raft of complexities, being the root of nearly all of Scala's infamous complexity. This talk will present a new framework for resolving these issue, based around the notion of statically-typed functional object prototypes. Read more.

StreamSQL EventFlow is a Complex Event Processing language for building real-time applications. EventFlow is unique in that it is primarily a visual language. This talk will focus on the StreamBase Event Processing Platform, the design of visual representations for language features and the co-development of an Eclipse-based IDE along with a new programming language. Read more.

Plaid is a new programming language with native support for typestate and permissions. Typestate captures the changing states an object can be in, allowing the object's interface, representation, and behavior to change. A gradual (optional) type system tracks the typestate of objects, using permissions like "unique" to reason in the presence of aliasing. The PL's power is demonstrated by examples. Read more.

Imagine a language with no objects, functions, or variables. Wheeler intersects relational, declarative, reactive, and aspect-oriented programming approaches to create a surprisingly simple language that you can learn in about 10 minutes. (Assuming you are willing to bend your brain into the proper pretzel shape.) Read more.

Magpie is a brand new language that borrows the shiniest bits from other languages. From Lisp, it takes multimethods and extensible syntax. From ML, it takes pattern-matching and records. From Ruby it takes classes, and a passion for clarity and readability. Read more.

FAUST (Functional AUdio STreams) is a programming language for real-time signal processing and synthesis that targets high-performance DSP applications and audio plugins. The talk will be the opportunity to discover Faust and its applications in the musical and audio domains. Read more.

We present a new statically typed JVM-targeted programming language developed by JetBrains and intended for industrial use. Read more.

Gosu is a statically typed, imperative programming language for the JVM. This talk will give an overview of the language, focusing on features that differentiate it from other JVM languages, and then dive into the Open Type System, which a metadata API that allows arbitrary resources to plug into the Gosu compiler. Read more.