Notes on Seamless Notes

Macros Without Magic

Sun, 26 Jul 2026 14:30:00 +0200

The previous two design pillars of Seamless are crash-safety and immutability. Both are about reducing cognitive load, removing hidden order of execution and spooky action at a distance, and thus maximizing the ability to reason locally.

The next design pillar is extensibility.

Language extensibility is about being able to fit the language and program structure to the problem domain, instead of fitting the domain into a rigid set of structures and language abstractions. As Paul Graham argued, regularity in a program that does not follow the shape of the problem domain is probably a sign of a missing abstraction.

Why Mutation Should Stay Local

Fri, 17 Jul 2026 13:20:00 +0200

The previous post explored crash-safety and explicit failure as a main design pillar of Seamless.

The next pillar is immutability: ordinary application data should be immutable by default.

Shared mutable state makes code hard to reason about. If a value can be changed from somewhere else, every use of that value has to consider what else might have happened. That is exactly the kind of uncertainty I want ordinary Seamless code to avoid.

Don't let it crash

Thu, 09 Jul 2026 08:00:00 +0200

One of the primary design pillars of Seamless is crash-safety.

Ordinary Seamless code should never crash the program.

If an operation can fail in a recoverable way, the caller should be able to see that in the value it returns.

A common version of this is selecting an item from application data:

function selectedPlanName(plans, selectedId) {
 const matches = plansWithId(plans, selectedId);
 return matches[0].name;
}

Is it safe? Are we really sure that the matches will never be empty?

A small tour of Seamless

Thu, 02 Jul 2026 09:00:00 +0200

This is a short orientation to the language as it exists today.

It is not meant to be a complete tutorial. The syntax is still moving, names are still provisional, and some parts of the language are more mature than others. The goal here is only to make the examples in these notes easier to follow.

Values and primitive types

Seamless is statically typed, and the types are inferred. Values have types such as:

An apple pie from scratch

Wed, 01 Jul 2026 00:00:00 +0000

If you wish to make an apple pie from scratch, you must first invent the universe.

— Carl Sagan

That quote kept coming back to me because the deeper I pushed on the web-stack problem, the more the “reasonable” solution started to look like inventing the universe.

The component model always felt like the right direction for UI: local state, composition, data flowing into views, and interfaces described from application state instead of manually coordinated DOM updates.