Seamless Notes

Seamless Notes

Notes on building a typed, Wasm-first language substrate for the web.

import Std.Host.IO (println)

def main() {
  println("Hello, world!")
}

Latest notes

All notes
  1. Keep the happy path flat

    Validate inputs and propagate errors without nesting the successful path.

  2. The Host Is an Explicit Boundary

    How Seamless turns host interop into typed contracts instead of leaking Wasm ABI details into application code.

  3. Macros Without Magic

    How a familiar surface syntax and a small, regular core let user-defined abstractions feel like part of the language.

  4. Why Mutation Should Stay Local

    Keeping mutation useful without letting it leak through the language.

  5. Don't let it crash

    Checked failure, capability-gated primitives, and why ordinary Seamless code should not crash.