BT
Older Newer rss
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.

27:15

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.

53:59

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.

01:01:46

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.

24:40

Dependent Types for JavaScript

Posted by Ravi Chugh  on  Mar 20, 2013

Ravi Chugh introduces Dependent JavaScript (DJS), a statically-typed system for the imperative, object-oriented, dynamic language.

14:04

The Bandicoot Language: Code Reuse for the Relational Model

Posted by Ostap Cherkashin, Julius Chrobak  on  Mar 11, 2013

Ostap Cherkashin and Julius Chrobak present writing readable and extendable rich data manipulation code with Bandicoot.

36:00

The Reemergence of Datalog

Posted by Michael Fogus  on  Feb 26, 2013

Michael Fogus overviews Datalog and provides examples of how it is implemented and used in Datomic, Cascalog, and the Bacwn Clojure library.

32:02

Grace: An Open-source Educational OO Language

Posted by Michael Homer  on  Feb 25, 2013

Michael Homer introduces Grace, an educational OO language used to teach programming to students.

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