K语言入门学习2：第一个程序

这堂课将主要讲解K语言中的关于生产（productions）和规则的基础知识。

1. 生产和规则是K语言中两种语句类型。
2. 一个K文件由一个或多个requires或模块组成。
3. 一个模块又由一个或多个imports或语句组成。

这堂课先不会过多解释requires，模块（modules），和语句（sentences）等的概念；只要先把模块当作语句的一个容器就好，在下面的学习中，还不用太纠结requires或imports是什么，有什么区别与 联系等。

第1个K程序

在notepad++中创建文件：lesson-02-a.k，这个文件的内容如下：

module LESSON-02-A

  syntax Color ::= Yellow() | Blue()
  syntax Fruit ::= Banana() | Blueberry()
  syntax Color ::= colorOf(Fruit) [function]

  rule colorOf(Banana()) => Yellow()
  rule colorOf(Blueberry()) => Blue()

endmodule

执行下面命令来编译这个文件

kompile lesson-02-a.k

其中kompile是K的编译器。上面的命令，会得到一个解释器（interpreter ）。

1. 从上图，可以看到，编译创建目录 lesson-02-a-kompiled来存放编译的结果。

2. 虽然这个例子里只有一个K文件，在实际项目中可能会多个K文件，它们编译后会合成一个K定义（K definition）；具体什么是K定义，我们后面会讲。