case是个分支语句。就是按照case ... of 中间的那个内容,对应是什么,就运行那个后面的语句。比如succ(sun)表示sun后面的那个元素,就应该是 mon 。然后case mon of,就是只运行mon后面的那个语句,也就是write('monday');然后就跳到end后面了。
其实就是用来代替IF的一种流控制语句而已。
case在这里起到了判断的作用,如果不使用case那就要使用7个判断语句来进行判断到底符合那个条件,用case可以把一类的判断依次列出,方便判断和代码的可读性,使逻辑关系比较明了直观。