The Curious Engineer

All blogs / Functional / PL theory

Lambda the Ultimate

lambda-the-ultimate.org

Programming languages news, articles and discussion

Functional / PL theoryCompilersOther languagesEngineering blogs

’00’05’10’15’20’25
Posts
2,742 from 28 Jul 2000 to 24 May 2026
Posting
monthly (7 in the last year)
Kind
community
Feed
http://lambda-the-ultimate.org/rss.xml

Latest

May 2026

  1. Signatures involving multimethods in the programming language Theme-D

April 2026

  1. Frequent Server Error 502

March 2026

  1. Lambda the Ultimate Object
  2. Lambda the Ultimate Object
  3. Lambda the Ultimate Object
  4. Lambda the Ultimate Object

March 2023

  1. Platonic C# - Managing Referential Transparency through Unique Types
  2. cdiggins
  3. first page

December 2022

  1. Computer History Museum releases PostScript source
  2. Matt Hellige
  3. The Verse Calculus: a Core Calculus for Functional Logic Programming

August 2022

  1. LtU is now running in a new, more stable environment
  2. Anton van Straaten

February 2022

  1. Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes
  2. Charles Stewart

October 2021

  1. Latent Effects for Reusable Language Components
  2. naasking

June 2021

  1. Introducing PathQuery, Google's Graph Query Language
  2. User

April 2021

  1. Google announces Logica: organizing your data queries, making them universally reusable and fun
  2. Coq will be renamed
  3. Ohad Kammar

January 2021

  1. LAMBDA: The ultimate Excel worksheet function
  2. bashyal
  3. Google Brain's Jax and Flax
  4. next page

September 2020

  1. Built to Last
  2. Ehud Lamm
  3. Tackling the Awkward Squad for Reactive Programming
  4. User

July 2020

  1. The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy
  2. Manuel J. Simoni

April 2020

  1. Applications of Blockchain to Programming Language Theory

February 2020

  1. Turnstile+: Dependent Type Systems as Macros

September 2019

  1. spdegabrielle
  2. Histogram: You have to know the past to understand the present by Tomas Petricek

August 2019

  1. Applied Category Theory - The Emerging Science of Compositionality

June 2019

  1. Tensor Considered Harmful

April 2019

  1. Andris Birkmanis
  2. Seven Sketches in Compositionality: An Invitation to Applied Category Theory

March 2019

  1. next page
  2. "Three Things I Wish I Knew When I Started Designing Languages"
  3. Selective Functors

September 2018

  1. The Little Typer
  2. On compositionality

August 2018

  1. History of Lisp

July 2018

  1. Notes on notation and thought
  2. Safe Dynamic Memory Management in Ada and SPARK
  3. ICFP Programming Contest 2018
  4. Transfer of pywer
  5. Captcha
  6. next page
  7. Allan McInnes
  8. "C Is Not a Low-level Language"

May 2018

  1. The Gentle Art of Levitation
  2. Comprehending Ringads

April 2018

  1. Sequent Calculus as a Compiler Intermediate Language

March 2018

  1. How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules
  2. Why Is SQLite Coded In C
  3. Resource Polymorphism
  4. The Left Hand of Equals

February 2018

  1. Site migration

January 2018

  1. Compiling a Subset of APL Into a Typed Intermediate Language

December 2017

  1. next page
  2. People of Programming Languages Interviews
  3. Exploiting Vector Instructions with Generalized Stream Fusion

November 2017

  1. How efficient is partial sharing?

October 2017

  1. Is Haskell the right language for teaching functional programming principles?
  2. "8th" - a gentle introduction to a modern Forth

September 2017

  1. Rys McCusker
  2. Project Loom: adding fibers and continuations to Java
  3. Copattern matching and first-class observations in OCaml, with a macro
  4. Greg Buchholz
  5. Non-determinism: a sublanguage rather than a monad
  6. A unified approach to solving seven programming problems
  7. ICFP 2017 live streaming

August 2017

  1. next page
  2. Proceedings of the ACM on Programming Languages
  3. Graydon Hoare: What next for compiled languages?
  4. Review of Graham Hutton's Programming in Haskell, 2e

July 2017

  1. Happy Birthday, dear Lambda: 17 is good edition
  2. Implementing Algebraic Effects in C
  3. Project Snowflake: Non-blocking safe manual memory management in .NET
  4. The Syntax and Semantics of Quantitative Type Theory
  5. User
  6. hobbes, Morgan Stanley OSS
  7. Node
  8. RustBelt: Securing the Foundations of the Rust Programming Language
  9. next page
  10. Undefined Behavior in 2017
  11. YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters
  12. The APL Idiom List

June 2017

  1. Co-hygiene and quantum gravity
  2. Jean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89

May 2017

  1. User
  2. Databases from finite categories
  3. Imperative Functional Programs that Explain their Work

April 2017

  1. Type Systems as Macros
  2. another thread discussing fexprs and compilation
  3. Idris 1.0 Released

March 2017

  1. kdb+ 3.5 released last month
  2. next page
  3. Prolog vs mini-Kanren

January 2017

  1. The complexity of abstract machines

December 2016

  1. Stroustrup's Rule and Layering Over Time
  2. Do Be Do Be Do
  3. Contextual isomorphisms

November 2016

  1. Joe Armstrong Interviews Alan Kay
  2. discussion)
  3. Salon des Refusés -- Dialectics for new computer science
  4. Proving Programs Correct Using Plain Old Java Types

September 2016

  1. Automating Ad hoc Data Representation Transformations
  2. next page
  3. Roly Perera
  4. NOOL 2016

August 2016

  1. PowerShell is open sourced and is available on Linux
  2. Philip Wadler: Category Theory for the Working Hacker

July 2016

  1. Fully Abstract Compilation via Universal Embedding
  2. Node

June 2016

  1. Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong)
  2. Set-Theoretic Types for Polymorphic Variants
  3. How to Build Static Checking Systems Using Orders of Magnitude Less Code

May 2016

  1. No value restriction is needed for algebraic effects and handlers
  2. A Farewell to FRP in Elm

April 2016

  1. next page
  2. Simon Peyton Jones elected into the Royal Society Fellowship
  3. Bryan Turner
  4. Chez Scheme now open-source
  5. Remora: An Array-Oriented Language with Static Rank Polymorphism
  6. Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance

March 2016

  1. Usability of Programming Languages SIG at CHI'2016
  2. C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths”

February 2016

  1. Temporal Higher Order Contracts
  2. Sean McDirmid
  3. Programmatic and Direct Manipulation, Together at Last

January 2016

  1. Coordinated concurrent programming in Syndicate
  2. Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities

December 2015

  1. next page
  2. Progress on Gradual Typing

November 2015

  1. Static vs. Dynamic Languages: A Literature Review
  2. BWK on "How to succeed in language design without really trying"
  3. Compilers as Assistants
  4. Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega

October 2015

  1. Blaisorblade
  2. On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters"
  3. GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness
  4. Optimizing Closures in O(0) time

September 2015

  1. Dependent Types for Low-Level Programming
  2. Xavier Leroy will receive the Royal Society's 2016 Milner Award

Every year

2026 62023 32022 72021 112020 82019 92018 202017 412016 332015 262014 62012 32010 102009 12008 22006 32005 12004 3172003 6202002 7622001 6042000 181

Undated 68

  1. (new topic)
  2. Eric Lippert's Sharp Regrets
  3. STABILIZER : Statistically Sound Performance Evaluation
  4. State of the Haskell ecosystem - August 2015
  5. next page
  6. Using Commutative Assessments to Compare Conceptual Understanding in Blocks-based and Text-based Programs
  7. ACM Classic Books Series
  8. Ceptre: A Language for Modeling Generative Interactive Systems.
  9. Running Probabilistic Programs Backwards
  10. mbeddr: an Extensible C-based Programming Language and IDE for Embedded Systems
  11. Tracking the Flow of Ideas through the Programming Languages Literature
  12. Punctuated equilibrium in the large scale evolution of programming languages
  13. Cakes, Custard, and Category Theory
  14. Don Syme receives a medal for F#
  15. come up
  16. in the past
  17. Barry Jay's SF-calculus
  18. next page
  19. Facebook open sources "Infer", static program analysis tool
  20. Second-order logic explained in plain English
  21. The evolution of Rust
  22. Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions
  23. Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development
  24. Eve: the development diary of a programming environment aimed at non-programmers
  25. FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice
  26. Pycket: A Tracing JIT For a Functional Language
  27. The Unison Programming Platform
  28. mentioned in a comment a few weeks ago
  29. BER MetaOCaml -- an OCaml dialect for multi-stage programming
  30. next page
  31. Generating compiler back ends at the snap of a finger
  32. Paul Hudak
  33. Everything old is new again: Quoted Domain Specific Languages
  34. here by Blaisorblade
  35. Node
  36. A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation
  37. John C Reynolds Doctoral Dissertation Award nominations for 2014
  38. Facebook releases "Flow", a statically typed JavaScript variant
  39. Why do we need modules at all?
  40. Conservation laws for free!
  41. Bob Atkey
  42. next page
  43. Seemingly impossible programs
  44. EATCS Award 2014: Gordon Plotkin
  45. Domain settings
  46. sml-family.org
  47. Inferring algebraic effects
  48. appearances
  49. LtU's new server
  50. Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures
  51. a question I asked a couple of years ago
  52. Inside the Wolfram Language
  53. What's in store for the most widely used language by discerning hackers?
  54. next page
  55. Getting Started
  56. Create new account
  57. Request new password
  58. Effects
  59. Term
  60. Functional
  61. Term
  62. Off-topic comment
  63. Signatures involving multimethods in the programming language Theme-D
  64. Lambda the Ultimate Object
  65. Frequent Server Error 502
  66. Lambda the Ultimate Object
  67. Lambda the Ultimate Object
  68. Lambda the Ultimate Object