모듈 유형 PROP과 일치하는 EEA을 비롯한 여러 모듈을 만들었습니다. 지금은 다음과 같은 2 펑터를 구축하고 싶습니다 : 재귀가 있기 때문에 (* modules.ml *)
open EEA
open Zone
open Zones
module ZoneEEA = ZoneFun(EEA)
module ZonesEEA = ZonesFun(ZoneEEA)
컴파일러가 함수 f 대신에 functor를 f이라고 부르는 규칙을 설명 할 수 있습니까? #include <iostream>
struct A {
void operator()() { std::cout << "functor" << std::endl; }
};
void f() { std::cout << "function" << std::endl
구현을 전환 할 수있는 다른 구조체를 기반으로 구조체를 만들고 싶습니다. signature Field =
sig
type field_type;
val zero : field_type;
val add : (field_type * field_type) -> field_type;
val f : int -> field_type
Exercise 5 of the Haskell Typeclassopedia Section 3.2 두 펑터의 조성은 또한 펑터 인 문 에 대한 증명이나 반증을 요청합니다. 나는 이것이 Functor의 두 개의 인스턴스에 의해 정의 된 fmap 방법을 구성하는 얘기 것을 처음에 생각했지만 종류가 지금까지의 내가 아니라 일치하지 것이기 때문에 그것은 정말 이해가
(* 나는 더 많은 관심을가 명확하게하기 위해 내가 이전에 게시 된 질문을 재구성하고 유치하고 싶습니다 ... 나는 * ... 문제는 여전히 흥미로운 생각) 다음과 같이 나는 모듈 형 ZONE을 정의 : 반복 계산을 피할 수 있도록 다양한 정보를 포함하는 데 사용됩니다 i: info (* part of zone.ml *)
module type ZONE =
나는 쉽게 재현 할 수있는 단위 펑/모나드 data Unit a = Unit
를 찾고 있어요,하지만 난 오히려이 기본 뭔가를 복제 할 것입니다. 그것은 카테고리 - 엑스트라 패키지 (http://hackage.haskell.org/packages/archive/category-extras/0.1/doc/html/Control-Functor.html)에
무엇 <> 평균 운영자/다음 코드는 무엇입니까? class Functor f => Foldable f where
fold :: Monoid m => f m -> m
foldMap :: Monoid m => (a -> m) -> f a -> m
instance Foldable [] where
fold = foldr (<>)
C++ 11을 사용하지 않습니다. 그렇지 않으면 lambdas를 사용합니다. 입력 데이터 구조와 출력 데이터 구조에 대한 반복자가 있습니다. 입력 데이터에 대해 몇 가지 작업을 수행하고 그 결과를 출력에 저장하려고합니다. 시작 유형과 끝 유형은 다를 수 있습니다 (예 : int -> float). 나는 표준 알고리즘 후 제 기능을 모델링하기 위해 노력하고
STL로 작업하지만 C++ 0x가 없으며 부스트를 사용할 수 없습니다. 어쨌든 사용시 functor에 2 개 이상의 인수를 바인드 할 수 있는지 궁금합니다. std :: generate? 뭔가 같은 #include <iostream>
#include <vector>
#include <algorithm>
#include <functional>
usi
현재 특정 제약 조건에 대해 지정된 메쉬의 지오메트리를 최적화하는 C++에서 Maya 2013 플러그인을 작성 중입니다. 나는 최대 성능을 달성해야합니다. 지금은 단지 특정 제약 조건에 대한 알고리즘의 하드 코딩 된 버전을 구현하고 매우 빠르지 만, 주어진 제약 조건에 대한 알고리즘의 일반적인 구현의 일부 왕을 성취해야합니다 (따라서 어떤 종류의 다형성이