occam-π

occam，一種并发程式語言，主要基於通信顺序进程的程式代數，以及它的許多特色而實作。它的名稱來自於奥卡姆的威廉提出的奥卡姆剃刀（Occam's razor）原則。 occam是一種類似於Pascal的指令式过程式編程語言。這個語言於1983年出現，由英國計算機科學家David May（英语：David

Java Joule Joyce LabVIEW Limbo MultiLisp Modula-2 Modula-3 Newsqueak occam occam-π Orc Oz Mozart Programming System ParaSail Pict Perl中的AnyEvent和Coro Python中的Twisted

ObjectLOGO Object REXX Object Pascal Objective-C Objective-J Obliq OCaml occam occam-π Octave OmniMark Onyx Opa Opal OpenCL OpenEdge ABL OPL OpenVera OPS5

|}s_{0}=s\right\}.} 为了方便起见，我们将上述表达式中表示动作的符号去掉，所得 V π {\displaystyle V^{\pi }} 满足哈密顿-雅可比-贝尔曼方程： V π ( s ) = E π { r 0 + γ V π ( s 1 ) | s 0 = s } , {\displaystyle V^{\pi

画片《火车头艾弗（英语：Ivor_the_Engine#Idris_the_Dragon）》里，一条会唱歌的龙。 Idris 支持对依赖类型（ λ Π {\displaystyle \lambda \Pi } ）的定义。如下定义了 Vec ( a , n ) {\displaystyle {\mbox{Vec}}(a