sequence of sequence

“#” 說明這個(gè)是找到數(shù)量的

“^” 把他們聯(lián)結(jié)到一起

sequence和list的意思其實(shí)差不多

reverse一個(gè)sequence

就是把sequence的順序掉過來

reverse sequence 里面的sequence ，里面的sequence的元素不要?jiǎng)?/p>

只是管first level

“｜”是一個(gè)filtering operator，只是要剩下的

for every elements in the sequence

head gives the first element of the sequence

tail gives the element of the sequence, with the first element excluded.

我們可以把sequence變成bag

bags 不管order

為什么你不從bag變成sequence呢？

因?yàn)閎ag沒有order

sequence 有order

你需要加上其他的信息，才能從bag變成sequence

但是sequence到bag就沒有這些考慮

我們可以用function的方式來定義set

總結(jié)

以上是生活随笔為你收集整理的formal method第10课的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。