Lambda The Ultimate - Programming Languages Weblog
Go to: Lambda The Ultimate - Programming Languages Weblog
3 shares
HOPL-III: A History of Erlang
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on May 12, 2008
A History of Erlang and the accompanying Presentation Slides by Joe Armstrong are a must read for anyone interested in PL history. Erlang was designed for writing concurrent programs that "run forever". Erlang uses concurrent processes to structure the program. These processes have no shared memory and communicate by asynchronous message passing. Erlang processes are lightweight and belong to the...
Shared by: psvensson, mario r, Hari,
[ Back to top]
1 shares
Arc is released
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on January 29, 2008
Make of it what you will, but Arc is now officially released.This part of Graham's announcement is a gem:I worry about releasing it, because I don't want there to be forces pushing the language to stop changing. Once you release something and people start to build stuff on top of it, you start to feel you shouldn't change things. So we're giving notice in advance that we're...
Shared by: Robert,
[ Back to top]
1 shares
Kermeta Programming Language
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on February 02, 2008
In my recent adventures researching modeling languages I came across a language not previously mentioned on Lambda-the-Ultimate.org called Kermeta. From the reference manual: Kermeta is a Domain Specific Language dedicated to metamodel engineering. It fills the gap let by MOF which defines only the structure of meta-models, by adding a way to specify static semantic (similar to OCL) and dynamic...
Shared by: madMilo,
[ Back to top]
1 shares
Jumbala : An Action Language for UML State Machines
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on February 04, 2008
Jumbala : An Action Language for UML State Machines, Juro Dubrovin, Master's Thesis. UML 2.0 is a language for modeling complex software systems. A UML model may describe the dynamic aspects of software as well as the static structure. We concentrate on models of reactive systems, such as embedded controllers or telecommunications switches. The behavior of such systems is modeled using UML...
Shared by: madMilo,
[ Back to top]
1 shares
WaveScript
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on January 24, 2008
WaveScope is a system for developing distributed, high-rate applications that need to process streams of data from various sources (e.g., sensors) using a combination of signal processing and database (event stream processing) operations. The execution environment for these applications ranges from embedded sensor nodes to multicore/multiprocessor servers.WaveScript is the programming language...
Shared by: dH,
[ Back to top]
1 shares
When Is A Functional Program Not A Functional Program?
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on February 18, 2008
When Is A Functional Program Not A Functional Program?, John Longley. ICFP 1999.In an impure functional language, there are programs whose behavior is completely functional (in that they behave extensionally on inputs) but the functions they compute cannot be written in the purely functional fragment of the language. That is, the class of programs with functional behavior is more expressive than...
Shared by: Hari,
[ Back to top]
1 shares
History of Lambda-Calculus and Combinatory logic
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on February 18, 2008
F. Cardone and J. R. Hindley. History of Lambda-Calculus and Combinatory logic. To appear as a chapter in Volume 5 of the Handbook of the History of Logic.From the introduction:Seen in outline, the history of LC and CL splits into three main periods: first, several years of intensive and very fruitful study in the 1920s and ’30s; next, a middle period of nearly 30 years of relative quiet; then...
Shared by: Hari,
[ Back to top]
1 shares
Gilad Bracha: Cutting out Static
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on February 18, 2008
Nothing terribly exciting or newsworthy, but I suspect that many readers will find something to love in this blog post from Gilad Bracha. He starts by asking, "Why is static state so bad, you ask?" and goes from there...Given all these downsides, surely there must be some significant upside, something to trade off against the host of evils mentioned above? Well, not really. It’s just a mistake,...
Shared by: Hari,
[ Back to top]
1 shares
Foundations for Structured Programming with GADTs
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on February 23, 2008
Foundations for Structured Programming with GADTs, Patricia Johann and Neil Ghani. POPL 2008. GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In this paper we solve this problem by showing that the standard theory of datatypes as carriers of initial algebras of functors...
Shared by: madMilo,
[ Back to top]
1 shares
Programmers At Work
via Lambda the Ultimate - Programming Languages Weblog by (author unknown) on February 28, 2008
... of new folks to feature, done inquiries, thought about going back to talk to the guys in the original edition, and other variations . Now with this web site, I will make the original interviews available online, and perhaps it will become the seed for a more “thoroughly modern” approach to the PAW series. What I’m hoping we can kindle on this site is an ongoing exploration and dynamic...
Shared by: Hari,
[ Back to top]