«haskell» 태그된 질문

F #에서는 파이프 포워드 연산자를 사용하는 |>것이 매우 일반적입니다. 그러나 Haskell에서는 함수 구성, (.)사용되는 것을 본 적이 있습니다 . 나는 그들이 관련되어 있음을 이해 하지만 파이프 포워드가 Haskell에서 사용되지 않거나 다른 것입니까?

100 haskell  f#  functional-programming  composition 

Haskell과 같은 순수 함수 언어에서 함수의 역수를 얻는 알고리즘이 있습니까? (편집) 그것이 bijective 일 때? 기능을 프로그래밍하는 특정 방법이 있습니까?

100 haskell  clojure  functional-programming  ocaml 

이 C 코드 덩어리를 .chs 파일로 인코딩하여 c2hs가 비교적 멋진 것으로 변환 할 수 있도록하려면 어떻게해야할까요? typedef enum { MONOME_BUTTON_UP = 0x00, MONOME_BUTTON_DOWN = 0x01, MONOME_ENCODER_DELTA = 0x02, MONOME_ENCODER_KEY_UP = 0x03, MONOME_ENCODER_KEY_DOWN = 0x04, MONOME_TILT = 0x05, /* update this if you add event types */ MONOME_EVENT_MAX = 0x06 } …

100 haskell  c2hs 

이 문제의 원인은 확실하지 않지만 프로젝트에서 빌드 중이며 컴파일러는 모듈을 컴파일하는 데 몇 시간이 걸립니다. 내 코드베이스의 총 크기는 352KB이지만 10KB를 초과하는 모듈은 없습니다. 네이티브 포트를 사용하고 있지만 매우 사소합니다. 그냥 가져 오는 중 Date.now()입니다. elm 컴파일러가 컴파일하는 데 오랜 시간이 걸리는 잘 알려진 것이 있습니까? 종속성이 많지는 않지만 Html을 …

100 haskell  switch-statement  pattern-matching  elm 

내 프로그램에서 문제를 디버깅하는 동안 (동일한 반경을 가진 2 개의 원이 Gloss를 사용하여 다른 크기로 그려집니다 *) 이상한 상황을 발견했습니다. 객체를 처리하는 파일에는 다음과 같은 정의가 있습니다 Player. type Coord = (Float,Float) data Obj = Player { oPos :: Coord, oDims :: Coord } Objects.hs를 가져 오는 주 파일에는 다음과 …

99 haskell  types 

에서 traverse기능을 시도하고 실패했습니다 Data.Traversable. 나는 그 요점을 볼 수 없다. 내가 명령형 배경에서 왔기 때문에 누군가 명령형 루프 측면에서 나에게 설명해 주시겠습니까? 의사 코드를 많이 주시면 감사하겠습니다. 감사.

99 haskell  traversal 

인덱스 된 모나드 는 무엇 이며이 모나드 의 동기 는 무엇입니까 ? 나는 그것이 부작용을 추적하는 데 도움이된다고 읽었습니다. 그러나 형식 서명과 문서는 나를 어디로도 인도하지 않습니다. 부작용 (또는 다른 유효한 예)을 추적하는 데 도움이 될 수있는 예는 무엇입니까?

98 haskell  monads 

이 C 코드와 유사한 Haskell의 인덱스로 목록에 액세스하려면 어떻게해야합니까? int a[] = { 34, 45, 56 }; return a[1];

97 haskell 

내가 사용 해봤 모든 곳 map, fmap잘으로 일했다. Haskell의 제작자는 왜 map함수 의 필요성을 느꼈 습니까? 그냥 현재로 알려진이 될 수 없습니다 fmap및 fmap언어에서 제거 할 수 있을까?

97 haskell 

의 absurd함수 Data.Void에는 다음 서명 Void이 있습니다. 여기서은 해당 패키지에서 내 보낸 논리적으로 무인 유형입니다. -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a 나는 이것이 유효한 공식에 대응한다는 문서의 발언을 얻기에 충분한 논리를 알고있다 …

97 haskell  type-theory  curry-howard 

저는 함수형 프로그래밍을 처음 접했고 최근에는 Learn You a Haskell 에서 배웠지 만이 장을 살펴 보았을 때 아래 프로그램을 고수했습니다. import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ show x]) multWithLog :: Writer [String] Int multWithLog = do a <- …

97 haskell  monads 

이 고전적인 논문을 읽으면서 나는 패러 모피 즘에 갇혀 있습니다. 불행히도 섹션은 매우 얇고 Wikipedia 페이지에는 아무 말도 없습니다. 내 Haskell 번역은 다음과 같습니다. para :: (a -> [a] -> b -> b) -> b -> [a] -> b para f base = h where h [] = base h …

96 haskell  recursion  functional-programming  higher-order-functions 

내부에 보이는 모든 것을 내보내는 것 외에도 모듈을 다시 내보내는 모듈을 Haskell로 작성할 수 있습니까? 다음 모듈을 고려해 보겠습니다. module Test where import A f x = x 이 모듈은 내부에 정의 된 모든 것을 f내보내 므로 에서 가져온 항목을 내보내지만 다시 내 보내지 않습니다 A. 반면에 모듈을 다시 내보내려면 …

96 haskell  module  export 

Haskell 핵심 라이브러리 (또는 그 이상)에 대한 오프라인 문서를 얻을 수있는 가능성은 무엇입니까? 때로는 Wi-Fi가없는 커피 숍에 노트북을 가져 가고 , Hoogle 과 같은 것을 오프라인에서 사용하는 것이 좋을 것 입니다.

94 haskell  offline-mode 

Haskell Prelude를 살펴보면 다음과 같은 기능이 있습니다 const . const x _ = x 이 기능과 관련된 어떤 것도 찾을 수없는 것 같습니다. 점은 무엇인가? 누구든지이 기능이 어디에서 사용될 수 있는지 예를 들어 줄 수 있습니까?

94 haskell