Bosque:루프가 없는 Microsoft의 새로운 프로그래밍 언어

• 보스크 언어는 소프트웨어 품질을 개선하고 프로그래머의 생산성을 향상시키는 것을 목표로 합니다.
• 변경 가능한 상태, 참조 동등성 및 루프와 같은 복잡성의 원인을 제거합니다.
• TypeScript 및 JavaScript 프로그래밍 언어에서 영감을 받았습니다.

구조적 프로그래밍 및 추상 데이터 유형은 1970년대에 대중화되었으며 그 이후로 거의 모든 프로그래밍 언어에서 사용하고 있습니다. 이러한 방법론을 통해 프로그래머는 하드웨어 아키텍처에 대한 걱정 없이 코드의 의도와 핵심 동작에 집중할 수 있었습니다. 곧 이것은 컴파일러와 통합 개발 환경의 황금 시대로 이어졌습니다.

생산성을 더욱 높이고 소프트웨어 품질을 개선하며 몇 가지 새로운 컴파일러와 개발자 도구 경험을 가능하게 하기 위해 Microsoft의 엔지니어들은 최근 Bosque라는 새로운 프로그래밍 언어를 고안했습니다.

Bosque는 기계와 인간 모두를 위해 간단하고 추론하기 쉬운 코드를 작성하도록 설계되었습니다. 코딩 및 개발 프로세스에서 '우연한 복잡성'을 방지할 수 있는 여러 가지 방법을 제공합니다.

정규화된 프로그래밍

구조적 프로그래밍 모델의 흐름 제어는 조건, 서브루틴 및 루프에 의해 관리됩니다. 반면에 새로운 프로그래밍 언어는 변경 가능한 상태, 참조 평등 및 루프와 같은 복잡성의 원인을 제거합니다. 그래서 개발자들은 이 패러다임을 '정규화된 프로그래밍'이라고 표현했습니다.

Bosque는 TypeScript에서 영감을 받은 구문 및 유형에 ML과 JavaScript/Node에서 영감을 받은 의미 체계의 조합에서 파생됩니다. 프로그래머가 다양한 명목, 구조 및 조합 유형을 사용하여 문제 영역의 관련 기능을 유연하게 인코딩할 수 있도록 하는 의견 없는 유형 시스템을 지원합니다.

참조:Microsoft | 구조화된 프로그래밍 너머로 이동

이 언어는 'while', 'do while' 및 'for' 루프를 사용하지 않으며 조건을 적용할 때 완전히 다른 접근 방식을 사용합니다. Microsoft의 컴퓨터 과학자인 Mark Marron은 소프트웨어 품질을 높이는 동시에 구조화된 루프를 대체하기 위해 'Functors' 개념을 도입했습니다.

기호 변환기가 있는 함수

Bosque는 전문화된 대량 대수 데이터 연산과 없음에 대한 통합 지원을 제공합니다. (또는 선택적 데이터) 처리. 또한 컬렉션 처리를 위한 파이프라인을 지원하고 if 및 일치 표현으로.

Bosque의 풍부한 표현 프리미티브 세트로 인해 많은 명령문 결합기 세트가 덜 필요합니다. 언어는 assert를 제공합니다. (디버그 빌드에만 활성화됨) 및 check (모든 빌드에 대해 활성화됨) 사후/사전 조건 및 클래스 불변성 외에도 일급 기능으로 제공됩니다. 또한 Bosque에는 반복 구문이 없습니다.

Bosque는 아키텍처가 마이크로서비스, 서버리스 기능 및 RESTful API에 의존하는 클라우드 기반 개발 프로젝트에서 매우 유용할 수 있습니다. 빠른 시작, 극도로 낮은 오버헤드 추적 및 성능 변동을 최소화하면서 런타임을 위한 제로 비용 로딩을 가능하게 할 수 있습니다.

다음은 무엇입니까?

이 새로운 언어는 아직 개발 단계에 있으며, 테스트하려는 경우 GitHub에서 코드를 사용할 수 있습니다.

초기 실험에 따르면 API 자동 마샬링, 향상된 퍼징, 기호 테스트 및 안정적인 GC 지원을 통한 실시간 컴파일과 같은 여러 차세대 경험을 강화할 수 있습니다.

읽기:안전에 중요한 프로그램 작성을 위한 NASA의 10가지 코딩 규칙

Bosque는 개정될 수 있으며 몇 가지 버그와 누락된 기능이 있으며 성능은 여전히 ​​많이 향상될 수 있습니다. Marron과 그의 팀은 시간이 지남에 따라 자동으로 메모리 사용 한계를 설정하고 추가 노력 없이 런타임 오류가 없는 앱을 확인하는 것과 같은 고급 개발자 도구 경험에 집중할 것입니다.