특정 유형을 랩퍼 값 (Atom)으로/변환하는 함수를 정의하는 유형 클래스 Atomic이 있습니다. "Atomic의 모든 인스턴스에 대해 모든 값을 안전하게 저장 및 검색 할 수 있습니다"라는 QuickCheck 속성을 정의하고 싶습니다. 속성은 다음과 같습니다 : 난 그냥 QuickCheck을 통해 해당 속성을 실행하려고하면 class Atomic a w
내 첫 번째 haskell 프로그램으로 나는 이것을하려고 노력하고있다. 1에서 10을 얻는 것이 어렵다. 나는 정수의 무한한리스트를 만들고, 정렬하고, 처음 10을 가져 간다. 나의 의도는 설득하는 것이었다. 나 자신이 요구 한 결과에 엄격하게 (ahem) 이상인 것을 평가하지 않고 무한리스트로 작업 할 수 있었다. 내 코드는 .. module Main w
나는이 오히려 이단 질문이있을 수 있습니다 실현,하지만 난 데이터 파일을 메모리 매핑 할 수 있는지 여부를 궁금해, System.IO.Posix.MMap를 통해 다음 cast은 몇 가지 다른 유형의 엄격한 배열로 ByteString 결과? 예 : 파일에 double이 포함되어 있다면, 어떻게 든이 mmapped 데이터를 UArr Double로 가져 와서 s
저는 하스켈을 배우면서 시선 알고리즘을 구현하는 가장 관용적 인 방법을 찾아 내려고했습니다. 내가 찾은 데모 코드는 상태 모나드를 사용하지만 재귀 적으로 상태를 전달하는 것이 나에게 더 단순 해 보인다. 내가 여기서 무엇을 놓치고 있니? 성능 문제가 있습니까? 찾기 코드 : http://www.finalcog.com/bresenham-algorithm-id
나는 잠시 동안 함수 프로그래밍을 배우기 위해 f #과 Haskell을 사용 해왔다. 우리 회사에서 승인 된 F #을 얻을 수있을 때까지 나는 여전히 C#을 사용해야합니다. 나는 여전히 여러 가지 이점을 발견 했으므로 기능적 스타일을 유지하려고 노력 중이다. 다음은 일반적인 문제입니다. 중간 크기의 작은 4 개 다른지지 테이블있다 3 키 (650 만 행)와
나는 하스켈에 대한 지침서 this을 읽고있다. 그들은 다음과 같은 함수의 합성을 정의 (.) :: (b->c) -> (a->b) -> (a->c)
f . g = \ x -> f (g x)
없음 예는 내가 여기에 정의되는 것과 같이 가르치 려 것이라고 믿는 제공되지 않았다. 누군가가 기능 구성을 사용하는 방법에 대한 간단한 예를 제공
상위 순위 유형은 매우 재미있어 보입니다. Haskell wikibook에서이 예제를 제공 : foo :: (forall a. a -> a) -> (Char,Bool)
foo f = (f 'c', f True)
이제 우리는 컴파일러가 폭발하지 않고 foo id을 평가할 수 있습니다. 이 예제는 책에서 ST의 모나드와 runST과 같은 몇 가지 다른 곳
타입 유추의 Ocaml/Haskell 알고리즘을 사용하여 파이썬의 자동 완성 기능을 제안 할 수 있습니까? class A:
def m1(self):
pass
def m2(self):
pass
a = A()
a. <--- suggest here 'm1' and 'm2'
fun1(a)
def fun1(b):