## User login## Navigation |
## Dr. Kenneth Iverson Passes AwayKen Iverson, creator of APL and J, passed away this week. ## Ralf Hinze: An algebra of scans
Ralf Hinze. An algebra of scans. Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004).
In this paper we show that parallel prefix circuits enjoy a very pleasant algebra. Using only two basic building blocks and four combinators all standard designs can be described succinctly and rigorously. The rules of the algebra allow us to prove the circuits correct and to derive circuit designs in a systematic manner.
Parallel prefix computations, or
I wonder when we will be seeing courses called Ah right, just after all universities offer language design courses ;-) ## Whitespace
Durham students have fun again ;-) ## Playing the Minesweeper with Constraints (MOZ 2004)
Peter linked to the MOZ 2004 papers earlier.
This presentation by Raphael Collet provides a nice example of constraint programming, a paradigm we don't discuss often enough. ## Programming for non-programmers
A thread over on the PLT mailing list that LtU-ers may find interesting.
The thread isn't very technical, and the title may be a bit misleading: It's more about programming skills than about programming by non-programmers.
I wonder how many people outside the PL community would agree with the statement that
And by ## MOZ 2004 talks availableThe MOZ 2004 "Second International Conference on ## F#, a functional language for .NetFrom Microsoft Research:
## Rel: an open source implementation of Date & Darwen's Tutorial DMore from Slashdot, which today points to an article on Rel, Dave Voorhis' open source implementation of Tutorial D (see Chris Date and Hugh Darwen's The Third Manifesto for a discussion of the rationale behind this language). Voorhis explains his motives for creating the implementation in an article on the (currently somewhat sparse) Rel Wiki. Discussions of possible replacements of, or improvements on, SQL usually end up being all about the powerful institutional/human factors (or "network effects") that will impede acceptance of any new solution. Refreshingly, Voorhis is going ahead and building one anyway, without waiting for approval from the masses. It might catch on, or it might not; at least someone's giving it a go. ## Statistical programming with RThree part series on R that's of interest for domain specific PL development. First parts can be found at Part 1: Dabbling with a wealth of statistical facilities and A three-part series, ...introduces you to R, a rich statistical environment, released as free software. It includes a programming language, an interactive shell, and extensive graphing capability. What's more, R comes with a spectacular collection of functions for mathematical and statistical manipulations -- with still more capabilities available in optional packages... The (GPL'd) R programming language has two parents, the proprietary S/S-PLUS programming language, from which it gets most of its syntax, and the Scheme programming language, from which it gets many (more subtle) semantic aspects.R and S were touched on fairly briefly in the LtU discussion about Regression Analysis. A more detailed introduction can found be found at An Introduction to R. ## Croquet Project Releases Initial Developer Release(via Slashdot). The initial developer release of Croquet, the Smalltalk-based distributed computing environment, is now available. It's different enought that I don't really know what to make of it - is this the future? Or a testbed for ideas that will find more durable expression in another context? |
## Browse archives## Active forum topics- Viability of a static type system (like ML) for a relational language?
- Programming Languages as Mathematical Representations
- Looking for references on the expressiveness and computational completeness of a relational programming language
- language handling of memory and other resource failures
- Whither FRP?
## New forum topics |

## Recent comments

38 min 3 sec ago

4 hours 45 min ago

5 hours 35 min ago

6 hours 1 min ago

1 day 14 hours ago

1 day 15 hours ago

1 day 15 hours ago

1 day 16 hours ago

1 day 18 hours ago

2 days 2 hours ago