«haskell» 태그된 질문

나는 아주 원시적 인 형태의 ipc(텔넷을 사용하고 특정한 순서로 특정 단어를 가진 문자열을 보내는 데몬을 만들었다 .) 나는 그것을 빼앗아 지금 서버에 JSON메시지를 전달하는 데 사용 하고 Yesod있습니다. 하지만 제 디자인에 대해 정말 마음에 드는 점이 몇 가지 있었는데 지금 제 선택이 무엇인지 잘 모르겠습니다. 내가 한 일은 다음과 같습니다. …

93 json  haskell  exception-handling  yesod 

내 라이브러리의 유형 ghci 디스플레이를 가능한 한 직관적으로 만들려고 노력하고 있지만 더 고급 유형 기능을 사용할 때 많은 어려움이 있습니다. 파일에이 코드가 있다고 가정 해 보겠습니다. {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} import GHC.TypeLits data Container (xs::[*]) = Container ghci에서로드 한 다음 다음 명령을 …

93 haskell  types  ghci 

해킹 이 발생 flip하거나 \x -> foo bar x 42발생하는 코드가 너무 많기 때문에 매개 변수의 순서를 변경하기 위해 최근에 코드를 두 번 리팩토링했습니다 . 기능 시그니처를 디자인 할 때 커링을 최대한 활용하는 데 도움이되는 원칙은 무엇입니까?

93 haskell  functional-programming  currying  partial-application 

사용자가 내 애플리케이션 메뉴에서 옵션을 선택한 후 터미널 화면을 지우려면 어떻게해야합니까?

93 haskell  terminal  ghci 

함수형 프로그래밍 언어가 상태를 저장할 수없는 경우 사용자의 입력을 읽는 것과 같은 간단한 작업을 어떻게 수행합니까? 어떻게 입력을 "저장"합니까 (또는 해당 문제에 대한 데이터를 저장합니까?) 예를 들어,이 간단한 C가 어떻게 Haskell과 같은 함수형 프로그래밍 언어로 번역 될까요? #include<stdio.h> int main() { int no; scanf("%d",&no); return 0; } (제 질문은 "명사의 …

92 oop  programming-languages  haskell  functional-programming  paradigms 

https://en.uncyclopedia.co/wiki/Haskell을 읽는 동안 (그리고 "공격적인"모든 것을 무시하고) 다음과 같은 난독 화 된 코드를 발견했습니다. fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 에서 해당 코드를 실행하면 ghci( Data.Function및 가져 오기 후 Control.Applicative) ghci2의 모든 거듭 제곱 목록을 인쇄합니다. 이 코드는 어떻게 작동합니까?

91 haskell 

48 시간 내에 Write Yourself a Scheme (최대 85 시간)을 통해 작업 중이며 Add Variables and Assignments에 대한 부분에 도달했습니다 . 이 장에는 큰 개념적 점프가 있으며, 최종 솔루션으로 바로 점프하는 것보다 중간에 좋은 리팩토링을 통해 두 단계로 수행 되었으면합니다. 어쨌든… 나는 같은 목적을 제공하는 것 다른 클래스의 번호와 분실 …

91 variables  haskell  monads  state-monad  ioref 

Hackage에는 모나드 변환기를위한 여러 패키지가 있습니다. mtl : Monad 변환기 라이브러리 변압기 : 콘크리트 펑터 및 모나드 변압기 monads-fd : 기능적 종속성을 사용하는 Monad 클래스 monads-tf : 유형 패밀리를 사용하는 Monad 클래스 monadLib : 모나드 변환기 모음입니다. mtl-tf : 유형 패밀리를 사용하는 Monad 변환기 라이브러리. mmtl : 모듈 식 Monad …

91 haskell  monads  monad-transformers 

누군가 Haskell Prelude가 지수화를 위해 두 개의 개별 함수를 정의하는 이유를 말해 줄 수 있습니까 (예 : ^and **)? 나는 타입 시스템이 이런 종류의 중복을 제거해야한다고 생각했습니다. Prelude> 2^2 4 Prelude> 4**0.5 2.0

91 haskell  exponent  exponentiation 

고전적인 프로그래밍 연습은 Lisp / Scheme에서 Lisp / Scheme 인터프리터를 작성하는 것입니다. 전체 언어의 힘을 활용하여 언어의 하위 집합에 대한 인터프리터를 생성 할 수 있습니다. Haskell에 대한 유사한 운동이 있습니까? Haskell을 엔진으로 사용하여 Haskell의 하위 집합을 구현하고 싶습니다. 물론 할 수 있지만 볼 수있는 온라인 리소스가 있습니까? 여기 뒷이야기가 있습니다. …

90 haskell  functional-programming  interpreter 

최근 작업 에서 Gibbs sampling, 나는 RVar난수 생성에 거의 이상적인 인터페이스를 제공하는 것을 잘 활용했습니다 . 안타깝게도지도에서 모나 딕 액션을 사용할 수 없어서 Repa를 사용할 수 없었습니다. 명확하게 모나 딕 맵은 일반적으로 병렬화 될 수 없지만 RVar효과를 안전하게 병렬화 할 수있는 모나드의 한 가지 예는 될 수 있습니다 (적어도 원칙적으로는의 …

90 arrays  haskell  parallel-processing  repa 

Haskell에서 간단한 자동 물리 시스템 (진자, 로봇 팔 등)을 시각화하려고합니다. 종종 이러한 시스템은 다음과 같은 방정식으로 설명 할 수 있습니다. df/dt = c*f(t) + u(t) 여기서 u(t)'지능형 제어'의 어떤 종류를 나타냅니다. 이러한 시스템은 Functional Reactive Programming 패러다임에 매우 잘 맞는 것으로 보입니다. 그래서 저는 Paul Hudak의 "The Haskell School of …

90 haskell  functional-programming  erlang  reactive-programming 

우리 모두는 Haskell이 기본적으로 게으르다는 것을 알고 있습니다 (또는 알아야합니다). 평가할 때까지 아무것도 평가되지 않습니다. 그렇다면 언제 무언가를 평가해야합니까? Haskell이 엄격해야하는 점이 있습니다. 이 특정 용어가 내가 생각했던 것만 큼 널리 퍼지지는 않았지만 나는 이것을 "엄격 점"이라고 부른다. 나에 따라: Haskell의 감소 (또는 평가) 는 엄격 성 지점 에서만 발생합니다. …

90 haskell  language-design  lazy-evaluation  strictness 

저는 오늘 유닉스에서 "time"명령을 발견했고, Haskell에서 tail-recursive와 normal recursive 함수 사이의 런타임 차이를 확인하는 데 사용할 것이라고 생각했습니다. 다음 기능을 작성했습니다. --tail recursive fac :: (Integral a) => a -> a fac x = fac' x 1 where fac' 1 y = y fac' x y = fac' (x-1) (x*y) …

89 haskell  optimization  lazy-evaluation  tail-recursion  tail-call-optimization 

일반적으로 프로덕션 코드는 Lazy I / O를 사용하지 않아야한다고 들었습니다. 내 질문은, 왜? 장난을 치지 않고 Lazy I / O를 사용해도 괜찮습니까? 그리고 대안 (예 : 열거 자)을 더 좋게 만드는 것은 무엇입니까?

89 haskell  io  lazy-evaluation