plt
42 stories and discussions about plt, aggregated from every source we track.
One of the eternal schisms in programming is over the question of whether the standard library should be minimal or encompassing. This is the wrong question to ask. The right one is:
Whenever someone asks what my least favorite part of Rust is, my answer is always the same: it doesn't have named or optional arguments. This article explores the ideas for adding them, both good and bad.
Lambda calculus is for wimps. Real programmers use combinatory logic.
News post: Introducing the Gleam language server!
It’s That Blog Post. The release one, where we round up all the last of the features approved since the last time I blogged. If you’re
As functional programmers we always face a dilemma: should we write purely functional code, or sacrifice purity for efficiency and resort to in-place updates? This paper identifies precisely when we can have the best…
<p>I would like to learn a new language during quarantine! I'm looking for something that will be a little different from just a new C-like imperative language.</p> <p>I've spent the last 4 years of my career writing Go. Languages I have messed around in in the past: Haskell, Rust, Java, Python.</p> <p>Requirements:</p> <ul> <li>Must be statically typed, or at least have a static analyzer (e.g. <a href="https://sorbet.org/" rel="ugc">Sorbet</a>).</li> <li>Some available documentation must be able to take a beginner through (e.g. <a href="http://learnyouahaskell.com/" rel="ugc">Learn You a Haskell</a>, <a href="https://doc.rust-lang.org/book/" rel="ugc">The Rust Book</a>).</li> <li>Must be able to run on Linux.</li> </ul> <p>I <em>really</em> wanted to get into <a href="http://unisonweb.org" rel="ugc">Unison</a> but that's still pre-alpha and very far from being usable for writing actual programs.</p>
'egg' is an open-source, high performance e-graph and equality saturation toolkit.
It’s an egraph that supports well-scoped alpha aware binders.
An homage to Aphyr's Typing the technical interview
A summary of the paper "Out of the Tar Pit"
20 years without operator overloading in Java.
Why inheritance is considered as a pillar of OOP when so many developers criticize it? We'll see where inheritance comes from and what problems it solves.
For years I used compfuck, my little Brainfuck-to-Carp compiler, to explain the shape of a Futamura projection, even though I knew it wasn’t quite…
Alert! Your state might already be infected! learn how and what todo about it in this article.
#raku-beginners: korvo: Hi! I’m trying out Raku in stead of META II for a toy compiler. (5 minutes later) korvo: I’m merely trying to compile a little expression language because my ang…
The Personal blog and musings of Chris Penner, a designer, developer and future opsimath.
The final part of my Life series is still in the works but I need to interrupt that series with some exciting news. The new programming language I have been working on for the last year or so has j…