Bosque

Bosque
패러다임다중 패러다임: 함수형, 정적 타이핑
계열ECMA스크립트
설계자마크 마론
개발자마크로소프트
발표일2019년 3월 3일(7년 전)(2019-03-03)
라이선스MIT
파일 확장자.bsq
웹사이트www.microsoft.com/en-us/research/project/bosque-programming-language/
영향을 받은 언어
자바스크립트, 타입스크립트, ML

Bosque(보스크)는 마이크로소프트가 설계하고 개발한 자유 오픈 소스 프로그래밍 언어다. 타입스크립트의 구문 및 자료형과 ML 및 Node/자바스크립트의 의미론에서 영감을 얻었다. 이 언어의 설계 목표에는 더 나은 소프트웨어 품질과 개발자 생산성 향상이 포함되어 있다.

개요

Bosque는 마이크로소프트 리서치의 컴퓨터 과학자 마크 마론이 설계했으며, 그는 이 언어를 1970년대에 대중화된 구조적 프로그래밍 모델을 넘어서기 위한 노력의 일환이라고 설명한다.

반복문, 조건문, 서브루틴으로 제어 흐름을 관리하는 구조적 프로그래밍 패러다임은 1968년 컴퓨터 과학자 에츠허르 데이크스트라가 발표한 "GOTO문은 해로운 것으로 간주된다"라는 논문 이후 널리 보급되었다. 마론은 반복문, 가변 상태(mutable state), 참조 동등성(reference equality)과 같은 복잡성의 원인을 제거함으로써 더 나은 프로그래밍이 가능하다고 믿는다. 그 결과로 탄생한 Bosque는 마론이 자신의 논문에서 "정규화된 프로그래밍(regularized programming)"이라 명명한 새로운 프로그래밍 패러다임을 제시한다.

Bosque의 명세서, 파서, 타입 체커, 참조 인터프리터 및 IDE 지원 도구는 MIT 허가서에 따라 라이선스가 부여되며 깃허브에서 이용할 수 있다.

예제

두 수 더하기

function add2(x: Int, y: Int): Int {
    return x + y;
}

add2(2, 3)     // 5
add2(x=2, y=3) // 5
add2(y=2, 5)   // 7

같이 보기

각주

더 읽어보기

외부 링크