InfoQ Homepage Language Design Content on InfoQ
-
The J Programming Language
Tracy Harms introduces the J Language and the patterns of thinking that make it possible.
-
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
-
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.
-
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.
-
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.
-
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.
-
Dart for the Language Enthusiast
Bob Nystrom attempts to demonstrate that Dart is not boring, covering laziness, higher-order functions, asynchronicity, abstractions and others.
-
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.
-
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.
-
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.
-
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.
-
Noether: Symmetry in Programming Language Design
Daira Hopwood introduces Noether, an experimental language meant to write more secure, robust and efficient programs, being built on multiple layers satisfying different levels of symmetries.