typechecking

3열

1답변

나는 타입 검사를 지원하기 위해 ANLTR을 연구 중이다. 나는 어느 시점에 문제가있다. 내가 예를 들어 문법으로 설명하려고합니다, 나는 다음과 같은 있다고 가정 : 규칙 dec_list에서 @members { private java.util.HashMap<String, String> mapping = new java.util.HashMap<Str

6열

1답변

하스켈 : 왜이 형식 검사를합니까?

이것은 Reflection-0.5에서 가져온 최소한의 예입니다.는 >:t Zero Zero :: Zero -> Zero 이 의미가 있습니다 : 나는 제로를 취하고 0을 반환 생성자의 유형에 대한 부탁 해요 GHCi에서 {-# LANGUAGE Rank2Types, MultiParamTypeClasses, FunctionalDependencies, Fle

0열

3답변

런타임 Java에서 오브젝트 유형을 판별해야합니다. 나쁜 디자인?

입자 전송 코드를 쓰고 있습니다. 이 코드에서 실제 객체는 인터페이스 볼륨을 구현합니다. Volume의 한 구현자인이 코드의 경우 Particle 클래스입니다. 제 설계에서 볼륨은 다른 볼륨을 가장 작은 Volume 구현자인 Particle까지 포함합니다. 파티클이 상호 작용이있는 볼륨을 통해 모니터되지 않은 상태로 날아 다니기를 원한다면이 작업이 효과적입

4열

3답변

네트워크 데이터 구조에서 메서드를 처리하는 파이썬 방법

Pythonic이란 무엇인가에 대한 또 다른 질문입니다! 이 경우 응용 프로그램 도메인은 네트워크 알고리즘입니다 (예 : 노드, 가장자리, Dijkstra, 그런 종류의 ...). 이전에 강력하게 형식화 된 언어로 코딩 한 것입니다. 은입니다. 한편 파이썬에서는 클래스가 있습니다. Net; 이 클래스의 단일 인스턴스는 네트워크를 나타냅니다. 클래스 Edge

1열

2답변

하스켈 형식 검사

하스켈과의 자체 학습을 시도하고 있습니다. 함수 loadData은 파일에서 일부 데이터를 읽고 정수 매개 변수에 따라 일부 처리를 수행하여 맵을 생성합니다. 두 개의 그런지도를 만들고 코사인 유사성 측정 기준을 적용해야합니다. 먼저 두지도의 교차점을 찾으려고합니다. 그러나 형식 오류()가 발생합니다. loadData의 출력을 Map.intersection에

2열

2답변

java의 Typechecking 및 generics가 경고를 생성합니다.

다음 인라인 Comparator가 있습니다. Comparable is a raw type. References to generic type Comparable<T> should be parameterized 그리고 제안 내가 대신 유형을 매개 변수화하는 경우 : 다음과 같은 경고를 생성 private static class SampleSorter imple

7열

1답변

는 방법 "패닉 : 불가능한 일이"처리하고 하스켈

계속 나는이 모듈을로드하고 표현의 유형 얻기 위해 GHC API를 사용하여 다음 코드를 typeObjects :: [String] -> [String] -> IO [Type] typeObjects modules objects = do defaultErrorHandler defaultDynFlags $ do runGhc (Just libd

4열

4답변

Java에서 변수 유형을 사용하여 매개 변수 관리를 효율적으로 코딩

현재 Java에서 약 30 개의 다른 매개 변수를 입력해야하는 시뮬레이션을 구현 중입니다. 결국, 파일과 GUI에서이 매개 변수를 읽을 수 있기를 원하지만, 지금은 파일 입력에만 초점을 맞추고 있습니다. 내 시뮬레이션에는 다른 유형의 매개 변수가 필요합니다. 문자열, int 및 복식이며 현재 시뮬레이션을위한 필드로 사용하고 있습니다. private Stri

2열

1답변

, 수업 시간에 자신의 대리자를 지정 인터페이스에 유형 검사를 빌더

을 내가 다른 클래스를 통지해야하는 목적-C 클래스를 쓴, 그래서 내가 위임에 대한 프로토콜 정의 : 난이 내 수업에서 @protocol glob_protocol <NSObject> @required - (IBAction) call:(int) val val2:(int) val2; @end 을 대리자를 저장할 멤버 : IBOutlet

7열

1답변

하스켈의 Existential types 타입 오류

내 프로그램의 실존 타입에 어려움을 겪고 있습니다. 나는 모나드 data M o = R o | forall o1. B (o1 -> M o) (M o1) 지금 나는 그것을위한 컨텍스트를 만들 모방의 종류, 유사한 데이터 유형을 가지고 내가 그러나 나는 typechecker :( 과거 얻을 수없는 매우 합리적인 뭔가를 할 노력하고있어 생각 그 Haskell