# Type

`mp`에서는 크게 4 종류의 기본 자료형이 있습니다.

## Class

클래스는 `mp`에서 볼 수 있는 가장 흔한 타입 중 하나입니다. 클래스는 구조체, 그리고 이에 걸맞는 메소드들로 이루어져 있습니다.

### Primitive

원시 자료형이라고 부릅니다. 정수형 `int`, 실수형 `float`, 비교형 `boolean`이 이에 해당합니다.

### Callable

클래스 자체를 메소드처럼 호출할 수 있는 경우입니다. 구조체를 가지고 있어 값을 저장할 수 있다는 점에서 메소드와 차이가 있습니다. 클래스에 `Call` 어빌리티를 구현하면 만들 수 있습니다.

### Graph

### Array

// TODO

## Method

메소드 (기능)는 어떤 클래스의 순차적인 동작을 정의내린 것으로 볼 수 있습니다.

### Case

상태 메소드는 메소드의 특수한 경우입니다.

## Ability

어빌리티 또한 기본 자료형 중 하나입니다.

### Built-in Ability

사용자가 직접 구현하지 않아도, 컴파일러에서 구현할 수 있는 어빌리티입니다. `Move`, `Copy`, `Debug` 등이 이에 해당합니다. 특히, `Move`, `Call` 등의 경우엔 사용자가 직접 구현할 수 없습니다.

## Never

`break`, `coutinue`, `return`, `exit` 등과 같은 점프문에 해당하는 특수한 자료형입니다. 컴파일러의 자료형 검사를 위해 존재하는 것으로, 사용자는 해당 자료형에 대한 존재를 몰라도 됩니다.