«haskell» 태그된 질문

나에게 항상 타입 클래스를 사용하는 대신 함수 인수를 전달할 수있는 것 같습니다. 예를 들어 평등 유형 클래스를 정의하는 대신 class Eq a where (==) :: a -> a -> Bool 그리고 다른 함수에서 사용하여 형식 인수를 나타내는 인스턴스는 Eq다음 과 같아야합니다 . elem :: (Eq a) => a -> [a] …

16 haskell  functional-programming  higher-order-functions 

이 질문은 모든 유형의 인수를 취할 수있는 Haskell 함수에 대한 이론적 질문입니다. 타입 시그니처와 함수의 차이점이 있습니까? a -> b -> a 과 c -> a -> c 인스턴스화 되었습니까? 도움을 주시면 감사하겠습니다.

16 haskell  functional-programming 

현재 Haskell을 연구하고 있으며 Haskell을 사용하여 암호화 알고리즘을 구현하는 프로젝트를 이해하려고합니다. Great Good을위한 Haskell Learn Online 을 읽은 후 해당 프로젝트의 코드를 이해하기 시작합니다. 그런 다음 "@"기호가있는 다음 코드에 붙어 있습니다. -- | Generate an @n@-dimensional secret key over @rq@. genKey :: forall rq rnd n . (MonadRandom rnd, Random …

15 haskell  symbols  operator-keyword  as-pattern 

연습으로 Haskell의 파서를 처음부터 작성하고 있습니다. 어휘 분석기를 만들면서 Haskell 2010 Report 에서 다음 규칙을 발견했습니다 . 숫자 → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → 모든 유니 코드 소수점 자리 octit → 0| 1| … | 7 hexit → 숫자 | A| … | …

15 haskell  syntax  language-lawyer  literals 

많은 유형의 광학 장치는 van Laarhoven 표현을 가지고 있습니다. 예를 들어, Lens유형 Lens s t a b 은 다음과 같이 나타낼 수 있습니다. Functor f => (a -> f b) -> s -> f t 유사하게는 Traversal, 스와핑, 비슷한 방법으로 표현 될 수 Functor에 대한 제약 조건을 Applicative: Applicative f …

15 scala  haskell  functional-programming  lenses  monocle-scala 

내가 할 때 내 Haskell 프로젝트 stack run에서 다음을 보여 주지만 여전히 실행됩니다. 이것이 무슨 경고입니까? 어떻게 제거 할 수 있습니까? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions above 2.4, but version 3.0.1.0 …

14 haskell  cabal  haskell-stack 

0-5 값으로 목록을 표시하기 위해 유형을 정의 해야하는 연습이 있습니다. 먼저 다음과 같이 재귀 적으로 해결할 수 있다고 생각했습니다. data List a = Nil | Content a (List a) 그러나 이것이 올바른 접근법이라고 생각하지 않습니다. 생각의 음식을주세요.

14 haskell 

인쇄물의 Real World Haskell, 4 장, 98 페이지에서words 접기를 사용하여 구현할 수 있는지 묻습니다 . 가능합니까? 그렇지 않다면 왜? 그렇다면 어떻게? 나는 다음과 같이 생각해 냈습니다. 각 비 공백은 출력 목록의 마지막 단어 앞에 붙어야하고 ( otherwise가드 에서 발생합니다 ) 공란에 emtpy 단어를 추가해야합니다. 출력 목록이 이미 (이은으로 처리가없는 경우 …

14 haskell  functional-programming  fold 

계산할 때 IO (IO ())모두 (IO ())와 ()계산하므로 이유 main :: IO (IO ()) main = print <$> (print "Hello, World!") 인쇄 "Hello, World!" 아니 IO "Hello, World!" -- ?? "Hello, World!"

14 haskell 

나는 Haskell Library의 Restricted Section에서 방황하고 다음 두 가지 사악한 주문을 발견했습니다. {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a -> a accursedUnutterablePerformIO (IO m) = case m …

13 haskell  io  unsafe  unsafe-perform-io 

내가 입력 할 때 ghci에서 :t (-) 의 유형을 알아 내기 위해 (-), 그것은 반환 (-) :: Num a => a -> a -> a 내가 쓸 때, -1하스켈 반환 것을 암시하는 것 같다 숫자, (-)유형이다 Num a => a -> a. (-)겉보기에는 두 가지 유형이 어떻게 될 수 있습니까?

12 haskell 

이것은 내가 어딘가에 왔지만 이것이 어떻게 작동하는지 알고 싶어하는 코드입니다. findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) 출력 : findIndices (== 0) [1,2,0,3,0] == [2,4] 여기서 pred는 (== 0)이고 xs는 …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

이 season함수는 대수 함수를 사용하지만 코드가 반복되는 것처럼 느낍니다. 최대한 짧게하려면 어떻게해야합니까? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn | Winter deriving …

12 haskell  algebraic-data-types 

왜 GHCi가 아래에 잘못된 답변을합니까? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 파이썬 3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 업데이트 Haskell의 (^) 기능을 다음과 같이 구현합니다. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) | otherwise …

12 haskell  floating-point  ghc  ghci 

제목에서 알 수 있듯이 Haskell 함수 반환 단위를 평가하려면 어떤 보증이 있습니까? 그러한 경우에는 어떤 종류의 평가도 실행할 필요가 없다고 생각할 것입니다. ()엄격한 요구가 명시되어 있지 않으면 컴파일러는 그러한 모든 호출을 즉시 값으로 바꿀 수 있습니다. 반품 ()또는 하단. 나는 GHCi에서 이것을 실험했고, 그 반대의 일, 즉 그러한 기능이 평가 …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type