ludic/examples/rejected/port_clock/index.ludic
Orkuncakilkaya b1ccaf08bd feat(lang): ports - port Clock { ... } in a module, bind Clock { ... } in the app
A port is a record of function values a module calls through
(Clock.now()) without naming the module that answers. A port used and
never bound, a bind missing a required member or naming one the port
lacks, and a second bind are refused; the binder must see the port, and
what it binds is checked from its own file. Reseed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-09-25 04:20:12 +03:00

6 lines
155 B
Text

# port_clock/index.ludic - a port that is not exported
module clock
port Clock { now: fn() -> int }
export function tell() -> int {
return Clock.now()
}