purescript

7열

1답변

마침표/점은 무엇을 의미합니까? forall a. Num a => a -> a -> a 단순한 구분 기호입니까?

0열

1답변

foldMap에서 foldrDefault와 foldlDefault를 어떻게 사용합니까?

필 프리먼 (Phil Freeman)의 PureScript 책 섹션 6.7에서 연습 문제 5를 완료하려고합니다. 이 연습에서는 다음 유형에 대해 Foldable 인스턴스를 작성하려고합니다. data NonEmpty a = NonEmpty a (Array a) foldMap을 구현하여이 사례를 작성했습니다. instance foldableNonEmpty

2열

1답변

PureScript에서 함수를 어떻게 구성합니까?

기능 구성에 (.)을 사용하려했지만 작동하지 않습니다. PureScript에 import Data.String (length, trim) trimmedLength :: String -> Int trimmedLength = length . trim

4열

2답변

Purescript : 패턴 일치 와일드 카드 데이터 생성자

예가 고안된 동안 데이터 생성자가 무시되는 경우 와일드 카드 패턴을 사용할 수없는 이유는 무엇입니까? module Main where import Prelude import Control.Monad.Eff.Console (log) data Person = Amy { name :: String } | George { name :: String }

1열

1답변

<code>purescript-free</code> 패키지에서 무료 모나드

을 위해 통역을 정의,이 통역을 정의하는 코드 예제가있다 : teletypeN :: forall eff. NaturalTransformation TeletypeF (Eff (console :: CONSOLE | eff)) teletypeN (PutStrLn s a) = const a <$> log s teletypeN (GetLine k) = pure

1열

1답변

cataM에 대한 평가 순서

다음 코드에서 cataM을 트리 하향식으로 트래버스하는 것이 가능합니다 (현재 상향식이 아닌 상향식이 아닌 방법). 는 내가 다른 foldMap를 구현해야합니다 생각하지만, 아이들이 t의 더 예를하지 않았다있는 방법 branch 이후 어린이 전에 branch 노드 자체를 처리하는 방법을? 당신은 또한 마트 료가 제공하는 기능 topDownCataM을 찾고있

3열

1답변

내가</p> <pre><code>do {x<-[1,2];y<-[3,4];return (x,y)} </code></pre> <p>처럼, 한 줄에 여러 줄의 문장을 쓸 수 있지만, Purescript에서도 하나의 문이 할 문 하스켈에서

중괄호를 한 줄에 여러 줄의 문장을 쓰지 않습니다 엮다. 이것을 달성하기위한 다른 구문이 있습니까?

1열

1답변

인터넷 연결없이 펄프 및 purescript 개발 *을 어떻게 사용합니까?

오늘 아침 나는 빠른 예를 들어보고 싶었지만 인터넷 연결없이 "pulp init"을 할 수 없다는 것을 알았습니다. 펄프 패키지를 어떻게 든 캐시 할 수있는 방법이 있나요? 그래서 프로젝트를 만들 때 근본적으로 인터넷 연결이 필요하지 않습니까?

0열

1답변

PureScript에서 팬텀 응용 펑터를 만드는 방법은 무엇입니까?

저는 this paper을 읽고 있습니다. 그리고 그것은 Monoids가 팬텀 응용 펑터라고 말합니다. purycript에 팬텀 유형을 설정하려고 시도했지만 Functor 인스턴스에 유형 오류가 발생합니다. 내 생각 엔 컴파일러는 a이지도를 작성한 후 Accy o a에 무엇이 있는지 모른다. 어떻게 수정하겠습니까? newtype Accy o a = Accy

1열

1답변

foldl 기능

를 사용하여 튜플 목록에 문자열의 목록을 변환 나는 아래의 기능이 :이 기능을 쓰고 싶어 fn :: [String] -> [(a,b,c)] fn lst = case lst of [] -> [] (a:b:c:xs) -> (a,b,c) : fn xs 내가 foldl 또는