|Filed Under:||Technology / Programming|
|Posts on Regator:||361|
|Posts / Week:||0.8|
|Archived Since:||August 9, 2009|
We are nearing the day someone quips that C is an improvement on most of its successors (smirk). So reading this page from the SQLite website is instructive, as is reading the page on the tooling and coding practices that make this approach work. I think none of this is news, and these approaches have been on the books for quite a bit. Show More Summary
Resource Polymorphism, by Guillaume Munch-Maccagnoni: We present a resource-management model for ML-style programming languages, designed to be compatible with the OCaml philosophy and runtime model. This is a proposal to extend theShow More Summary
The Left Hand of Equals, by James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller: When is one object equal to another object? While object identity is fundamental to object-oriented systems, object equality, although tightly intertwined with identity, is harder to pin down. Show More Summary
This evening (Sunday, US Eastern time), Lambda the Ultimate will be migrated to new servers. The site will be offline for around 30 minutes, while this migration and some database maintenance is in progress. The new platform is a shiny...Show More Summary
Compiling a Subset of APL Into a Typed Intermediate Language by Martin Elsman, Martin Dybdal Traditionally, APL is an interpreted language ... In this paper, we present a compiler that compiles a subset of APL into a typed intermediate...Show More Summary
There is a growing set of fascinating interviews with PL folks at People of Programming Languages.
Exploiting Vector Instructions with Generalized Stream Fusion By Geoffrey Mainland, Roman Leshchinskiy, and Simon Peyton Jones. A.k.a. "Haskell beats C". Our ideas are implemented in modified versions of the GHC compiler and vector library. Show More Summary
Partial sharing graphs offer a reduction model for the lambda calculus that is optimal in a sense put forward by Jean Jacques Levy. This model has seen interest wax and wane: initially it was thought to offer the most efficient possible...Show More Summary
No! (As Simon Thompson explains.) You cannot not love the "exploration of the length function" at the bottom. Made me smile in the middle of running errands.
Found on the ARM community's embedded blog. It seems that Forth may be making a comeback. "8th" - a gentle introduction to a modern Forth 8th is a secure, cross-platform programming language based on Forth which lets you concentrate on your application’s logic instead of worrying about differences between platforms. Show More Summary
Just saw this on Hacker News -- Project Loom: Fibers and Continuations for the Java Virtual Machine with the following overview: Project Loom's mission is to make it easier to write, debug, profile and maintain concurrent applications meeting today's requirements. Show More Summary
Copattern matching and first-class observations in OCaml, with a macro, by Paul Laforgue and Yann Regis-Gianas: Infinite data structures are elegantly defined by means of copattern matching, a dual construction to pattern matching that expresses the outcomes of the observations of an infinite structure. Show More Summary
Non-determinism: a sublanguage rather than a monad A puzzlingly named, exceedingly technical device introduced to structure the denotational semantics has by now achieved cult status. It has been married to effects -- more than once....Show More Summary
A fun pearl by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might from ICFP: seven programming challenges solved (easily!) using a relational interpreter. One challenge, for example, is to find quines. Another is to find programs that produce different results with lexical vs. Show More Summary
If you are one of the few LtU-ers not presenting (just kidding...), you can get you functional programming fix by following the live stream from ICFP, starting tomorrow at 11:00 (UK). Want to know when to tune in? Check out the incredible program!
Proceedings of the ACM on Programming Languages (PACMPL) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies.Show More Summary
Since everybody is talking about this post,we might as well. Key topics discussed: modules(you know, real ones); errors ("there are serious abstraction leakages and design trade-offs in nearly every known approach"); Coroutines, async/await,...Show More Summary
A concise review by Simon Thompson of the second edition of Graham Hutton's Programming in Haskell. The first edition was published in 2007, but chapters were written earlier, and the review focuses on how the language has changed since then, embracing the "categorical / algebraic approach more fully".
Seventeen years ago to the day, LtU was born. I guess it's about time I stop opening these birthday messages by saying how remarkable this longevity is (this being the fate of Hollywood actresses over 25). Still, I cannot resist mentioning that 17 is "good" (???) in gematria, which after all is one of the oldest codes there are. Show More Summary
Implementing Algebraic Effects in C by Daan Leijen: We describe a full implementation of algebraic effects and handlers as a library in standard and portable C99, where effect operations can be used just like regular C functions. WeShow More Summary