어떤 프로그래밍 언어가 찾기 어려운 버그를 가장 적게 생성합니까? [닫은]

일반 프로그래머가 찾기 어려운 버그를 최소화하여 기능을 출력 할 수있는 언어는 무엇입니까? 이것은 물론 매우 광범위한 질문이며, 매우 광범위하고 일반적인 답변과 지혜에 관심이 있습니다.

개인적으로 Java 및 C # 프로그램에서 이상한 버그를 찾는 데 거의 시간이 걸리지 않는 반면 C ++ 코드에는 고유 한 반복 버그 세트가 있으며 Python / 비슷한 버그는 컴파일러에서 감지 할 수있는 공통적이고 어리석은 버그 세트를 가지고 있습니다 다른 언어로.

또한 기능 코드를 작성하는 크고 복잡한 프로그램을 본 적이 없기 때문에 기능적 언어를 고려하기가 어렵다는 것을 알았습니다. 입력 해주세요.

편집 : 찾기 어려운 버그에 대한 임의의 설명 : 재생산하는 데 15 분 이상 걸리거나 원인을 찾아 수정하는 데 1 시간 이상 걸립니다.

이것이 중복이라면 용서하십시오. 그러나이 특정 주제에 대해서는 아무것도 찾지 못했습니다.

언어의 유형 시스템이 강력할수록 컴파일 시간에 더 많은 버그가 발생합니다.

다음 그림은 유형 시스템의 성능, 단순성 및 안전성 측면에서 잘 알려진 일부 프로그래밍 언어를 비교합니다. [ 출처 ]

안전하지 않은 구조물을 사용할 수있는 능력

"안전하지 않은"키워드 및 관련 포인터 메커니즘으로 인해 C #이 안전하지 않은 행에 채워집니다. 그러나 이것들을 일종의 인라인 외부 함수 메커니즘으로 생각하고 싶다면 C #을 부딪 히십시오.

나는 Haskell '98을 순수한 것으로 표시했지만 안전하지 않은 기능 계열로 인해 GHC Haskell은 순수한 것이 아닙니다. 안전하지 않은 *을 비활성화하면 GHC Haskell을 그에 따라 위로 이동하십시오.

내 생각에 Haskell은 일반적인 오류 원인을 피하는 데 도움이됩니다.

• 순전히 기능적입니다 : 함수는 (의도하지 않은) 부작용을 가질 수 없으며, 이는 멀티 코어 프로그래밍을보다 쉽고 오류가 덜 발생시킵니다
• 예를 들어 실수로 bool, char, int 및 float 값을 혼합 할 수 없습니다.
• 정적으로 입력되었습니다 : 컴파일시 많은 프로그래밍 오류가 발생합니다.
• null가치 유형 정의의 일부가 아닙니다.이를 통해 10 억 달러의 실수 를 피할 수 있습니다
• 자체적으로 구현 된 결함이있는 구현을 작성하는 대신 재사용 할 수있는 기성품의 고차 함수가 많이 있습니다.
• 가비지 수집기가 있습니다. 메모리 오류가 거의 제거됩니다 (게으른 평가 전략으로 인한 "공간 누출"제외).

일반적으로 버그를 찾기 가장 어려운 것은 멀티 스레드 응용 프로그램의 경쟁 조건입니다.

• 재생산이 거의 불가능
• 매우 미묘 할 수 있습니다

그러므로 당신을 위해 가능한 한 많은 방해없이 당신을 위해 평 행성을 관리하는 언어가 필요합니다. 이것들은 아직 주류가 아닙니다. Java는 일부를 수행하지만 어려운 부분을 남겨 둡니다.

"부작용 없음"은 처음에는 두 개의 글 머리 기호가 사라 지므로 기능적인 언어가 필요하다는 것을 이해합니다. Haskell을 효율적인 멀티 스레드 언어로 투명하게 만드는 작업이 진행되고 있으며 Fortress는 처음부터 효율적인 병렬 언어로 설계되었다고 생각합니다.

편집 : Java에서는 Executors더 많은 어려운 부분을 처리하십시오. 개별 작업이 Callable인터페이스를 준수하도록해야합니다 .

Ada는 런타임이 아닌 컴파일 타임에 최대한 많이 포착되도록 설계되었습니다. 이것이 의미하는 바는 Ada에서 프로그램을 컴파일하는 데 Java보다 동등한 시간이 걸리는 데 종종 10 배가 더 걸리지 만 컴파일 할 때 프로그램의 버그가 발생할 때 전체 클래스의 버그가 나타나지 않을 것이라고 확신 할 수 있습니다 운영.

먼저 정의 : 찾기 어려운 버그는 내가 이해하는 것처럼 재현 할 수있는 버그이지만 원인을 찾기가 어렵습니다.

아마도 가장 중요한 측면은 내가 좁힘 이라고 부르는 것입니다 . 즉, 버그 탈출 거리, 버그가 잠재적으로 영향을 미칠 수있는 범위는 얼마나 큽 니까 ? C와 같은 언어에서 음수 배열 인덱스 또는 초기화되지 않은 포인터와 같은 버그는 전체 프로그램의 모든 곳에서 문자 그대로 영향을 줄 수 있으므로 최악의 경우 문제의 원인을 찾기 위해 모든 곳 을 확인해야합니다 .

이와 관련하여 좋은 언어는 액세스 수정자를 지원하고이를 우회하기 어렵거나 불가능하게 만드는 방식으로 시행합니다. 좋은 언어를 사용하면 전역 변수를 너무 쉽게 만드는 대신 변수의 범위를 제한하는 것이 좋습니다 (예 : "명시 적으로 선언되지 않은 것은 기본 유형 및 값을 가진 전역 변수").

두 번째로 중요한 측면은 동시성 입니다. 경쟁 조건은 일반적으로 재현하기 어렵 기 때문에 찾기가 어렵습니다. 좋은 언어는 사용하기 쉬운 동기화 메커니즘을 제공하며 표준 라이브러리는 필요한 경우 스레드로부터 안전합니다.

이것은 이미 내 목록을 완성합니다. 강력한 타이핑과 같은 다른 것은 컴파일 타임에 버그를 잡는 데 도움이되지만 나중에는 찾기가 쉽지 않을 것입니다.

이 모든 것을 고려하면 JVM 및 .net 세계의 Java 및 C # 및 기타 많은 언어가 찾기 어려운 버그를 피하는 데 적합하다고 말합니다.

Excel이 가장 널리 사용되는 DSL이므로 Excel을 사용하겠습니다. (물론 VBA 제외)

청구서에 맞습니다.

• 항상 재현하기 쉽습니다 (스프레드 시트가 있습니다-작동하지 않습니다)
• 완전히 "기능적"이므로 버그를 찾기가 매우 쉽습니다. 잘못된 셀로 시작하여 모든 종속성을 추적하십시오.

대부분의 버그는 언어 자체의 결함이 아니기 때문에 언어를 사용하는 방식에있어 실수를 저지르는 개발자의 실수이기 때문에 이것은 어려운 질문입니다.

버그 가능성에 영향을 미치는 언어 기능에는 몇 가지 측면이 있다고 생각합니다.

• 상호 작용 -REPL이 포함 된 동적 언어는 실행중인 프로그램 및 훨씬 더 작은 코드 / 테스트 주기로 상호 작용 / 실험을 장려합니다. 반복이 깨끗하고 간단한 솔루션을 발견하고 버그를 감지 / 제거하는 좋은 방법이라고 생각한다면 대화 형 언어를 선호하는 경향이 있습니다.

• 표현성 -코드가 짧고 상용구 / 부수적 인 복잡성이 적 으면 버그 / 논리 오류를 쉽게 확인할 수 있습니다.

• 타입 안전 – 컴파일 시간을 더 많이 검사할수록 컴파일러가 더 많은 버그를 잡을 수 있으므로 일반적인 타입 안전은 좋은 것입니다. 그러나 이것들은 일반적으로 버그 를 찾기가 어렵지 않습니다 . 완전 동적 언어에서도 데이터 구조의 잘못된 유형은 일반적으로 매우 명백한 런타임 오류를 유발하며 TDD는 거의 항상 이런 종류의 버그를 선택합니다.

• 불변성 -많은 하드 버그는 변경 가능한 상태의 복잡한 상호 작용으로 인해 발생합니다. 불변성을 강조하는 언어 (Haskell, Clojure, Erlang)는 변이를 피함으로써 엄청난 이점을 가지고 있습니다

• 기능적 프로그래밍 -코드 작성에 대한 기능적 접근 방식은 복잡한 효과 / 상호 작용 시퀀스를 가진 객체 지향 코드보다 "아마도 올바른"경향이 있습니다. 내 경험은 FP가 까다로운 버그를 피하는 데 도움이된다는 것입니다. 저는 현재이를 뒷받침 할 수없는 학술 연구가 있다고 생각합니다.

• 동시성 지원 -동시성 문제는 감지 및 디버깅이 특히 어렵 기 때문에 이것이 매우 중요합니다. 수동 잠금이 필요한 것은 결국 실패로 끝날 것입니다 ( 동시성에 대한 거의 모든 객체 지향 접근 방식 이 포함됨 ). 이와 관련하여 내가 아는 가장 좋은 언어는 Clojure입니다. 소프트웨어 트랜잭션 메모리와 불변 데이터 구조를 결합하여 새롭고 신뢰할 수 있으며 컴포저 블 동시성 프레임 워크를 얻는 동시성 관리에 고유 한 접근 방식이 있습니다. 자세한 정보는 http://www.infoq.com/presentations/Value-Identity-State-Rich-Hickey 를 참조하십시오 .

언어가 덜 강력할수록 자신의 발을 쏠 수있는 옵션이 줄어 듭니다.

Java 및 C #과 같은 고급 언어는 C ++과 같은 저수준 언어보다 버그가 적습니다.

Java가 C #보다 안전하다고 생각합니다. Java는 인위적으로 제한되어 있으므로 고급 지식이없는 일반 프로그래머가이를 마스터하고 안정적인 프로그램을 만들 수 있습니다.

일반 프로그래머가 찾기 어려운 버그를 최소화하여 기능을 출력 할 수있는 언어는 무엇입니까?

제 생각에는 델파이입니다. 파스칼을 기반으로하는이 언어는 일반 프로그래머 (또는 경험이없는 코더) 가 쉽게 찾을 수 있을 정도로 간단하고 직관적 이며 풍부한 도구와 라이브러리 지원으로 대부분의 버그를 쉽게 찾을 수 있습니다.

• 강력한 타이핑과 많은 일반적인 오류를 포착하는 엄격한 컴파일러.
• 일반적인 오류를 유발하지 않는 직관적 인 구문. if (alert = RED) {LaunchNukes;}예를 들어 ""세계의 마지막 버그 " 는 컴파일되지 않습니다.
• 많은 공통 C ++ OOP 오류를 제거하는 잘 설계된 객체 모델입니다.
• 언어에 내장 된 경계 검사 및 범위 검사를 통해 보안 문제의 가능성을 크게 줄입니다.
• 아마도 사람에게 알려진 가장 빠른 컴파일러는 생산성을 높이고 빌드를 기다리는 동안 생각을 잃기 어렵게 만듭니다.
• 디버거 Visual Studio의 디버거는 커질 때처럼되고 싶습니다.
• 누수 추적 기능이 메모리 관리자에 직접 내장되어있어 메모리 누수를 쉽게 찾아서 수정할 수 있습니다.
• 자신 만의 버그가있는 구현을 구축하지 않고도 일반적인 작업을 수행 할 수 있도록 사전 구축되고 사전 테스트 된 방법을 제공하는 크고 성숙한 표준 라이브러리입니다.
• 문제를 쉽게 추적 할 수 있도록 강력한 로깅 시스템 및 프로파일 러와 같은 유용한 도구가 제공됩니다.
• 를 포함한 표준 라이브러리에없는 일반적인 문제에 대한 강력한 커뮤니티 지원 하는 강력한 타사 동시성 라이브러리 .

고려해야 할 한 가지는 전환 시간입니다.

지난 5 년 동안 저는 주로 자바 (JSF, Seam 등)로 웹 애플리케이션을 개발했습니다. 최근에 나는 새로운 직업을 얻었고, 우리는 Perl (Catalyst 및 Moose)을 사용하고 있습니다.

Java보다 펄에서 더 생산적입니다.

컴파일하고 배포 할 필요가없는 것이 한 가지 이유입니다. 또한 반복적 인 방식으로 수행 할 수 있으므로 사용 사례 작성이 더 쉽다는 것을 알게되었습니다. 그리고 Java의 프레임 워크는 적어도 내가 관련된 프로젝트에 대해 불필요한 복잡한 것처럼 보입니다.

내 Perl 코드의 버그 수는 Java 코드의 버그 수와 거의 같거나 더 높을 수도 있습니다. 그러나 이러한 버그를 찾아서 수정하는 것이 더 쉽고 빠릅니다.

아마도 모든 프로그래밍 언어에 대한 정적 및 동적 코드 분석에 사용할 수있는 도구 수를 조사하면 아이디어가 될 수 있습니다. 언어를위한 도구가 많을수록 언어는 사용자들 사이에서 매우 인기가 있거나 버그를 찾기 어려운 경우가 많습니다. 그러나이 주제에 대한 연구를 Google에 알려주지 못했습니다. 또한 C와 같은 일부 언어는 기본 하드웨어 버그를 해결하고 하드웨어의 노후화를 해결하는 데 사용될 수 있습니다.

언어에 대한 이야기 ​​대신 언어 기능에 대한 이야기

• java는 예외 (throws ...)에 대해 생각하도록 강요하고 이러한 예외를 공개하거나 처리해야합니다. 이로 인해 오류 상황을 잊어 버리지 못합니까? 아니면이 처리가 필요하지 않은 SystemException에서 파생 된 더 많은 예외를 사용하고 있습니까?
• 사전 및 사후 조건에 대해 생각하게하는 "계약 별 디자인"(http://en.wikipedia.org/wiki/Design_by_contract)은 어떻습니까? 나는 그것이 c # -4.0에서 가능하다는 것을 읽었습니다.