ice_7和codice_8二者都成为约束的。这样有一个重要结果，避免了更新有关值的显式的逻辑，导致了相较于主流语言的先声明再引用方式有大量的代码简约。在Lucid中每个变量都是值的流（stream）。算子codice_1（followed by的助忆码），定义了在前一个表达式之后会出现什么。表达式codice_10使用codice_1定义了一个流codice_12，在这个实例中，这个流产生序列[1,2,3...]。在流中的值，可以通过如下这些算子来寻址取用，假定codice_7是用到的变量：计算