BT
Older Newer rss
44:31

Dart for the Language Enthusiast

Posted by Bob Nystrom  on  Feb 12, 2014 4

Bob Nystrom attempts to demonstrate that Dart is not boring, covering laziness, higher-order functions, asynchronicity, abstractions and others.

58:45

Dancing with Symmetry to Harness the Power of Complexity: Subjective Programming in Context

Posted by David Ungar, Harold Ossher  on  Feb 02, 2014

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.

48:45

Civilizing Web Programming with Dart

Posted by Gilad Bracha  on  Feb 02, 2014

Gilad Bracha presents the motivation behind building Dart, the current state of the Dart platform and where it is heading to.

21:47

Axiomatic Language

Posted by Walter Wilson  on  Jan 30, 2014 2

Walter Wilson introduces Axiomatic, a minimal pure-specification logic language with meta-language capability 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, or sequences of inputs, along with the corresponding outputs. The language is just a formal system for defining these symbolic expressions

25:04

Nimrod: A New Approach to Metaprogramming

Posted by Andreas Rumpf  on  Jan 15, 2014

Andreas Rumpf introduces Nimrod, a statically typed programming language supporting unhygienic/hygienic and declarative/imperative AST-based macros. The talk focuses on metaprogramming capabilities.

44:19

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.

48:33

Deconstructing Functional Programming

Posted by Gilad Bracha  on  Dec 19, 2013 15

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.

33:58

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.

40:13

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.

57:53

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.

36:37

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.

01:35:18

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.

General Feedback
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT