User loginNavigation |
FunctionalFunctional GeometryFrank Buss commented on c.l.l. how he never really understood how to use higher order functions as combinators, until he read the article from Peter Henderson about Functional Geometry. He has written his own article about how he used these concepts and Common Lisp to re-create the famous recursive fish drawing by M.C. Escher. Nothing new for most readers, but it's fun anyway. Region Streams: Functional Macroprogramming for Sensor NetworksThis paper presents the design of a functional macroprogramming language for sensor networks, called Regiment. The essential data model in Regiment is based on region streams, which represent spatially distributed,time-varying collections of node state. A region stream might represent the set of sensor values across all nodes in an area or the aggregation of sensor values within that area. Regiment is a purely functional language, which gives the compiler considerable leeway in terms of realizing region stream operations across sensor nodes and exploiting redundancy within the network. The operations on region streams include fold and map. The language uses monads to represent time varying values. I know nothing about sensor networks (this paper is from DMSN 2004: the First Workshop on Data Management for Sensor Networks) so I can't judge how useful this project really is. Notice that Regiment isn't implemented yet. Only a highly restricted (dynamically typed) subset is. Implicit parallel functional programmingThis discussion over on the Haskell Mailing List might interest those readers following the debates on concurrency issues in the discussion group... By Ehud Lamm at 2005-01-24 13:19 | Functional | Parallel/Distributed | 8 comments | other blogs | 8931 reads
Non-determinism in functional languages
Non-determinism in functional languages. Sondergaard and Sestoft. The Computer Journal, Volume 35, Issue 5, pp. 514-523. 1992
The introduction of a non-deterministic operator in even an very simple functional programming language gives rise to a plethora of semantic questions. These questions are not only concerned with the choice operator itself. A surprisingly large number of different parameter passing mechanisms are made possible by the introduction of bounded non-determinism. The diversity of semantic possibilities is examined systematically...A very useful paper if you are interested in this sort of thing. Thinking of non-determinism helps calrify muddled thinking about properties such as referential transparency. The version I found online, alas, is a set of tiff image files, one for each page... By Ehud Lamm at 2005-01-11 17:58 | Functional | Theory | login or register to post comments | other blogs | 4972 reads
Implementation of FPLSimon Peyton Jones book on the Implementation of Functional Programming Languages, circa 1987, is available online.
via the Haskell mailing lists. I've seen lots of references to this work, as it was one of the seminal works in the development of the Haskell programming language. But I can't find where it was directly discussed on LtU before. By Chris Rathman at 2005-01-07 19:23 | Functional | Implementation | 5 comments | other blogs | 6954 reads
Composable memory transactions
Composable memory transactions.
Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Submitted to PPoPP 2005.
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is that even correctly-implemented concurrency abstractions cannot be composed together to form larger abstractions. In this paper we present a new concurrency model, based on transactional memory, that offers far richer composition. All the usual benefits of transactional memory are present (e.g. freedom from deadlock), but in addition we describe new modular forms of blocking and choice that have been inaccessible in earlier work. The work is in the context of Concurrent Haskell (of course). The authors work from the assumption that a purely functional (they use the term declarative) language is a perfect setting for transactional memory. The reason is that mutable state is rare and explicit. By Ehud Lamm at 2005-01-05 18:39 | Functional | Parallel/Distributed | 15 comments | other blogs | 16007 reads
Use Continuations to Develop Complex Web ApplicationsAn introductory article from IBM developerWorks on Cocoon, continuation-based (sometimes called "modal") web applications, and such. If you've ever developed a non-trivial Web application, you know that development complexity is increased by the fact that Web browsers allow users to follow arbitrary navigation paths through the application. No matter where the user navigates, the onus is on you, the developer, to keep track of the possible interactions and ensure that your application works correctly. While the traditional MVC approach does allow you to handle these cases, there are other options available to help resolve application complexity. Developer and frequent developerWorks contributor Abhijit Belapurkar walks you through a continuations-based alternative that could simplify your Web application development efforts. via comp.lang.scheme By Dave Herman at 2004-12-29 01:12 | Functional | Implementation | Parallel/Distributed | Software Engineering | 9 comments | other blogs | 9922 reads
Hume Programming LanguageStumbled across the Hume Programming Language while looking for some ML info. Hadn't seen it discussed on LtU before:
A bit too preliminary and research oriented for my tastes, but the main point of interest is the attempt to provide static guarantees of resource usage (time and memory). A binary version for Linux and Mac is available, but the source code is not available for other builds (written in GHC which I notice is now available for a number of target platforms since last i checked). An Algebraic Theory of Polymorphic Temporal Media
Paul Hudak, An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations,and video clips. In this paper we present a polymorphic data type that captures a broad range of temporal media. We study its syntactic, temporal, and semantic properties, leading to an algebraic theory of polymorphic temporal media that is valid for underlying media types that satisfy specific constraints. The key technical result is an axiomatic semantics for polymorphic temporal media that is shown to be both sound and complete. The theoretical incarnation of Haskore. Completeness is proved by establishing the existence of a normal form for polymorphic temporal media values.
By Ehud Lamm at 2004-12-08 10:29 | Functional | login or register to post comments | other blogs | 3264 reads
VHSThe main purpose of this project is to provide an extension of Microsoft Visual Studio .NET development environment with support for the Haskell functional programming language, improve user experience and productivity related to implementation tasks. Download and play, I say. |
Browse archivesActive forum topics |
Recent comments
3 days 18 hours ago
4 days 36 min ago
4 days 17 hours ago
4 days 23 hours ago
5 days 2 hours ago
5 days 7 hours ago
5 days 12 hours ago
5 days 13 hours ago
5 days 16 hours ago
5 days 18 hours ago