sequence of sequence

“#” 說明這個是找到數量的

“^” 把他們聯結到一起

sequence和list的意思其實差不多

reverse一個sequence

就是把sequence的順序掉過來

reverse sequence 里面的sequence ，里面的sequence的元素不要動

只是管first level

“｜”是一個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呢？

因為bag沒有order

sequence 有order

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

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

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

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。