kupl / revise-lang

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Revise

소스코드의 작은 수정을 일으키는 언어의 정의와 해석기입니다.

작은 수정

작은 수정이란 "사소한 실수"로 인해 프로그램에 오류가 생긴 경우, 그 실수를 수정하는 것을 의미합니다.

Revise

Revise는 작은 수정을 정의한 언어로 명령의 리스트로 이루어져 있습니다.

P = C*
C = ^ | v | < | >
  | origin
  | backspace
  | insert(S)
  • ^, v, <, >: 각각 커서를 상하좌우로 이동
  • origin: 소스 코드 상의 맨 위 맨 왼쪽 지점으로 이동
  • backspace: 커서 위치에서 한글자 지우기
  • insert(S): 커서 위치에서 S 삽입

S는 사전에 정의된 문자열의 집합의 원소입니다. example에 정의되어 있는 언어에서는 아래 두가지 중 하나의 값을 가질 수 있습니다.

S = UndefinedSemantics
  | ;

Revise 언어는 수정 대상의 맨 처음음 위치(가장 윗줄의 가장 처음 위치)에서 시작하여 동작합니다.

About

License:MIT License


Languages

Language:OCaml 100.0%