Go (프로그래밍 언어)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
Go
Golang.png
패러다임 컴파일 언어, 병행 프로그래밍, 명령형 언어, 구조적 언어
발표년도 2009년 11월
설계자 로버트 그리즈머
롭 파이크
켄 톰슨
개발자 구글
최근 버전 1.1.1
자료형 체계 strong, static typing
주요 구현체 gc (8g, 6g, 5g), gccgo
영향을 받은 언어 C, Limbo, Modula, Newsqueak, Oberon, 파스칼
운영 체제 리눅스, OS X, FreeBSD, MS 윈도, 플랜 9
라이선스 BSD
웹사이트 http://golang.org

Go는 구글이 개발한 가비지 컬렉션 기능이 있는 컴파일, 병행성(concurrent) 프로그래밍 언어이다.

Go의 초기 디자인은 2007년 9월 21일에 로버트 그리즈머, 롭 파이크, 켄 톰슨이 Inferno 분산 운영체제와 관련된 작업을 하다가 시작되었다. 화이트 보드에 새로운 언어에 대한 스케치를 하면서 초기 20% 파트타임 프로젝트로 시작하였다가 2008년 1월 켄 톰슨이 C 코드를 만들어내는 컴파일러를 만들기 시작했고, 2008년 중반 풀타임 프로젝트로 승격되었다. 2008년 5월 이안 테일러가 Go 스펙의 초안을 이용해서 GCC 프론트 엔드를 만들기 시작했고, 2008년 말 러스 콕스가 참여하면서 프로토타입에서 실질적인 언어와 라이브러리들을 만들기 시작했다. 2009년 11월 10일에 리눅스와 Max OS X 플랫폼을 대상으로 공식 발표되었다. Go가 처음 런칭되었을 때는 실무적인 소프트웨어를 만들기에는 준비가 좀 덜 된 상태였지만, 2010년 5월 롭 파이크는 구글에서 실제로 사용되고 있는 부분이 있다고 공개적으로 알리게 되었다.

목적[편집]

Go는 정적 타입 컴파일 언어의 효율성과 동적 언어처럼 쉬운 프로그래밍을 할 수 있도록 하는 것을 목표로 한다. 또다른 목적은:

  • 안전성: 타입 안전성과 메모리 안전성
  • 병행성과 통신을 위한 훌륭한 지원
  • 효과적인 가비지 컬렉션
  • 빠른 컴파일

설명[편집]

Go의 문법은 대체로 C와 비슷하다: 코드 블록들은 중괄호로 둘러싸고 for, switch, if를 포함한 일반적인 제어구조를 가지고 있다. C와 다르게 한 라인 끝의 세미콜론은 필수가 아닌 옵션이다. 변수 선언은 다르게 작성되고 대개 옵션이다. 형변환은 명시적으로 해야 한다. 병행성 프로그래밍을 다루기 위해 goselect 키워드가 사용된다. 새로운 타입은 map, 유니코드 스트링, 배열 slice, 그리고 내부 쓰레드 통신을 위한 channel이 있다.

Go는 그리 좋지 않은 하드웨어에서도 빠르게 컴파일될 수 있도록 디자인되었다. Go는 가비지 컬렉션이 되는 언어이다. 병행성(concurrency)와 관련된 Go의 구조적인 규칙들(channel과 선택적인 channel input들)은 Tony Hoare의 CSP로부터 도용되었다.

C++이나 Java에 있는 기능들 중 타입 상속, 제너릭, assertions, 메서드 오버로딩, 포인터 연산은 GO에서 포함하고 있지 않다. Go를 만들고 있는 개발자들은 제너릭 등은 급하진 않지만 어느 시점에는 기능이 들어갈 거라고 한다.

병행성[편집]

Go를 이용해 프로그램들이 서로 소통하면서 상태를 공유하는 병행성 프로그램을 쉽게 만들 수 있다. [1][2][3] 병행성이란 멀티쓰레딩, 병렬 컴퓨팅 뿐 아니라, 비동기성 입출력 또한 포함한다. 예를 들어, 이벤트 기반 서버와 같이, 데이터베이스나 네트워크 작업과 같이 시간이 많이 걸리는 연산을 하는 동안 프로그램이 다른 일을 하는 것을 말한다. [4]

예제[편집]

아래는 Go로 만든 Hello, World 프로그램이다.

package main
 
import "fmt"
 
func main() {
        fmt.Println("Hello, World")
}

Go는 for loop과 같은 경우 각 항목을 구분하는 용도로 세미콜론(;)을 사용하고 그 외에는 대부분 자동으로 세미콜론이 컴파일 시 들어가게 된다. 중요한 것은 if와 같은 경우 if가 있는 그 라인에 중괄호({)가 반드시 같이 들어가야 한다는 것이다.

참고 문헌[편집]

  1. Share by communicating - Effective Go
  2. Andrew Gerrand, Share memory by communicating
  3. Andrew Gerrand, Codewalk: Share memory by communicating
  4. Rob Pike의 Concurrency is not Parallelism 참고.

바깥 고리[편집]