InfoQ Homepage Language Design Content on InfoQ
-
Finding a Way Out
Chris Granger attempts to imagine what programming would look like if it was created today.
/presentations/reimagining-software/en/mediumimage/Chrisbig.jpg)
-
The J Programming Language
Tracy Harms introduces the J Language and the patterns of thinking that make it possible.
/presentations/j-language/en/mediumimage/Tracybig.jpg)
-
Qbrt Bytecode: Interface Between Code and Execution
Qbrt aspires to allow language designers to focus on the human interface of programming languages by abstracting the implementation of complex runtime features behind a clean,simple bytecode interface
/presentations/qbrt-bytecode/en/mediumimage/Matbig.JPG)
-
Daimio: a Language for Sharing
Dann Toliver introduces Daimio, a new language for sharing functionality in safe and friendly ways, exploring its internals and how to work with and extend it.
/presentations/daimio/en/mediumimage/Danbig.jpg)
-
Onward! — Does Thought Crime Pay?
Gilad Bracha ponders how Lisp, Simula, Actors, Beta, Smalltalk and Self give us C++, Java, Javascript, Perl, Python and PHP, speculating what new wonders await programmers down the road.
/presentations/past-present-future-programming/en/mediumimage/Giladbig.jpg)
-
Dao Programming Language for Scripting and Computing
Limin Fu introduces Dao, a lightweight and optionally typed programming language having a LLVM-based JIT compiler optimized for numeric computation, and a Clang-based tool generating C/C++ bindings.
/presentations/dao-scripting/en/mediumimage/Fubig.jpg)
-
PHP, Seriously!
Keith Adams examines the strengths that made PHP a dominant language in its niche, highlighting Facebook's attempts at remedying its inconsistencies and misfeatures while maintaining its strengths.
/presentations/php-facebook/en/mediumimage/Keithbig.jpg)
-
Dart for the Language Enthusiast
Bob Nystrom attempts to demonstrate that Dart is not boring, covering laziness, higher-order functions, asynchronicity, abstractions and others.
/presentations/dart-introduction/en/mediumimage/Bobbig.jpg)
-
Dancing with Symmetry to Harness the Power of Complexity: Subjective Programming in Context
The authors introduce a new language paradigm meant to enhance OOP with multi-dimensional context, providing details on context-based dispatch, and showing a glimpse of their early prototype.
/presentations/oop-language-context/en/mediumimage/12big.jpg)
-
Civilizing Web Programming with Dart
Gilad Bracha presents the motivation behind building Dart, the current state of the Dart platform and where it is heading to.
/presentations/dart-motivation-future/en/mediumimage/Giladbig.jpg)
-
Axiomatic Language
Axiomatic language is based on the idea that the external behavior of a program can be defined by an infinite set of symbolic expressions that enumerate all possible inputs, along with the outputs.
/presentations/axiomatic-language/en/mediumimage/Walbig.jpg)
-
Nimrod: A New Approach to Metaprogramming
Nimrod is a statically typed programming language that tries to give the programmer ultimate power without compromises on runtime efficiency.
/presentations/nimrod/en/mediumimage/Andreasbig.jpg)