The update plan of a system: every parameter's update, then every learner-state slot's update.
556def deriveUpdatePlan =
557 (lambda unrestricted system : (family SystemDefinition) .
558 (eliminate
559 SystemDefinition
560 (lambda unrestricted current : (family SystemDefinition) .
561 (family StdList (family UpdateStep)))
562 system
563 (branch
564 SystemDefinitionOf
565 name
566 parameters
567 learner
568 .
569 (stdListAppend
570 (family UpdateStep)
571 (stdListMap
572 (family ParameterSchema)
573 (family UpdateStep)
574 (lambda unrestricted parameter : (family ParameterSchema) .
575 (constructor UpdateStep UpdateParameter (parameterSchemaIdentityOf parameter)))
576 parameters)
577 (eliminate
578 LearnerStateSchema
579 (lambda unrestricted current : (family LearnerStateSchema) .
580 (family StdList (family UpdateStep)))
581 (deriveLearnerStateSchema learner parameters)
582 (branch
583 LearnerStateSchemaOf
584 slots
585 .
586 (stdListMap
587 (family LearnerStateSlot)
588 (family UpdateStep)
589 (lambda unrestricted slot : (family LearnerStateSlot) .
590 (constructor UpdateStep UpdateLearnerState slot))
591 slots)))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.