죄송합니다. 질문이 매우 초보 인 경우, 저는 여전히 하스켈을 매우 신 용합니다. 황금 비율 (1.618)에있는 두 개의 숫자로만 작업 할 수있는 함수가 있다고 가정하면 myfunx y의 유형을 황금 비율로 취하는 방법을 정의 할 수 있습니다. 내 프로그램에서 황금 비율 번호없이 myfun을 호출하면 어떻게됩니까? (컴파일 오류?) 황금 비율 번호가없는 호
리플렉션에서 경로 종속 형식을 사용할 때 "기본 형식"과 일치하는 형식 불일치 오류가 발생합니다. 이 "기본이 아닌 형식"은 무엇이며 "기본 형식"대신에 왜이 형식이 선택되어 있습니까? 아래 코드에서 compare 메서드는 인수로 같은 형식의 하위 클래스 만 받아들이 길 원합니다. 오류는 마지막 줄에 있습니다. (B2)의 종류 (A 경우), I는 오류가 발
왜 C#의 일부 캐스트가 컴파일 타임에 확인되는지 궁금 해서요. 다른 경우에는 책임이 CLR에 덤프되었습니다. 위의 두 가지 모두 부정확하지만 다른 방식으로 처리됩니다. class Base { }
class Derived : Base { }
class Other { }
static void Main(string[] args)
{
Deriv
.NET 설정 파일을 수정할 때 설정 유형을 선택할 수 있습니다. 그러나 '찾아보기'창에서도 내 프로젝트에서 액세스 할 수있는 모든 유형이 표시되는 것은 아닙니다. 유형이 설정 파일 설정에 사용될 수 있는지 여부는 무엇입니까? 나는 저장할 수 있기를 원하는 유형을 만들었으며 설정 파일에서 사용하려면 변경해야 할 사항을 알고 싶습니다. (VS 2008 - 닷
나는 내 자신의 목적을 위해 언어를 설계하고 있습니다. 그것은 기본적으로 두 개의 엔티티, 함수 및 유형을 갖습니다. 예 : 예는 다음 결과 객체가 생성되고, 오브젝트 4에 할당 될 경우 유형의 객체가 Object2에 "+"하고 오브젝트 1 경우 Object1 = CreateObject1("param1", "param2", 23) //Line 1
Obje
는 어떻게 setFunFoo :: ((Foo a) => a -> IO()) -> Bar -> Bar
에 setFunFoo을 유형 서명을 변경할 때 다음과 같은 유형 검사 {-# LANGUAGE RankNTypes #-}
module Main where
class Foo a where
type FunFoo = (Foo a) => a -> IO(
: 좁히는 연산이 플렉시블 호출되는 반면, 경질이라고 residuate 작업. 모든 정의 된 연산은 유연하지만 산술 연산과 같은 대부분의 기본 연산은 추측이 합리적인 옵션이 아니므로 엄격합니다. Prelude> x ++ [3,4] =:= [1,2,3,4] where x free
Free variables in goal: x
Result: success
나는 정말로 그것을 얻을 수 없다. 왜 우리는 그것을 왜 필요로합니까? 동일한 유형 매개 변수를 사용하면 같은 유형이어야 함을 의미한다고 생각합니다. 무한 루프를 피하기 위해 컴파일러를 도울 수 있다고 들었습니다. 누군가가 그것에 대해 더 자세히 설명해 줄 수 있습니까? 결국 Real World Haskell에서 기능 의존성을 사용하기 위해 따라야 할 패턴
응용 프로그램의 경우 특정 양식 데이터를 캡처합니다. 사용자는 원하는대로 다양한 섹션을 포함 할 수 있습니다. 각 섹션에서 캡처해야하는 데이터의 종류는 섹션마다 맞춤식입니다. 때로는 키 - 값 쌍의 간단한 사전입니다. 때로는 일대 다 또는 다 대 다 관계가있는 하위 구성 요소가 포함되는 경우도 있습니다. 섹션의 수가 증가 할 수도 있지만 각 섹션마다 스키마