From f65c8e9b0ac5180e43ed2747441e4bcfa59fd89f Mon Sep 17 00:00:00 2001 From: David Thompson Date: Sun, 29 Dec 2013 18:45:02 -0500 Subject: Allow signals to be redefined at the REPL and "just work." --- 2d/signals.scm | 155 ++++++++++++++++++++++++++++++++------------------------- 2d/time.scm | 8 +-- 2 files changed, 91 insertions(+), 72 deletions(-) diff --git a/2d/signals.scm b/2d/signals.scm index 3d3a92a..aabc1c6 100644 --- a/2d/signals.scm +++ b/2d/signals.scm @@ -59,20 +59,19 @@ ;; programming. State mutation is hidden away and a functional, ;; declarative interface is exposed. (define-record-type - (%make-signal value receiver inputs outputs) + (%make-signal value proc inputs outputs) signal? (value signal-ref %signal-set!) - (receiver signal-receiver) - (inputs signal-inputs %set-signal-inputs!) - (outputs signal-outputs %set-signal-outputs!)) + (proc signal-proc) + (inputs signal-inputs set-signal-inputs!) + (outputs signal-outputs set-signal-outputs!)) -(define (make-signal init receiver input . inputs) - "Create a new signal with initial value INIT, a procedure RECEIVER +(define (make-signal init proc inputs) + "Create a new signal with initial value INIT, a procedure PROC to transform incoming signal values and one or more signals to connect to." - (let ((signal (%make-signal init receiver '() '()))) - (for-each (cut signal-connect! <> signal) - (cons input inputs)) + (let ((signal (%make-signal init proc inputs '()))) + (for-each (cut signal-connect! <> signal) inputs) signal)) (define (make-root-signal init) @@ -82,7 +81,7 @@ to." (define (root-signal? signal) "Returns true if a signal has no receiver procedure or false otherwise." - (not (signal-receiver signal))) + (not (signal-proc signal))) (define (signal-ref-maybe object) "Retrieves the signal value from OBJECT if it is a signal and or @@ -92,100 +91,113 @@ simply returns OBJECT otherwise." object)) (define (signal-connect! signal-in signal-out) - "Attach SIGNAL-OUT to SIGNAL-IN. When the value of SIGNAL-IN changes, the -value will be propagated to SIGNAL-OUT." + "Attach SIGNAL-OUT to SIGNAL-IN. When the value of SIGNAL-IN +changes, the value will be propagated to SIGNAL-OUT." (if (root-signal? signal-out) (error 'root-signal-error "Cannot connect to a root signal" signal-out) - (let ((inputs (signal-inputs signal-out)) - (outputs (signal-outputs signal-in))) - (%set-signal-inputs! signal-out (cons signal-in inputs)) - (%set-signal-outputs! signal-in (cons signal-out outputs))))) + (let ((outputs (signal-outputs signal-in))) + (set-signal-outputs! signal-in (cons signal-out outputs))))) (define (signal-disconnect! signal-in signal-out) "Detach SIGNAL-OUT from SIGNAL-IN." (let ((inputs (signal-inputs signal-out)) (outputs (signal-outputs signal-in))) - (%set-signal-inputs! signal-out (delete signal-in inputs eq?)) - (%set-signal-outputs! signal-in (delete signal-out outputs eq?)))) + (set-signal-inputs! signal-out (delete signal-in inputs eq?)) + (set-signal-outputs! signal-in (delete signal-out outputs eq?)) + ;; Disconnect all inputs when the input signal has no remaining + ;; outputs in order to prevent memory leaks and unnecessary + ;; computation. + (when (null? (signal-outputs signal-in)) + (signal-clear-inputs! signal-in)))) (define (signal-clear-outputs! signal) "Disconnect all output signals from SIGNAL." (for-each (cut signal-disconnect! signal <>) - (signal-outputs signal))) + (signal-outputs signal)) + (set-signal-outputs! signal '())) (define (signal-clear-inputs! signal) "Disconnect all inputs signals from SIGNAL." (for-each (cut signal-disconnect! <> signal) - (signal-inputs signal))) + (signal-inputs signal)) + (set-signal-inputs! signal '())) -(define (signal-receive to from) - "Evaluate the receiver procedure for the signal TO with the signal -FROM." - ((signal-receiver to) to from)) +(define (signal-update! signal from) + "Re-evaluate the signal procedure for the signal SIGNAL as ordered +by the signal FROM." + ((signal-proc signal) signal from)) -(define (signal-propagate signal) - "Notify all connected signals about the current value of SIGNAL." - (for-each (cut signal-receive <> signal) +(define (signal-propagate! signal) + "Notify all output signals about the current value of SIGNAL." + (for-each (cut signal-update! <> signal) (signal-outputs signal))) (define (signal-set! signal value) "Change the current value of SIGNAL to VALUE and propagate SIGNAL to all connected signals." (%signal-set! signal value) - (signal-propagate signal)) + (signal-propagate! signal)) + +(define (splice-signals! old new) + "Remove the inputs and outputs from the signal OLD, connect the +outputs to the signal NEW, and return NEW." + (when (signal? old) + (let ((outputs (signal-outputs old))) + (signal-clear-inputs! old) + (signal-clear-outputs! old) + (for-each (cut signal-connect! new <>) outputs)) + (signal-propagate! new)) + new) + +(define-syntax define-signal + (lambda (x) + (syntax-case x () + ;; Splice in new signal if a signal with this name already + ;; exists. + ((_ name (signal ...)) + (defined? (syntax->datum #'name)) + #'(define name (splice-signals! name (signal ...)))) + ((_ name (signal ...)) + #'(define name (signal ...)))))) ;;; ;;; Higher Order Signals ;;; -(define (signal-merge . signals) +(define (signal-merge signal1 signal2 . rest) "Create a new signal whose value is the that of the most recently changed signal in SIGNALs. The initial value is that of the first signal in SIGNALS." - (apply make-signal - (signal-ref (car signals)) - (lambda (merger from) - (signal-set! merger (signal-ref from))) - signals)) + (let ((signals (append (list signal1 signal2) rest))) + (make-signal (signal-ref (car signals)) + (lambda (self from) + (signal-set! self (signal-ref from))) + signals))) (define (signal-combine . signals) "Create a new signal whose value is a list of the values stored in -the list SIGNALS." - (define (update) +the given signals." + (define (update signals) (map signal-ref signals)) - (apply make-signal - (update) - (lambda (combiner from) - (signal-set! combiner (update))) - signals)) - -(define (signal-do proc signal) - "Create a new signal that applies PROC when a new values is received -from SIGNAL. The value of the new signal will always be the value of -SIGNAL. This signal is a convenient way to sneak a procedure that has -a side-effect into a signal chain." - (make-signal (signal-ref signal) - (lambda (do-signal from) - (let ((value (signal-ref signal))) - (proc value) - value)) - signal)) + (make-signal (update signals) + (lambda (self from) + (signal-set! self (update (signal-inputs self)))) + signals)) (define (signal-map proc signal . signals) "Create a new signal that applies PROC to the values stored in one or more SIGNALS." - (define (update) - (apply proc (map signal-ref (cons signal signals)))) + (define (update signals) + (apply proc (map signal-ref signals))) - (apply make-signal - (update) - (lambda (map-signal from) - (signal-set! map-signal (update))) - signal - signals)) + (let ((signals (cons signal signals))) + (make-signal (update signals) + (lambda (self from) + (signal-set! self (update (signal-inputs self)))) + signals))) (define (signal-fold proc init signal) "Create a new signal that applies PROC to the values stored in @@ -193,11 +205,11 @@ SIGNAL. PROC is applied with the current value of SIGNAL and the previously computed value, or INIT for the first call." (make-signal init (let ((previous init)) - (lambda (fold-signal from) + (lambda (self from) (let ((value (proc (signal-ref from) previous))) (set! previous value) - (signal-set! fold-signal value)))) - signal)) + (signal-set! self value)))) + (list signal))) (define (signal-filter predicate default signal) "Create a new signal that keeps an incoming value from SIGNAL when @@ -206,10 +218,10 @@ DEFAULT when the predicate is never satisfied." (make-signal (if (predicate (signal-ref signal)) (signal-ref signal) default) - (lambda (filter from) - (when (predicate (signal-ref from)) - (signal-set! filter (signal-ref from)))) - signal)) + (lambda (self signal) + (when (predicate (signal-ref signal)) + (signal-set! self (signal-ref signal)))) + (list signal))) (define (signal-reject predicate default signal) "Create a new signal that does not keep an incoming value from @@ -226,3 +238,10 @@ what the value received from SIGNAL." "Create a new signal that increments a counter every time a new value from SIGNAL is received." (signal-fold + 0 (signal-constant 1 signal))) + +(define (signal-do proc signal) + "Create a new signal that applies PROC when a new values is received +from SIGNAL. The value of the new signal will always be the value of +SIGNAL. This signal is a convenient way to sneak a procedure that has +a side-effect into a signal chain." + (signal-map (lambda (x) (proc x) x) signal)) diff --git a/2d/time.scm b/2d/time.scm index f853390..c9c9237 100644 --- a/2d/time.scm +++ b/2d/time.scm @@ -48,8 +48,8 @@ emitted." "Create a new signal that delays propagation of values received from SIGNAL by TICKS agenda updates." (make-signal (signal-ref signal) - (colambda (delay-signal from) - (let ((value (signal-ref signal))) + (colambda (self from) + (let ((value (signal-ref from))) (wait ticks) - (signal-set! delay-signal value))) - signal)) + (signal-set! self value))) + (list signal))) -- cgit v1.2.3