@chrismichaelps / pudu-lang-mediator
In-process messaging for Pudu: requests, notifications, streams, pipeline behaviors, processors, and exception handling
0.1.0Apache-2.01
InstallClose
Use @chrismichaelps/pudu-lang-mediator
Install this release
From your project, run:
pudu install @chrismichaelps/pudu-lang-mediator@0.1.0An exact version can install a new release immediately. Without a version, pudu follows the 72-hour minimum release age for new resolutions.
pudu install @chrismichaelps/pudu-lang-mediatorThen import it
import PuduLangMediator as PuduLangMediatorTo contribute
git clone https://github.com/chrismichaelps/pudu-lang-mediator
pudu.md
Grammar — Pudu
type: grammar language: Pudu version: "0.1.3" tags: [grammar] aliases: [Grammar — Pudu, Pudu Grammar]
The Pudu surface this repository is written against, pinned to compiler 0.1.3 as published in its release archive. Where this page and the compiler disagree, the compiler wins and this page is corrected in the same change.
SDK Discovery Map
| Need | Module | Entry points |
|---|---|---|
| Threads | Std.Concurrent | start, join, contain, parallelBounded, sleep |
| Cancellation | Std.Concurrent.Cancel | token, child, childExpiring, cancel, stopped, check, pause, explain |
| Shared state | Std.Sync | mutex, withLock, cell, get, set, swap |
| Channels | Std.Channel | channel, send, receive, close |
| Hash lookup | Std.HashMap | empty, get, insert, remove, values, keys (insertion order) |
| Monotonic time | Std.Time | elapsed |
| Integer bounds | Std.Math | min, max |
| Options and results | Std.Option, Std.Result | unwrapOr, andThen |
| Tests | Std.Test | suite, equals, that, not, run, failuresOf, report |
Imports / Namespaces
- One module per file; the module name is the path under its source root with
/as.. - Every import is qualified and aliased. The package root is imported
as Messagingso theMediatoralias stays free forPuduLangMediator.Mediator. - Suites under
test/and programs underexamples/import package modules through the manifest's source root; dependencies resolve fromdeps/afterpudu install --locked.
Core Primitives
- Records, sum types, generic aliases of function types, and
Type{..base, field: value}updates. dynamic Traitholds any implementation; a trait member may be generic and is still callable through a dynamic value. Widening is implicit; there is no narrowing, no runtime type test, and no cast.- A value crosses an untyped boundary through [[src/PuduLangMediator/Utils/Erasure]]: a closure that writes into its slot's cell, read back only through that slot.
- A closure captures a copy of every binding it names; a
Sync.Cellcopied this way is still the same cell. State callbacks must observe lives in a cell, guarded by a mutex when a write depends on a read ([[src/PuduLangMediator/Utils/Shared]]). - Module scope holds only
const, folded at compile time; nothing that opens a runtime resource (a cell, a mutex, a slot) can be one.
Architectural Laws
- Dependency direction is inward: public modules use
Domain, which usesUtilsandConstants. - Failures are values: every handler and component answers an
Outcome. - Every module the package ships is
PuduLangMediatoror lives undersrc/PuduLangMediator/. - Only
Behaviors/imports another package.
Syntax Rules / Naming
- Types, traits, modules, and variants are
PascalCase; valuescamelCase; constantsUPPER_SNAKE_CASE. - Every file header and exported type carries the FMCF anchor, one line:
/** @Namespace.Entity.Role — intent */. - Every
fn, trait member, andconstcarries a///doc comment stating what it answers or holds. Rationale belongs in the mirrored page's Grill Log.
Prohibited Patterns (verified against the 0.1.3 compiler)
scope,module,where, andtaskare keywords and cannot name a binding or a field; the exception-action option isactionScope.- Two traits with a member of the same name implemented by one type are ambiguous where the value is widened to one of them; every open trait's member has its own name.
- A parameter named like a function of the same module shadows it (
W2001); kind parameters are namedsubject. - Two statements on one line are an error (
E1049); there is no statement separator. - A tuple is not an assignable place (
E3077); swap through a named binding. - A match arm that only rebuilds its failure is reported (
W3003); use?orResult.andThen. - A brace inside a string literal is interpolation; a literal brace is
\{or\}. Array.get(i)anditems[i]stop the program wheniis out of range; useList.first.
Senior Definition Needed
(none open)
Referenced by
[[00-INDEX]] · [[architecture/_MOC]] · [[src/PuduLangMediator]] · [[src/PuduLangMediator/Behaviors/Logging]] · [[src/PuduLangMediator/Behaviors/Resilient]] · [[src/PuduLangMediator/Behaviors/Validation]] · [[src/PuduLangMediator/Catalog]] · [[src/PuduLangMediator/Compose]] · [[src/PuduLangMediator/Constants/Messages]] · [[src/PuduLangMediator/Context]] · [[src/PuduLangMediator/Domain/Census]] · [[src/PuduLangMediator/Domain/Order]] · [[src/PuduLangMediator/Mediator]] · [[src/PuduLangMediator/Message]] · [[src/PuduLangMediator/Notification]] · [[src/PuduLangMediator/Open]] · [[src/PuduLangMediator/Publisher]] · [[src/PuduLangMediator/Publishing]] · [[src/PuduLangMediator/Reader]] · [[src/PuduLangMediator/Registration]] · [[src/PuduLangMediator/Request]] · [[src/PuduLangMediator/Sender]] · [[src/PuduLangMediator/Stream]] · [[src/PuduLangMediator/Utils/Erasure]] · [[src/PuduLangMediator/Utils/Shared]] · [[src/PuduLangMediator/Utils/Template]] · [[src/PuduLangMediator/Utils/Threads]] · [[tools/Mutate]]