咨询是否存在支持数据驱动编程风格的编程语言

确实存在符合你描述的这类支持数据驱动编程风格的编程语言（或语言扩展/库），以下是针对你提到的两种核心场景的具体选项，以及它们匹配你需求的特性说明：

一、输入变量变化时自动重跑函数（实时更新场景） #

• ReScript：基于OCaml的编译型语言，原生支持响应式数据绑定。你可以将函数绑定到特定变量，当依赖的变量值发生变更时，关联的函数会自动重新执行。运行时采用单线程调度，每个计算单元拥有独立的执行上下文，当函数依赖的其他计算结果未就绪时，会自动阻塞等待，直到依赖满足。
• SolidJS：虽然是JavaScript生态的前端框架，但它在语言层面通过扩展语法实现了细粒度响应式。你定义的计算函数会自动追踪依赖的"信号"（Signal）变量，一旦信号更新，函数会立刻重新执行。运行时单线程处理所有计算，调度器负责管理不同计算任务的执行栈切换，依赖未就绪时会暂停当前计算流程。
• Julia + Reactive.jl：在Julia语言中，Reactive.jl库提供了响应式编程能力，允许你将函数绑定到输入变量，变量更新时自动触发函数重跑。运行时默认单线程，支持依赖阻塞逻辑，每个计算任务有独立的执行栈上下文。

二、函数仅在需要输出时才运行（高成本计算按需执行场景） #

• Haskell：纯函数式编程语言，原生支持惰性求值——函数不会在定义时执行，只有当需要它的输出结果时才会触发计算。配合自定义的依赖追踪逻辑，你可以实现当输入变量变更后，下次请求函数输出时自动重新计算。默认单线程运行时通过惰性求值机制管理执行栈，当函数依赖的其他计算未完成时，会阻塞当前流程等待依赖就绪。
• Scala + Lazy Val + ZIO：Scala的lazy val语法原生支持惰性计算，结合ZIO库的依赖管理能力，可以实现函数仅在需要输出时执行，且自动追踪依赖的变化，下次调用时重新计算。在单线程模式下，ZIO调度器负责处理栈切换和阻塞逻辑，依赖未就绪时会暂停当前任务。

三、同时支持两种场景的组合方案 #

• Python + RxPy + Dask：RxPy负责实现响应式的输入变化触发函数重跑，Dask提供惰性计算能力来处理高成本任务的按需执行。通过自定义的单线程调度配置，可以实现栈切换和依赖阻塞逻辑——当函数依赖的结果未就绪时，会阻塞当前执行直到依赖满足。

共性特性匹配说明 #

所有上述选项都具备你提到的核心特性：

• 多执行上下文/栈：每个目标函数对应独立的执行栈或上下文，由运行时负责管理
• 灵活执行顺序：运行时根据依赖关系自动调整执行顺序，无需开发者手动控制
• 依赖阻塞：当函数依赖的输入未就绪时，会自动阻塞当前执行流程
• 死锁风险：若出现循环依赖（如A依赖B，B依赖A），运行时会陷入死锁，需要开发者提前规避

内容的提问来源于stack exchange，提问作者Martin