feat: partially evaluate lambdas and segments

packages/safe-ds-lang/src/language/partialEvaluation/safe-ds-partial-evaluator.ts

@@ -19,15 +19,14 @@ import {
     isSdsParenthesizedExpression,
     isSdsPrefixOperation,
     isSdsReference,
+    isSdsSegment,
     isSdsString,
     isSdsTemplateString,
     isSdsTemplateStringEnd,
     isSdsTemplateStringInner,
     isSdsTemplateStringStart,
-    SdsBlockLambda,
     SdsCall,
     SdsExpression,
-    SdsExpressionLambda,
     SdsIndexedAccess,
     SdsInfixOperation,
     SdsList,
@@ -41,18 +40,21 @@ import { getArguments, getParameters } from '../helpers/nodeProperties.js';
 import { SafeDsNodeMapper } from '../helpers/safe-ds-node-mapper.js';
 import { SafeDsServices } from '../safe-ds-module.js';
 import {
+    BlockLambdaClosure,
     BooleanConstant,
     EvaluatedEnumVariant,
     EvaluatedList,
     EvaluatedMap,
     EvaluatedMapEntry,
     EvaluatedNode,
+    ExpressionLambdaClosure,
     FloatConstant,
     IntConstant,
     isConstant,
     NullConstant,
     NumberConstant,
     ParameterSubstitutions,
+    SegmentClosure,
     StringConstant,
     UnknownEvaluatedNode,
 } from './model.js';
@@ -100,6 +102,8 @@ export class SafeDsPartialEvaluator {
     ): EvaluatedNode {
         if (isSdsExpression(node)) {
             return this.evaluateExpression(node, substitutions);
+        } else if (isSdsSegment(node)) {
+            return new SegmentClosure(node);
         } else {
             return UnknownEvaluatedNode;
         }
@@ -124,9 +128,9 @@ export class SafeDsPartialEvaluator {
         } else if (isSdsTemplateStringEnd(node)) {
             return new StringConstant(node.value);
         } else if (isSdsBlockLambda(node)) {
-            return this.evaluateBlockLambda(node, substitutions);
+            return new BlockLambdaClosure(node, substitutions);
         } else if (isSdsExpressionLambda(node)) {
-            return this.evaluateExpressionLambda(node, substitutions);
+            return new ExpressionLambdaClosure(node, substitutions);
         }
 
         // Recursive cases
@@ -157,33 +161,6 @@ export class SafeDsPartialEvaluator {
         } /* c8 ignore stop */
     }
 
-    private evaluateBlockLambda(_node: SdsBlockLambda, _substitutions: ParameterSubstitutions): EvaluatedNode {
-        //     return when {
-        //     callableHasNoSideEffects(resultIfUnknown = true) -> SdsIntermediateBlockLambda(
-        //     parameters = parametersOrEmpty(),
-        //     results = blockLambdaResultsOrEmpty(),
-        //     substitutionsOnCreation = substitutions
-        // )
-        // else -> undefined
-        // }
-        return UnknownEvaluatedNode;
-    }
-
-    private evaluateExpressionLambda(
-        _node: SdsExpressionLambda,
-        _substitutions: ParameterSubstitutions,
-    ): EvaluatedNode {
-        //     return when {
-        //     callableHasNoSideEffects(resultIfUnknown = true) -> SdsIntermediateExpressionLambda(
-        //     parameters = parametersOrEmpty(),
-        //     result = result,
-        //     substitutionsOnCreation = substitutions
-        // )
-        // else -> undefined
-        // }
-        return UnknownEvaluatedNode;
-    }
-
     private evaluateInfixOperation(node: SdsInfixOperation, substitutions: ParameterSubstitutions): EvaluatedNode {
         // By design none of the operators are short-circuited
         const evaluatedLeft = this.evaluateWithSubstitutions(node.leftOperand, substitutions);
@@ -388,6 +365,7 @@ export class SafeDsPartialEvaluator {
             );
 
             // Override default values with the actual arguments
+            // TODO: If any argument has side effects, return UnknownEvaluatedNode
             getArguments(node).forEach((it) => {
                 const parameter = this.nodeMapper.argumentToParameter(it);
                 if (parameter && args.has(parameter)) {
@@ -488,11 +466,11 @@ export class SafeDsPartialEvaluator {
     }
 
     private evaluateReference(_node: SdsReference, _substitutions: ParameterSubstitutions): EvaluatedNode {
+        // TODO: always call evaluateWithSubstitutions so caching works
         // const target = node.target.ref;
 
         //     is SdsPlaceholder -> declaration.evaluateAssignee(substitutions)
         //     is SdsParameter -> declaration.evaluateParameter(substitutions)
-        //     is SdsStep -> declaration.evaluateStep()
         // else -> undefined
         // }
         return UnknownEvaluatedNode;
@@ -520,16 +498,6 @@ export class SafeDsPartialEvaluator {
     // else -> undefined
     // }
     // }
-    //
-    // private fun SdsStep.evaluateStep(): SdsIntermediateStep? {
-    //     return when {
-    //     callableHasNoSideEffects(resultIfUnknown = true) -> SdsIntermediateStep(
-    //     parameters = parametersOrEmpty(),
-    //     results = resultsOrEmpty()
-    // )
-    // else -> undefined
-    // }
-    // }
 }
 
 const NO_SUBSTITUTIONS: ParameterSubstitutions = new Map();

packages/safe-ds-lang/tests/resources/partial evaluation/base cases/block lambdas/main.sdstest

@@ -0,0 +1,6 @@
+package tests.partialValidation.baseCases.expressionLambdas
+
+pipeline test {
+    // $TEST$ serialization $ExpressionLambdaClosure
+    »() -> 1«;
+}

packages/safe-ds-lang/tests/resources/partial evaluation/base cases/expression lambdas/main.sdstest

@@ -0,0 +1,6 @@
+package tests.partialValidation.baseCases.blockLambdas
+
+pipeline test {
+    // $TEST$ serialization $BlockLambdaClosure
+    »() {}«;
+}

packages/safe-ds-lang/tests/resources/partial evaluation/base cases/segments/main.sdstest

@@ -0,0 +1,4 @@
+package tests.partialValidation.baseCases.segments
+
+// $TEST$ serialization $SegmentClosure
+»segment mySegment() {}«

packages/safe-ds-lang/tests/resources/partial evaluation/invalid nodes/main.sdstest

@@ -0,0 +1,4 @@
+package tests.partialValidation.invalidNodes
+
+// $TEST$ serialization ?
+»class C«