하스켈에서 펑터를 공부할 때 Functor.Indexed 유형의 펑터를 생각해 냈습니다. 이 펑터는 imap이라는 연산을 정의합니다. 나는 그 정의와 imap 서명을 이해하지 못했다 : imap :: (a -> b) -> f j k a -> f j k b. 나는 그것의 공식적인 정의를 발견하려고 노력하고 오직 이것을 발견했다 : http://ncatlab.
유형 감시의 쌍과 목격 유형의 값에 대한 범용 컨테이너를 구축하고 있습니다. 이것은 여러 유형에 사용하기를 원합니다. 유형이 모두 동일하기 때문에 오류가 발생합니다. 그래서 나는이 같은 펑터의 결과에 유형의 이름을 변경하기 위해 노력하고있어 : module type Witness = sig type 'a key type 'a value end
modul
나는 펑의 작동 방식을 이해하려고 노력 중이 야, 그래서 나는 여기에 대해 읽어 : http://learnyouahaskell.com/making-our-own-types-and-typeclasses#the-functor-typeclass 내가지도를 받아 (목록입니다) 값의 합계를 계산하는 기능을 가지고있다. reduce :: Map String [Int]
이봐, 난이 을 drools- 사용하여 해결하기 위해 다음과 같은 문제가 우리가 가진 우리는 제품 객체-P1과 그것을 가지고 Class Product{
String name;
double cost;
double margin;
double sellPrice;
}
개체 - 여러 부모를 가질 수/타입 제품의 관계는 이제 규칙이 같은 -이어야한다 에
이 프로그램을 컴파일 : module type Inc =
sig
type t
val inc : t -> t
end
module type Dec =
sig
type t
val dec : t -> t
end
module Merger (I : Inc) (D : Dec with
나는 그렇지 컴파일 가능한 C입니다 module type T = sig
type t
end
및 module Make (TypeProvider : T) = struct
include TypeProvider
type d = Wrapped of t
end
및 module Test = struct
include Mak
MacLane, Awodey 및 Spivak 서적을 기반으로 카테고리 이론을 연구 한 후, 하스켈에서 무료/운영 모나드를 이해하려고합니다. Control.Monad.Free을 사용하여 모나드를 얻을 수 있습니다.이 모나드는 Yoneda lemma라는 수학적 배경을 기반으로하는 Data.Functor.Coyoneda 인 Functor로 변환 한 후 사용할 수
하스켈에서는 fmap을 두 가지 기능에 적용 할 수 있습니다. 기본적으로 기능 구성입니다. fmap을 작성하여보다 높은 수준의 기능을 구성 할 수 있습니다 (fmap . fmap). 이것은 함수가 펑터이기 때문에 작동합니다. 어떻게 그러한 functor (또는 적절한 map 메서드)가 Javascript로 구현 될 수 있습니까?이 정상적인 기능을 구성 작동
동적 펑 전달 나는 C 비교적 새로운 오전 ++이, 그래서 내가 많은 STL과 기능이 요구하는 것처럼, 함수 포인터 또는 함수 객체를 전달하는 방법을 이해 ;-) 부드럽게 내 첫 번째 게시물입니다. 이걸 상속과 함께 사용하는 방법은 나에게는 불분명하다. 특히 저는 기본 펑터를 상속받은 여러 펑터가있는 stl 함수를 호출하고 싶습니다. 이 주제에 대한 관련