OPLSS 俄勒冈编程语言暑期学校

老实说, 我觉得我压根不懂编程语言. 当然, 这不妨碍我从OPLSS中汲取智慧. 这里是我的一些翻译, 一些笔记?

Probabilistic Programming from the Ground Up (2024)

Lecture 1

我们呈现了Tiny PPL, 其句法:

pure terms
<p> ::= true
     |  false
     |  <var>
     |  (if <p> <p> <p>)
     |  (disj <p> <p>)
     |  (conj <p> <p>)

effectful or probabilistic terms
<e> ::= (let <var> <e> <e>)
     |  (return <p>)
     |  (flip <theta>)
其语义:
首先我们考虑pure term的语义, 当然其是相对于环境而言的.⟦p⟧:env→bool