guile-goblins-hoot

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.