functor

    19

    2답변

    <$>의 서명은 fmap의 중위 버전이기 때문에 이해하지만 >>=의 서명과 비교하면 내게는별로 의미가 없습니다. 먼저 내가 의미하는 바를 설정해 보겠습니다. (>>=) :: Monad m => m a -> (a -> m b) -> m b (<*>) :: Applicative f => f (a -> b) -> f a -> f b (<$>) :: Funct

    0

    1답변

    호출 가능한 요소를 호출 할 수 있도록 호출 가능한 요소의 큐를 만들려고합니다. 호출 할 수있는 요소를 저장할 수 있고 나중에 호출해야합니다. 그 안에 저장된 정수를 확인한 후). 저는 지난 며칠 동안 functor와 std :: function 템플릿에 대해 읽었으며 다음 두 옵션 중 어느 것이 메모리와 성능면에서 더 좋을지 궁금합니다 다른 경우). 1

    5

    1답변

    QDomModel 간단한 예제를 편집하여 일부 응용 프로그램에 고기를 추가하고 가끔 추가 한 일부 상태 플래그를 지워야합니다. QAbstractItem 모델의 항목을 반복 할 때는 표준 반복자가 제공되지 않으므로 일종의 성가신 일이기 때문에 for_each 스타일 함수를 직접 작성하여 각 항목을 반복하고 함수 'f'를 수행 할 수 있습니다. template

    1

    1답변

    42을 출력하려면 다음과 같은 전체 프로그램이 필요하지만, 0을 출력합니다. 왜? int main(int argc, char* argv[]) { TestFunctor f; f(42); std::cout << f.last_received_value << std::endl; return 0; } 나는 문제가 TestFu

    5

    2답변

    SF은 이미 어디에서나 정의 되었습니까? 아니면 이름이 있습니까? type SF a f = (,) a :. f 이 functor-combo 표기법을 사용하여 같은 data SF a f x = SF a (f x) instance Functor f => Functor (SF a f) where fmap g (SF a fx) = SF a (fma

    3

    1답변

    펑터에 대한 전체적인 아이디어를 연구했지만 불행히도 일반적인 함수에 비해 펑터의 실질적인 이점을 이해할 수 없습니다. 일부 학술적 글에 따르면 펑터는 상태와 다른 기능을 유지할 수 있습니다. 누구나 간단하고 이해하기 쉬운 예제로이 내용을 자세히 설명 할 수 있습니까? 나는 전형적인, 일반적인 기능이 동일한 것을 할 수없는 이유를 정말로 이해할 수 없다. 초

    3

    1답변

    연습 중 하나 현실 세계 하스켈, ch. 24는 Control.Concurrent.MVar 주위에 엄격도 래퍼를 구현할 것을 요구합니다. 이 책에서 제안한대로 newtypeMVarS 래퍼를 사용하여 evaluate이 newMVar 및 putMVar과 같은 함수에 전달되는 모든 인수에 적용되도록합니다. 이제는 감싸는 함수 중 하나가 mkWeakMVar이고 유

    3

    1답변

    나는이 작은 조각의 코드를 시도했지만 놀랍게도 내 컴파일러는 그것을 좋아하지 않는다. write_by_call (h)을 제거하면 예상대로 작동합니다. 행을 반환하지만 익명 클래스 인 h에서 첫 번째 인수에 대한 std :: function으로의 변환을 알지 못하므로 컴파일을 끝내면 컴파일되지 않습니다. 예상 되나요? 누구든지 std :: functions

    4

    1답변

    꼭 필요한 경우에만 펑터 콜을 전달하고 그 펑터를 복사하고 싶습니다. template <typename F> void wrapper (F func) { func(); } struct Functor { Functor() {} void operator()() { /* do some work */ } }; 내가 호출 할

    7

    2답변

    Brent Yorgey Haskell course을 통해 작업 중이며 Applicative에 대한 좋은 인스턴스를 정의하는 데 문제가 있습니다. newtype Parser a = Parser { runParser :: String -> Maybe (a, String) } 함수는 문자열을 얻어 입력 일정량을 파싱하고, 제 1 값이 상기 파서의 일종 인 아