[functional-programming] 함수형 프로그래밍에서 펑터 란 무엇입니까?

크게 관련이없는 세 가지 다른 의미가 있습니다!

• Ocaml에서는 매개 변수화 된 모듈입니다. 매뉴얼을 참조하십시오 . 나는 그것들을 이해하는 가장 좋은 방법은 예를 들면 다음과 같다고 생각합니다. (빠르게 작성하면 버그가있을 수 있습니다)

  module type Order = sig
      type t
      val compare: t -> t -> bool
  end;;
  
  
  module Integers = struct
      type t = int
      let compare x y = x > y
  end;;
  
  module ReverseOrder = functor (X: Order) -> struct
      type t = X.t
      let compare x y = X.compare y x
  end;;
  
  (* We can order reversely *)
  module K = ReverseOrder (Integers);;
  Integers.compare 3 4;;   (* this is false *)
  K.compare 3 4;;          (* this is true *)
  
  module LexicographicOrder = functor (X: Order) ->
    functor (Y: Order) -> struct
      type t = X.t * Y.t
      let compare (a,b) (c,d) = if X.compare a c then true
                           else if X.compare c a then false
                           else Y.compare b d
  end;;
  
  (* compare lexicographically *)
  module X = LexicographicOrder (Integers) (Integers);;
  X.compare (2,3) (4,5);;
  
  module LinearSearch = functor (X: Order) -> struct
      type t = X.t array
      let find x k = 0 (* some boring code *)
  end;;
  
  module BinarySearch = functor (X: Order) -> struct
      type t = X.t array
      let find x k = 0 (* some boring code *)
  end;;
  
  (* linear search over arrays of integers *)
  module LS = LinearSearch (Integers);;
  LS.find [|1;2;3] 2;;
  (* binary search over arrays of pairs of integers,
     sorted lexicographically *)
  module BS = BinarySearch (LexicographicOrder (Integers) (Integers));;
  BS.find [|(2,3);(4,5)|] (2,3);;

이제 가능한 많은 주문을 신속하게 추가 할 수 있으며, 새로운 주문을 작성하는 방법, 이진 또는 선형 검색을 쉽게 수행 할 수 있습니다. 일반 프로그래밍 FTW.

• Haskell과 같은 함수형 프로그래밍 언어에서 “매핑”될 수있는 일부 유형 생성자 (목록, 세트와 같은 매개 변수화 된 유형)를 의미합니다. 정확하게 말하면 펑터에는가 f장착되어 (a -> b) -> (f a -> f b)있습니다. 이것은 범주 이론의 기원을 가지고 있습니다. 링크 된 Wikipedia 기사가이 사용법입니다.

  class Functor f where
      fmap :: (a -> b) -> (f a -> f b)
  
  instance Functor [] where      -- lists are a functor
      fmap = map
  
  instance Functor Maybe where   -- Maybe is option in Haskell
      fmap f (Just x) = Just (f x)
      fmap f Nothing = Nothing
  
  fmap (+1) [2,3,4]   -- this is [3,4,5]
  fmap (+1) (Just 5)  -- this is Just 6
  fmap (+1) Nothing   -- this is Nothing

그래서 이것은 특별한 종류의 타입 생성자이며 Ocaml의 펑터와는 거의 관련이 없습니다!

• 명령형 언어에서는 함수를 가리키는 포인터입니다.

답변

module SSet = MakeSet(StringCaseEqual);;