x Take the InfoQ Survey !
Older Newer rss

Axiomatic Language

Posted by Walter Wilson  on  Jan 30, 2014 2

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

Posted by Andreas Rumpf  on  Jan 15, 2014

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

Posted by Daira Hopwood  on  Jan 02, 2014

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.


Deconstructing Functional Programming

Posted by Gilad Bracha  on  Dec 19, 2013 16

Gilad Bracha explains how to distinguish FP hype from reality and to apply key ideas of FP in non-FP languages, separating the good parts of FP from its unnecessary cultural baggage.


Babel: An Untyped, Stack-based HLL

Posted by Clayton Bauman  on  Dec 17, 2013

Clayton Bauman introduces Babel, an open source language implemented in C, targeted for cloud computing. Other features: interpreted, untyped stack-based, postfix, supports arrays, lists and hashes.


Scala vs Idris: Dependent Types, Now and in the Future

Posted by Miles Sabin;Edwin Brady  on  Dec 04, 2013

Miles Sabin and Edwin Brady exemplify what can be done with a language with dependent types, what are the limitations and what could be done in the future when dependent types reach maturity.


Reasonable Code with F#

Posted by Mike Falanga  on  Nov 23, 2013 1

Mike Falanga shows several C# and F# solutions to common programming problems, comparing how well each language enhances the ability to draw accurate conclusions about the code.


Gershwin: Stack-based, Concatenative Clojure

Posted by Daniel Gregoire  on  Nov 21, 2013

Daniel Gregoire introduces Gershwin, a stack-based, concatenative programming language with a Clojure runtime that targets the JVM.


C++14 Early Thoughts

Posted by Bjarne Stroustrup  on  Oct 10, 2013

Bjarne Stroustrup discusses features that might appear in C++14: braces for copy initialization, return type deduction in functions, generic (polymorphic) lambdas, user-defined literals, etc.


Protocols, Functors and Type Classes

Posted by Creighton Kirkendall  on  Sep 16, 2013 5

Creighton Kirkendall discusses how polymorphism is implemented in Clojure, Ocaml, Haskell and Scala.


Racket: Metaprogramming Time!

Posted by Matthew Flatt  on  Sep 07, 2013 1

Matthew Flatt introduces Racket, an extensible programming language useful to create new syntactic forms and construct entirely new programming languages.


Go at Google

Posted by Rob Pike  on  Apr 13, 2013

Rob Pike explains how Google designed Go to address major development issues they encounter while using other languages: long build times, poor dependency management, lack of robustness, etc.

General Feedback
Marketing and all content copyright © 2006-2015 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy