«haskell» 태그된 질문

에서 실제 세계 하스켈 에 제 4 장 기능 프로그래밍 : foldr로 foldl 작성 : -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f a …

79 haskell  recursion  fold 

세 가지 Haskell 함수의 사용법을 이해하려면 도움이 필요합니다. 시도 ( Control.Exception.try :: Exception e => IO a -> IO (Either e a)) 잡기 ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) 핸들 ( Control.Exception.handle :: Exception e => (e -> IO a) …

79 haskell  exception-handling 

나는 Stephen Wolfram의 열렬한 팬이지만 그는 분명히 자신의 경적을 너무 부끄럽지 않은 사람입니다. 많은 참고 문헌에서 그는 Mathematica를 다른 상징적 프로그래밍 패러다임으로 칭찬합니다. 저는 Mathematica 사용자가 아닙니다. 내 질문은 :이 상징적 프로그래밍은 무엇입니까? 기능적 언어 (예 : Haskell)와 어떻게 비교됩니까?

79 programming-languages  haskell  functional-programming  wolfram-mathematica 

나는 카테고리 이론에서 모나드에 대해 읽었습니다. 모나드의 한 정의는 한 쌍의 인접 펑터를 사용합니다. 모나드는 이러한 펑터를 사용하는 왕복으로 정의됩니다. 명백하게 부속은 범주 이론에서 매우 중요하지만, 부속 펑터 측면에서 Haskell 모나드에 대한 설명은 보지 못했습니다. 누군가 그것에 대해 생각 했습니까?

79 haskell  monads  functor  category-theory 

Haskell을 배우면서 실제 코드에 사용되는 언어 확장 이 많이 있음을 알 수 있습니다 . 초보자로서 사용법을 배워야합니까, 아니면 피해야합니까? 나는 그것이 Haskell 98과의 호환성을 깨고 코드를 거의 GHC로 제한한다는 것을 알았습니다. 그러나 Hackage에서 패키지를 찾아 보면 어쨌든 대부분의 패키지가 GHC 전용임을 알 수 있습니다. 그렇다면 언어 확장 사용에 대한 커뮤니티의 …

78 haskell  ghc 

좋은 날. 내가 지금 Haskell에 대해 싫어하는 것은 문자열 작업을위한 패키지의 양입니다. 처음에는 네이티브 Haskell [Char]문자열을 사용했지만 해킹 라이브러리를 사용하려고했을 때 끝없는 변환으로 완전히 잃었습니다. 모든 패키지는 다른 문자열 구현을 사용하는 것처럼 보이며 일부는 자체 수작업을 채택합니다. 다음으로 Data.Text문자열과 OverloadedStrings확장자로 코드를 다시 작성 했습니다 Text. 더 넓은 함수 세트를 가지고 …

78 string  haskell  text 

저는 Haskell을 처음 접했고 펑터와 응용 펑터에 대해 읽고 있습니다. 좋아, 나는 펑터와 그것들을 어떻게 사용할 수 있는지 이해하지만, 응용 펑터가 왜 유용한 지, 하스켈에서 어떻게 사용할 수 있는지 이해하지 못합니다 . 응용 펑터가 필요한 이유를 간단한 예를 들어 설명해 주시겠습니까?

78 haskell  functional-programming  functor 

내 이해에 따르면 부분 함수는 예상보다 적은 수의 매개 변수를 함수에 전달하여 얻는 함수입니다. 예를 들어, 이것이 파이썬에서 직접 유효한 경우 : >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>> new_function(2) 3 위의 스 니펫 new_function에서 부분 함수입니다. 그러나 Haskell Wiki 에 따르면 부분 함수의 정의는 …

55 python  haskell  functional-programming  partial-application  partial-functions 

현재 프로그래밍 언어에 대한 간단한 인터프리터로 작업하고 있으며 다음과 같은 데이터 유형이 있습니다. data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr 그리고 나는 다음과 같은 간단한 일을하는 많은 기능을 가지고 있습니다 : -- Substitute a value for a variable substituteName :: String -> …

50 haskell  functional-programming  dry  code-duplication  recursive-type 

음악 프로젝트에서 약간의 미적 문제가 발생하여 한동안 버그가 발생했습니다. 나는 타입을 가지고 있으며 a 와 a를 data Key = C | D | ...구성 할 수 있습니다 . 주요 및 사소한 규모를 예 구분합니다.ScaleKeyModeMode 나는 정의 할 수 있습니다 Mode에서 함수 등의 형태 Key로를 Scale. 이 경우 모드는 소문자 이름을 …

39 haskell  dsl 

모듈에서 System.Info다음 기능을 봅니다. os :: String arch :: String compilerName :: String compilerVersion :: Version 왜 IO없어요? 그들은 시스템에 액세스하고 있습니다 ... 내가 틀렸습니까? 내 기대는 다음과 같습니다. os :: IO String arch :: IO String compilerName :: IO String compilerVersion :: IO Version 사용 사례 : print os …

25 haskell 

예를 들어이 작은 프로그램에서와 같이 유형 시스템의 이점을 위해 존재하는 매개 변수가 있다고 가정합니다. {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) -> MyPoly listOfPolys :: [MyPoly] listOfPolys = …

22 haskell  phantom-types 

Haskell 's Applicatives를 배우고 있습니다. 그것은 것을 (나는 아마 틀렸다) 날 것으로 보인다 pure예를 들어, 기능이 정말 필요하지 않습니다 : pure (+) <*> [1,2,3] <*> [3,4,5] 로 쓸 수 있습니다 (+) <$> [1,2,3] <*> [3,4,5] 누군가가 pure함수가 명시 적 매핑보다 제공 하는 이점을 설명 할 수 있습니까 fmap?

19 haskell  applicative 

이 질문은 주관적이지 않습니다. 매우 구체적인 동사가 참조 된 책에 사용되며, 나는 무언가를 오해하는 것이 두렵기 때문에 그 구절의 의미가 무엇인지 이해하고 싶습니다. 에서 당신에게 하스켈 알아보기 , 다음 단락은 "우리는 가정이 포함 된 세 번째와 마지막입니다 *". data Barry t k p = Barry { yabba :: p, dabba …

18 haskell 

제안 (P -> Q) -> Q과 P \/ Q동일합니다. Haskell에서이 동등성을 목격 할 방법이 있습니까? from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to :: ((a -> b) …

18 haskell  logic