InfoQ Homepage Language Design Content on InfoQ
-
Information Rich Programming with F# 3.0
Donna Malayeri speaks on information rich programming with F# 3.0’s type providers and query expressions, explaining how type providers work under the hood.
/presentations/Type-Providers-F-Sharp-3/en/smallimage/Donna.JPG)
-
Rust
Dave Herman talks about Mozilla Rust and some of the features that make it safe, concurrent, and fast.
/presentations/Rust/en/smallimage/Herman.JPG)
-
Computer Architecture of the 1960’s
Carlton Mills reviews Algol 60, PL/360, BLISS, Algol W, PL/1, C and C++, considering that rediscovering Algol could solve many of today’s Internet virus attacks and common programming errors.
/presentations/Algol/en/smallimage/Mills.JPG)
-
Roy
Brian McKenna introduces Roy, a functional JavaScript variant implementing type inference, structural typing, sum types, meta-programming, whitespace-aware syntax, monads and pattern matching.
/presentations/Roy/en/smallimage/Brian.JPG)
-
Concrete Syntax Matters
Steven Kelly discusses designing languages for humans based on insight from cognitive and empirical research.
/presentations/Language-Design/en/smallimage/Steven.JPG)
-
Expressing Abstraction - Abstracting Expression
Ola Bini attempts to answer a few questions: Why are new languages still being created, Is it worth choosing languages strategically, and Does language actually matter?
/presentations/Language-Expressiveness/en/smallimage/Ola.JPG)
-
DSL Design - A Conceptual Framework for Building Good DSLs
Markus Völter discusses the abstractions that should be considered when creating a DSL, insisting on expressivity, semantics, modularity, and concrete syntax.
/presentations/DSL-Design/en/smallimage/Markus.JPG)
-
Declarative Programming: Towards a Language that Fundamentally Abstracts away from Time
Wim Bast introduces Declare, a new declarative, functional OO language, demoing some of its main features.
/presentations/Declare/en/smallimage/Wim.JPG)
-
Faith, Evolution, and Programming Languages
Philip Wadler discusses second-order quantification, from its inception in the symbolic logic of Frege through to the generic features introduced in Java 5, touching on aspects of faith and evolution.
/presentations/Faith-Evolution-Programming-Languages/en/smallimage/Philip.JPG)
-
It's More than Just the Language
Lúcio Ferrão talks about making the software appealing to the business by using a visual language and an integrated environment supporting the entire life cycle of application development.
/presentations/It-s-More-than-Just-the-Language/en/smallimage/Lucio.JPG)
-
The Kotlin Programming Language
Andrey Breslav introduces the upcoming Kotlin language created by JetBrains, a general purpose JVM-based language, statically typed, object-oriented, and meant to be more concise than Java.
/presentations/The-Kotlin-Programming-Language/en/smallimage/Bresalv.JPG)
-
Easy as Pie? - Teaching Code Literacy
Sarah Allen talks on how to introduce children to the basics of programming, presenting a new related language called “Pie” along with lessons learned from creating a DSL in Ruby.
/presentations/Easy-as-Pie-Teaching-Code-Literacy/en/smallimage/Sarah.JPG)