codestyle

"효과보다 더 강력한 모나드 트랜스포머"-예? Idris의 효과에 대한 Edwin C. Brady의 "대수적 효과 및 종속 유형을 사용한 프로그래밍 및 추론" 논문 에는 다음과 같은 (참조되지 않은) 주장이 포함되어 있습니다. [효과와 모나드 변환기]는 전력면에서 동등하지는 않지만-모나드와 모나드 변환기는 더 많은 개념을 표현할 수 있습니다. 많은 일반적인 효과적인 계산이 캡처됩니다. 모나드 변환기로 모델링 할 수 있지만 효과는없는 예가 있습니까? 연속은 CPS를 사용하여 모나드로 모델링 할 수 있지만 Lawvere 이론을 사용하여 모델링 할 수 없기 때문에 대수 효과가 아닙니다. Martin Hyland와 John Power, 2007, The Category Theoretic Understanding..

SRC, OBJ 및 BIN 하위 디렉토리가있는 C 프로젝트 용 Makefile을 어떻게 만들 수 있습니까? 몇 달 전에 저는 Makefile학교 과제를 위해 다음과 같은 일반 사항 을 생각해 냈습니다 . # ------------------------------------------------ # Generic Makefile # # Author: yanick.rochon@gmail.com # Date : 2010-11-05 # # Changelog : # 0.01 - first version # ------------------------------------------------ # project name (generate executable with this name) TARGET = project..

Mavericks로 느린 IOS 시뮬레이터 마지막 OSX 업데이트 (Mavericks) 이후로 느린 시뮬레이터를 가지고있는 사람은 나뿐입니까? 시뮬레이터 재설정을 시도했습니다 디버그 메인 바에서 애니메이션 속도를 켜거나 끄려고했습니다. 단순한 무빙 쿼드로 게임을 그려 보았습니다 IOS7, IOS6에서 Retina를 사용하고 시뮬레이터없이 내 애플리케이션을 실행하려고했습니다. 내 응용 프로그램을 Android 장치에서 실행할 때 느리지 않습니다. 시뮬레이터는 항상 느립니다. 이전 OSX 버전에서는 문제가 없었습니다 : / (내 응용 프로그램은 OpenGL ES2를 사용하는 게임입니다) 감사! iOS7 이전에 시뮬레이터에서 성능 문제를 만났습니다. Apple은 Xcode 5.1 릴리스 노트 (4 페이지 : ..

실행 중 셸 스크립트 편집 실행중인 쉘 스크립트를 편집하고 변경 사항이 실행중인 스크립트에 영향을 미치도록 할 수 있습니까? csh 스크립트의 특정 사례에 대해 궁금합니다. 배치가 여러 가지 빌드 버전을 실행하고 밤새도록 실행됩니다. 작업 중에 뭔가가 발생하면 들어가서 추가 명령을 추가하거나 실행되지 않은 명령을 주석 처리하고 싶습니다. 가능하지 않은 경우이를 수행 할 수있는 쉘 또는 배치 메커니즘이 있습니까? 물론 시도해 보았지만 효과가 있는지 확인하기까지는 몇 시간이 걸리며, 뒤에서 무슨 일이 일어나고 있는지 아닌지 궁금합니다. 스크립트는 그렇게 작동하지 않습니다. 실행중인 사본은 편집중인 소스 파일과 독립적입니다. 다음에 스크립트가 실행될 때 가장 최근에 저장된 소스 파일 버전을 기반으로합니다. 이..

Android Studio의 "res"폴더로 이미지를 가져 오거나 복사하는 방법은 무엇입니까? 모든 이미지를 res/drawable-xxx폴더에 직접 저장할 수 있습니다 . 하지만 어떻게 import/copy내 프로젝트로 이미지를 만들 수 Android Studio있습니까? Finder(MacOS) 에서 이미지를 드래그하면 파일이 res폴더 로만 이동 합니다. 시 context-menu에는이 Import...세 이하 New...도하지 않습니다. 창에서 이미지로 이동 한 다음 ctrl + c를 누르거나 마우스 오른쪽 버튼을 클릭하고 복사 귀하의 res 폴더로 이동하여 폴더 중 하나 (예 : MDPI, HDPI ..)를 선택하고 ctrl + v를 누르거나 마우스 오른쪽 버튼으로 클릭하고 붙여 넣기 설정> 플..

Swift에서 'catch all'예외의 세부 사항을 인쇄하는 방법은 무엇입니까? Swift를 사용하도록 코드를 업데이트하고 있는데 'catch all'절과 일치하는 예외에 대한 오류 세부 정보를 인쇄하는 방법이 궁금합니다. 내 요점을 설명하기 위해이 Swift Language Guide 페이지 의 예제를 약간 수정했습니다 . do { try vend(itemNamed: "Candy Bar") // Enjoy delicious snack } catch VendingMachineError.InvalidSelection { print("Invalid Selection.") } catch VendingMachineError.OutOfStock { print("Out of Stock.") } catch Vend..

JDK와 Java SDK의 차이점 이 두 용어 사이에 실질적인 차이가 있습니까?. JDK가 SDK (Software Development Kit)의 하위 집합 인 Java Development Kit의 약자임을 이해합니다. 그러나 Java SDK를 지정하면 JDK와 동일해야합니다. 이 wikipedia 항목에서 : JDK는 일반적인 의미에서 소프트웨어 개발 키트 (SDK)로 느슨하게 정의 된 부분 집합입니다. Java SE, EE 및 ME에 대한 최신 릴리스와 함께 제공되는 설명에서 Sun은 해당 용어에 따라 JDK가 Java 프로그램의 작성 및 실행을 담당하는 SDK의 하위 집합을 형성 함을 인정합니다. SDK의 나머지 부분은 애플리케이션 서버, 디버거 및 문서와 같은 추가 소프트웨어로 구성됩니다. "..

HTML에 글꼴을 포함하는 방법은 무엇입니까? 웹 페이지에 글꼴을 포함하기위한 적절한 솔루션 (특히 SEO 측)을 찾으려고합니다. 지금까지 파이어 폭스에서도 작동하지 않는 W3C 솔루션 과이 멋진 솔루션 을 보았습니다 . 두 번째 솔루션은 타이틀 전용입니다. 전체 텍스트에 사용할 수있는 솔루션이 있습니까? 웹 페이지 용 표준 글꼴에 지쳤습니다. 감사! 이 질문이 원래 질문되고 답변 된 이후로 상황이 변경되었습니다 . @ font-face 임베딩을 사용하여 본문 텍스트가 작동하도록 브라우저 간 글꼴 임베딩에 대한 많은 작업이 수행되었습니다. Paul Irish는 여러 다른 사람들의 시도를 결합한 Bulletproof @ font-face 구문 을 작성했습니다. 실제로 전체 기사 (상단뿐만 아니라)를 살펴보..

OpenFileDialog 경로 / 파일 이름에서 경로 추출 파일 선택으로 시작하는 작은 유틸리티를 작성 중입니다. 그런 다음 폴더를 선택해야합니다. 선택한 파일이 있던 폴더를 기본값으로 설정하고 싶습니다. OpenFileDialog.FileName전체 경로 및 파일 이름을 반환합니다 -내가 원하는 것은 경로 부분 (sans filename) 만 가져 오는 것이므로 처음 선택한 폴더 로 사용할 수 있습니다 . private System.Windows.Forms.OpenFileDialog ofd; private System.Windows.Forms.FolderBrowserDialog fbd; ... if (ofd.ShowDialog() == DialogResult.OK) { string sourceFile..

sed 초보자 : 폴더의 모든 항목 변경 폴더 (및 하위 폴더)의 모든 파일에서 정규식 찾기 및 바꾸기를 수행해야합니다. 이를 수행하는 Linux 쉘 명령은 무엇입니까? 예를 들어, 모든 파일에 대해이 작업을 실행하고 이전 파일을 새 텍스트로 덮어 쓰고 싶습니다. sed 's/old text/new text/g' sed 만 사용하여 수행 할 수있는 방법은 없습니다. 최소한 find 유틸리티를 함께 사용해야합니다. find . -type f -exec sed -i.bak "s/foo/bar/g" {} \; 이 명령은 .bak변경된 각 파일에 대한 파일을 생성 합니다. 메모: 명령에 대한 -i인수 sed는 GNU 확장이므로 BSD로이 명령을 실행하는 경우 sed출력을 새 파일로 리디렉션 한 다음 이름을 바꿔..