javaba

Scala의 유형 시스템은 Turing이 완료되었습니다. 증명? 예? 혜택? Scala의 유형 시스템이 Turing 완전하다는 주장이 있습니다. 내 질문은 다음과 같습니다. 이것에 대한 공식적인 증거가 있습니까? Scala 유형 시스템에서 간단한 계산은 어떻게 보일까요? 이것이 Scala (언어)에 어떤 이점이 있습니까? 이것이 Turing 완전한 유형 시스템이없는 언어에 비해 Scala를 어떤면에서 더 "강력하게"만들까요? 나는 이것이 일반적으로 언어 및 유형 시스템에 적용되는 것 같습니다. Turing-complete로 알려진 SKI combinator calculus의 유형 수준 구현이 포함 된 블로그 게시물이 어딘가에 있습니다. Turing-complete 유형 시스템은 기본적으로 Turing-c..

JavaScript를 통해 CSS 의사 요소 스타일 변경 JavaScript를 통해 CSS 의사 요소 스타일을 변경할 수 있습니까? 예를 들어, 다음과 같이 스크롤바의 색상을 동적으로 설정하고 싶습니다. document.querySelector("#editor::-webkit-scrollbar-thumb:vertical").style.background = localStorage.getItem("Color"); 또한 스크롤바에 다음과 같이 숨길 수 있기를 원합니다. document.querySelector("#editor::-webkit-scrollbar").style.visibility = "hidden"; 그러나이 두 스크립트는 모두 다음을 반환합니다. 포착되지 않은 TypeError : null의 ..

Vim에 파일을 저장 한 후 자동으로 쉘 명령을 실행하는 방법은 무엇입니까? 각 파일 저장 후 자동으로 테스트를 실행하고 싶기 때문입니다. 나는 살펴 보았다 autocmd하고 BufWritePost있지만 그것이 작동 할 수 없습니다. 이것은 run_tests.sh현재 파일 이름을 유일한 매개 변수로 사용하여 파일이 저장된 후에 실행됩니다 . :autocmd BufWritePost * !run_tests.sh 다음을 사용하여 자동 명령보기 : :autocmd BufWritePost * 그리고 다음을 사용하여 이전의 모든 자동 명령을 제거하십시오. :autocmd! BufWritePost * 참조 URL : https://stackoverflow.com/questions/4627701/how-to-autom..

같은 이름의 파일이 많은 프로젝트의 한 파일에 중단 점을 설정하는 방법은 무엇입니까? 45 행의 service.cpp 파일에서 gdb에 중단 점을 설정하고 싶습니다. gdb> break service.cpp:45 문제는 내 응용 프로그램에 많은 service.cpp 파일이 있고 내가 관심있는 파일을 선택하지 않는다는 것입니다. 올바른 service.cpp 파일을 어떻게 지정할 수 있습니까? 전체 경로 지정 : gdb> break /Full/path/to/service.cpp:45 참조 URL : https://stackoverflow.com/questions/5276988/how-to-set-break-point-on-one-file-of-a-project-which-has-many-files-with-..

자바 이벤트 디스패치 스레드 설명 저는 최근 Java에서 GUI 프로그래밍의 기초를 배우고 탐구하기 시작했습니다. 한동안 프로그래밍을 해왔지만 백엔드 작업이나 작업 만 수행했으며 결과적으로 사용자 인터페이스에 가장 가까운 것은 명령 콘솔입니다 (내가 알고있는 당황 스러움). 저는 Swing을 사용하고 있으며 확장을 통해 수집 할 수있는 한 AWT도 사용하고 있습니다. 내 질문은 다음 코드를 기반으로합니다. java.awt.EventQueue.invokeLater(new Runnable() { public void run() { new frame.setVisible(true); } } ); 이 이상한 코드를 완전히 이해하고 싶었고 '이벤트 디스 패칭 스레드'라는 용어를 여러 번 접했기 때문에 잠시 동안 이..

boost :: scoped_ptr의 차이점 및 std :: unique_ptr 단지 get / reset 스마트 포인터 인 반면 이동 의미론이 있다는 사실 boost::scoped_ptr과 의 유일한 차이점은 무엇입니까?std::unique_ptrstd::unique_ptrboost::scoped_ptr 아니요,하지만 이것이 가장 중요한 차이점입니다. 다른 주요 차이점은 unique_ptr방법과 유사하게 소멸자 객체를 가질 shared_ptr수 있다는 것입니다. 와 달리 shared_ptr소멸자 유형은 unique_ptr의 유형의 일부입니다 (할당자가 STL 컨테이너 유형의 일부인 방식). unique_ptr객체를 독점적 으로 소유 합니다. 복사 할 수 없지만 소유권 이전을 지원합니다 . 현재 사용되지..

ActiveSupport :: Memoizable은 어떤 Ruby memoize 패턴을 참조합니까? 따라서 Rails 3.2에서는 ActiveSupport :: Memoizable이 더 이상 사용되지 않습니다. 메시지는 다음과 같습니다. DEPRECATION WARNING: ActiveSupport::Memoizable is deprecated and will be removed in future releases,simply use Ruby memoization pattern instead. "루비 메모 화 패턴"(단수)을 우리 모두가 알고 참조해야하는 패턴이 하나있는 것처럼 참조합니다. 나는 그들이 다음과 같은 것을 의미한다고 생각합니다. def my_method @my_method ||= # ... ..

여러 인덱스로 메시 렌더링 정점 데이터가 있습니다. 위치, 법선, 텍스처 좌표. .obj 파일이나 다른 형식에서로드했을 것입니다. 아마도 나는 큐브를 그리고있을 것입니다. 그러나 각 정점 데이터에는 자체 인덱스가 있습니다. OpenGL / Direct3D를 사용하여이 메시 데이터를 렌더링 할 수 있습니까? 가장 일반적인 의미에서는 아닙니다. OpenGL 및 Direct3D는 꼭지점 당 하나의 인덱스 만 허용합니다. 인덱스는 정점 데이터의 각 스트림에서 가져옵니다. 따라서 모든 고유 한 구성 요소 조합에는 고유 한 인덱스가 있어야합니다. 따라서 각면에 고유 한 법선이있는 큐브가있는 경우 위치와 법선 데이터를 많이 복제해야합니다. 큐브에는 8 개의 고유 한 위치와 6 개의 고유 한 법선 만 있더라도 24 개..

박쥐 파일의 이스케이프 퍼센트 배치 파일을 사용하여 VPN 다이얼러 / 단로기를 작성하려고했지만 막혔습니다. 몇 가지 조사 결과 %암호 의 존재 가 제대로 작동하지 않는 것으로 나타났습니다 . 다음은 코드입니다. @echo OFF SET SWITCHPARSE1=%1 SET SWITCHPARSE2=%2 REM echo %SWITCHPARSE1% SHIFT SHIFT IF "SWITCHPARSE1" == "" goto Usage IF "SWITCHPARSE1" == "/?" goto Usage IF "SWITCHPARSE2" == "" goto Usage IF "SWITCHPARSE2" == "/?" goto Usage IF "%SWITCHPARSE1%" == "sl" ( IF "%SWITCHPARSE2%"..

세트 멤버의 TTL Redis에서 특정 키가 아니라 세트의 멤버에 대해 TTL (Time to Live)을 설정할 수 있습니까? Redis 문서에서 제안한 태그 구조를 사용하고 있습니다. 데이터는 간단한 키-값 쌍이고 태그는 각 태그에 해당하는 키를 포함하는 세트입니다. > SETEX id:id_1 100 'Lorem ipsum' OK > SADD tag:tag_1 id:id_1 (integer) 1 키 id:id_1는 예상대로 만료되지만 tag:tag_1세트 에서 해당 멤버를 제거하는 효율적인 방법이 보이지 않습니다 . 한 가지 방법은 세트에서 만료 된 키를 주기적으로 제거하는 스크립트가 포함 된 크론 작업을 사용하는 것입니다. 모든 태그 이름을 다른 세트에 추가 한 다음 모든 태그를 반복 한 다음 각..