Guile Goblins Hoot Skill
Trit: +1 (PLUS - generative distributed computation)
Foundation: Goblins + Hoot WASM + ocaps
Core Concept
Goblins provides:
- Capability-secure actors
- Distributed vat model
- Promise pipelining
- Hoot compiles Scheme to WASM
Goblins Basics
(use-modules (goblins) (goblins actor-lib))
;; Define a counter actor
(define (^counter bcom [count 0])
(define (inc)
(bcom (^counter bcom (+ count 1))))
(define (get) count)
(methods
[inc inc]
[get get]))
;; Spawn and use
(define counter (spawn ^counter))
(<- counter 'inc)
(<- counter 'get) ; => 1
Hoot WASM
;; Compile to WebAssembly
(use-modules (hoot compile))
(compile-file "program.scm" #:output "program.wasm")
GF(3) Integration
(define (trit-from-capability cap)
(cond
[(verifier? cap) -1] ; MINUS: verification cap
[(observer? cap) 0] ; ERGODIC: observation cap
[(actor? cap) +1])) ; PLUS: action cap
Canonical Triads
geiser-chicken (-1) ⊗ sicp (0) ⊗ guile-goblins-hoot (+1) = 0 ✓
interaction-nets (-1) ⊗ chemical-abstract-machine (0) ⊗ guile-goblins-hoot (+1) = 0 ✓
REPL atlas
Part of: repl-commons. Family canonical: guile.
ACP atlas
Part of: acp-commons.