programming-languages

0열

1답변

원래 질문 : 다음 스켈 레탈 프로그램에서 실행이 위치 1에 도달하면 정적 및 동적 체인을 포함한 모든 활성화 레코드 인스턴스가있는 스택을 보여줍니다. 가정 Bigsub는 레벨 1 에 있고 답은 하지만 난 정적 링크가 정적 부모의 그것의 하단을 가리켜 야하기 때문에 답변이 잘못된 생각 ARI, 꼭대기가 아니라 동적 링크 만 꼭대기를 가리켜 야합니다. 예를

-1열

1답변

다른 프로그래밍 언어의 인터리빙 프로세스가 유용합니까?

다른 프로그래밍 언어의 다른 프로세스를 호출하는 것이 유용 할 수 있는지 궁금합니다. 예를 들어 Java 응용 프로그램이 있습니다. 하지만 할 일이 많습니다. 그래서 다른 Java 언어 (C, Go 등)에서 프로그래머를 작성합니다.이 프로그래머는 일반 Java보다 더 나은 표현을 표현하거나 처리 할 수 있으며 결과를 기본 Java 응용 프로그램에 반환

0열

1답변

Solidity에서 인덱스 작업을 할 때 특정 조건이 필요합니까?

pragma solidity ^0.4.0; contract A{ byte[10] arr; function setElement(uint index, byte value) public { require(index >= 0 && index < arr.length); //Should I leave it as is? ar

0열

1답변

숫자 프로그래밍 언어를 설계 할 때 병치에 의한 곱셈의 함정은 무엇입니까?</p> <pre><code>c = a b --> c = a * b </code></pre> <p>(참고 : 내가 특별히 아니에요, 나는 기호 나 표현 사이의 공간이되도록를 사용하여 병렬로 곱셈에 대한 구문을 정의 할 것 (존재하는 경우 대체 할 행복) 표준 정의 대신에

c=ab --> c = a * b을 ab으로 사용하면 변수의 2 문자 이름 ab이됩니다. 는 very few languages (예컨대, 볼프람 알파), 이러한 암시 곱셈을 허용 보인다 c = a (b + q) --> c = a * (b + q) c = (a + p) (b + q) --> c = (a + p) * (b + q) c = a/p b -

1열

1답변

coq와 같이 프로그램의 정확성을 입증하여 메모리 관리 문제를 해결 하시겠습니까?

메모리 관리 문제 (메모리 누수, 매달려있는 포인터, double free() 등)를 해결할 수있는 타입 시스템으로 모든 프로그램의 정확성을 자동으로 증명할 수있는 언어를 구성 할 수 있는지 물어보고 싶었습니다. 통합 coq-like theorever prover과 같은 명제로서의 유형 (증명의 프로그램의 사고 방식에서)? 이 접근 방식에 근본적인 논리적

5열

2답변

perl에서 서브 루틴의 반환 값을 변수에 할당 할 때 메모리에 복제 된 데이터가 있습니까?

sub foo { my @return_value = (1, 2); } my @receiver = foo(); 이 할당은 perl의 다른 할당과 동일합니까? 배열은 메모리에 복제됩니까? 나는이 서브 루틴에 의한 배열 유지가 일회용이므로 복제가 완전히 중복 됨으로 인해 이러한 이유가 의심 스럽다. 최적화를 위해 배열을 @receiver에 '연결

-2열

1답변

C++ 다음 C# 또는 C# 다음 C++

필자는 코딩을 시작하고 어떤 시점에서는 잘하면 전문적인 수준에서 작업하기를 원합니다. C++과 C# 둘 다 필요한 언어처럼 보입니다. 필자는 필연적으로 어느 시점에서 두 언어를 배우게 될 것입니다. 하지만 어느 것을 먼저 배워야합니까?

0열

1답변

정적 유형 검사 시스템의 기능은 무엇입니까?

최근 동적 인 언어 분석을 배우고 있습니다. static and dynamic code analysis과 같은 몇 가지 관련 질문을 읽었지만 여전히 몇 가지 질문이 있습니다. 동적 분석은 컴파일 및 런타임 중에 발생할 수 있으며 프로그램 상태를 확인합니다. 동적 분석을 사용하면 원하지 않는 실행 단계를 피할 수 있습니다. 정적 분석은 종종 정적 유형 검사

0열

1답변

C#을 튜플, 건설 해체 성능

나는 스타일로 몇 가지 코드를 작성되었습니다 a1 = b1; a2 = b2; a3 = b3; ... an = bn; 는 갑자기 실현이 나를 위해, 내가 현재의 알고리즘을 (쓰고 컨텍스트에 대한 ...)는의 형태로 이러한 과제의 일부를 작성하는 더 심미적으로 만족입니다 : 이제 (a1, a2, a3, ..., an) = (b1, b2, b3, ..

0열

2답변

익명 변수 란 무엇입니까?

프로그램 변수는 셀의 컴퓨터 메모리 셀 또는 콜렉션 의 추상화입니다. 프로그래머는 종종 변수 이름을 메모리 위치의 이름으로 생각하지만, 변수보다는 변수 이름이 훨씬 많습니다. 이 경우 익명 변수 란 무엇입니까? 아래 진술은 무엇을 의미합니까? 이름이없는 변수를 익명 변수라고합니다. 동일한 언어에 대한 구체적인 예를 제공 할 수 있습니까?