strong-typing

7열

1답변

저는 약간의 프로그래밍과 Haskell을 수행했으며 Groovy에서 일부 하스켈 목록 처리 기능을 구현하려고했습니다. 다음은 unfoldr의 구현입니다. 기본적으로 A은 결과 이터레이터 (즉, 목록)의 유형이고 B은 상태입니다. I가 강한 유형을주고 싶은 두 가지가 있습니다 : 정의 할 수 있도록 내가 원하는 내가 Tuple<A,B> 대신 단지 Tuple

2열

1답변

얼랭 타이핑 분야

얼랭은 강한 타이핑이나 약한 타이핑을 특징으로합니까? this definition of strong typing에 따르면 Erlang은 강력하고 약한 타이핑 기능을 동시에 갖추고 있습니다. 내 이해가 맞습니까?

0열

1답변

이 C#에서 강력한 유형을 자동 생성합니다.

W3C 호환 XSD 파일에서 강력한 유형을 자동으로 생성하고 충실도를 유지할 수있는 도구를 찾고 있습니다. Java 또는 C#을 사용하는 데 유연합니다. JAXB와 XSD.exe를 모두 시도했지만 SimpleType과 AttributeGroup, ComplexType 등과 같은 복잡한 유형 정의를 처리 할 때 포함 된 비즈니스 논리가 손실됩니다. 또한 관용

4열

1답변

암시 적으로 닫히지 않는 클로저 컴파일러로 유형 검사?

파일을 컴파일하고 컴파일 된 코드를 가져 오지만 주석이 완전히 무시 된 것처럼 보입니다. 경고없이 오류가 없습니다. calcdeps.py를 사용하여 다음과 같은 명령을 내 코드를 컴파일 : Messenger.js 예를 들어 set calc="D:\software\closure compiler\library\closure\bin\calcdeps.py" c:

2열

1답변

타입 생성자는 아직 완전히 정의되지 않은

여기 내 간단한 코드 : 내 유형이 상호 정의를 필요로하지 않는다 "와"때문에이 경우에는 내가하지만,에, 필요하지 않은 것을 알고 type t1 = [ `A of t2] and t2 = [ `B | t1 ] 내가 필요한 현실 세계. 왜 작동하지 않습니까? 나는 and t2 = [`B | `C of t1] 을 수행하여 작동 할 수 있지만 지금은 내

4열

2답변

haskell 유형 스펙에서 이미 존재하는 유형 변수를 참조하는 방법은 무엇입니까?

함수 f 내부에 정의 된 함수 f '를 입력하려고합니다. 그러면 두 유형의 스펙 모두 동일한 유형 변수를 참조합니다. 그러나이 작업을 수행하려고하면 컴파일러에서 컴파일 오류가 발생합니다.이 오류는 m 외부와 m 내부가 동일한 유형 변수가 아니라고 가정합니다. 이 문제를 해결하는 방법에 대한 모든 팁? f :: (Monad m) => (String -> In

2열

1답변

VB.Net List 클래스를 호출자에게보다 융통성있게 만드는 방법

VB.Net의 제네릭과 컬렉션에 익숙하지 않습니다. 나는 커스텀 객체의 목록을 만드는 첫 번째 클래스를 작성했다. 작동하는 것처럼 보이지만, 나는 그것을 일종의 방식으로 처리했다고 믿는다. 나는 그것을 호출 할 필요가있는 코드를 개선하는 방법을 알고 싶다.이 Dim n As String Dim d As Integer Dim allSubs As New

4열

1답변

Dapper를 사용하여 추가 동적 속성을 사용하여 강력한 형식의 모델로 바인딩

Dapper을 사용하여 비즈니스 모델에 개체 관계 매핑을 제공하기를 바랍니다. 현재 Id Title c_MyCustomField1 c_MyCustomField2 , 모든 필드가 반환됩니다 이러한 데이터 모델과 함께 , 우리는 종종 사용자가 만든 및 반환 된 결과 집합의 일부로 표시되는 사용자 정의 필드 (런타임에 알려져 있지 않다) 발생 독자와 함

4열

1답변

C# WinForms에서 데이터 바인딩을 강력하게 입력하는 방법?

우리는 몇 달 동안 바인딩 윈폼 데이터를 사용하고, 몇 가지 문제로 실행했습니다 : 부족 강력한 타이핑의 복잡한 특성에 컨트롤을 바인딩 할 수 없습니다 (모델의 모델/컬렉션) 어려운 문제를 진단하거나 functionalit을 조정할 - 널위한 어려움 사용자 정의 동작 & 특별한 요구 사항 값 는 팽창 솔루션 는 "블랙 박스"로 동작 .datasource 파

5열

4답변

Arraylist는 타입 세이프인가 강건한 타이프인가?

정확히 "유형이 강력 함"과 "유형 안전"의 차이점을 정확히 알지 못합니다. 간단한 언어로 설명해 주시겠습니까? Arraylist를 사용한다고 가정하겠습니다. 유형이 안전하거나 강력하게 입력되었다고 결론을 내릴 수 없습니다. 아니면 둘 다 사용할 수 있습니까?