programming-languages

17열

1답변

HoTT 이후 "Axiom K"에 대한 논의가 더 자주 일어났습니다. 패턴 일치와 관련 있다고 생각합니다. TAPL, ATAPL 또는 PFPL에서 참조를 찾을 수 없다는 것에 놀랐습니다. 공리 K는 무엇 입니까? 는 SML (또는 의존하는 패턴 매칭)에서와 같이 ML-스타일의 패턴 매칭에 사용인가? Axiom K에 대한 적절한 참고 자료는 무엇입니까?

2열

2답변

자연 언어 튜링이 완성 되었습니까?

저는 인간 언어 (예 : 영어)가 튜링 기계를 시뮬레이트하기에 충분히 강력하다는 것을 확신합니다. 그러나 자연 언어가 프로그래밍 언어보다 표현력이 적거나 적다는 것을 의미합니다. 자연 언어 튜링이 완료 되었습니까?

0열

2답변

음악 생성에 대해 어떻게해야합니까?

필자는 EPQ 프로젝트에서 컴퓨터 생성 음악의 개발과 인간 뮤직 아티스트의 대체 여부를 연구하기로 결정했습니다. 내 계획은 12 음색의 연속체 음악을 생성하고 HOPEFULLY는이를 악보에 쓰거나 사용자가 음악을 크게 재생할 수있게 해주는 프로그램 인 인공물을 만드는 것입니다. 프리젠 테이션으로서 저는 제가 발표하는 사람들에게 자신의 음악을 만들고 듣기를

1열

3답변

Need and Standard C Output을 (를) 호출하십니까?

다음 코드는 여기에 유지하려면 C 언어 구문 : 1에서이 코드의 출력) 표준 C, 실행을 무엇 #include <stdio.h> int func(int a, int b){ if (b==0) return 0; else return func(a,b); } int main(){ printf("%d \n", func(func(1,1),func(0,0

1열

2답변

변수 유형은 자체 변수입니까?

저는 C 언어를 예제 언어로 사용하여 의미를 나타냅니다. struct parent { int x; char y; }; struct child { char y; int x; }; int foo(void * s, type obj_type) { // the casting is done using a "t

0열

4답변

왼쪽 연관 언어의 예는 무엇입니까?

나는 프로그래밍에 관해 친구에게 가르치고 있었고, 나는 a = b과 b = a이 매우 다른 두 가지라는 것을 그들에게 확신시키기가 어려웠다. 나는 결국 그것을 생각하는 정확한 단어 (right associative)를 발견했다. 연관되어있는 프로그래밍 언어가 있습니까? 나는 언어를 본적이 없다 : a = b 결과는 b가 a의 값으로 설정된다.

0열

1답변

문 분리 기호로 "세미 콜론"을 사용한 첫 번째 프로그래밍 언어

문 분리 기호로 "세미콜론"을 사용한 첫 번째 프로그래밍 언어는 무엇입니까? 이것이 기술이나 실제 프로그래밍과 관련이 없다는 것을 알고 있습니다. 그러나 나는 단지 궁금하다. :)

0열

5답변

변수에 액세스 할 때 평가되는 프로그래밍 언어가 있습니까?

아래는 JavaScript와 유사한 구문으로 설명하고 싶은 의사 코드입니다. const func1 = (x => x * x); // JavaScript Arrow Function syntax. const func2 = (x => {log("I'm func2!"); return x + 1;}); var a; var b <= func1(a); // `<

1열

2답변

기본형에 대해 + 연산자를 재정의 할 수있는 언어는 무엇입니까?

질문이 서면으로 유효한지 여부에 대한 뇌 테스터를 기반으로 한 일부 친구들과 토론 중이었습니다. 모든 언어의 기본 유형에 대해 + 또는 -을 오버로드 할 수 있는지 여부를 논의하는 데 도움이됩니다. 당신이 얻을 수있는 언어가있는 평가하기 위해 다음 answer = 8 + 11; if (answer == 96){ //Yay! It worked!

-4열

2답변

Verilog 및 VHDL이 "HDL (Hardware Description Language)"인 경우 Python, Java 등은 무엇입니까?

저는 프로그래밍 학생입니다. Verilog 및 VHDL이 "HDL (Hardware Description Language)"인 경우 Python, Java 등은 무엇입니까? 그냥 "프로그래밍 언어?"