Blog Profile / Lambda the Ultimate

Filed Under:Technology / Programming
Posts on Regator:361
Posts / Week:0.8
Archived Since:August 9, 2009

Blog Post Archive

Why Is SQLite Coded In C

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

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

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

Site migration

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

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

People of Programming Languages Interviews

There is a growing set of fascinating interviews with PL folks at People of Programming Languages.

Exploiting Vector Instructions with Generalized Stream Fusion

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

How efficient is partial sharing?

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

Is Haskell the right language for teaching functional programming principles?

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.

"8th" - a gentle introduction to a modern Forth

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

Project Loom: adding fibers and continuations to Java

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

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

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 unified approach to solving seven programming problems

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

ICFP 2017 live streaming

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

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

Graydon Hoare: What next for compiled languages?

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

Review of Graham Hutton's Programming in Haskell, 2e

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".

Happy Birthday, dear Lambda: 17 is good edition

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

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

Copyright © 2015 Regator, LLC