«haskell» 태그된 질문

하스켈 을 배우기 시작했습니다 . 나는 그것을 처음 접했고, 기본 구성을 둘러보기 위해 두 가지 온라인 책을 읽었습니다. 익숙한 사람들이 자주 이야기하는 'memes'중 하나는 "컴파일하면 작동합니다"라는 것입니다. 나는 이유를 이해하기 위해 노력하고있어 정확히 하스켈은이 점에서 다른 정적으로 입력 된 언어보다 낫다. 다른 방법으로 말하면, Java로 가정하면 ArrayList<String>()실제로해야 할 것을 포함하기 …

204 java  haskell  polymorphism 

사람들이 Free Monad with Interpreter 에 대해 이야기하는 것을 보았습니다 . 특히 데이터 액세스와 관련하여 특히 그렇습니다. 이 패턴은 무엇입니까? 언제 사용하고 싶습니까? 어떻게 작동하며 어떻게 구현합니까? 나는 (같은 글에서 이해 이 이 데이터 액세스에서 모델을 분리 관하여 것을). 잘 알려진 리포지토리 패턴과 어떻게 다릅니 까? 그들은 같은 동기를 갖는 …

95 design-patterns  functional-programming  haskell  dsl  monad 

한 언어에서는 다른 언어보다 쉬울 수도 있고 어려운 것이 있지만 한 언어에서는 가능하고 다른 언어에서는 불가능하거나 관련이없는 유형 관련 기능에만 관심이 있습니다. 좀 더 구체적으로 말하면, 모든 종류의 미친 / 멋진 일을하는 많은 사람들이 있기 때문에 Haskell 유형 확장을 무시합시다.

66 java  haskell  type-systems  static-typing 

나는 Haskell과 함께 함수형 프로그래밍을 배우고 있으며, 왜 필요한지 먼저 이해함으로써 개념을 잡으려고 노력합니다. 함수형 프로그래밍 언어에서 화살표의 목표를 알고 싶습니다. 그들은 어떤 문제를 해결합니까? http://en.wikibooks.org/wiki/Haskell/Understanding_arrows 및 http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf 확인했습니다 . 내가 이해하는 것은 계산을 위해 그래프를 설명하는 데 사용되며 더 쉬운 포인트 프리 스타일 코딩이 가능하다는 것입니다. 이 기사에서는 포인트 …

62 functional-programming  haskell 

대수 데이터 형식으로 쉽게 해결할 수있는 몇 가지 문제가 있습니다. 예를 들어 목록 형식은 다음과 같이 간결하게 표현할 수 있습니다. data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l = ConsCell …

58 java  c#  scala  haskell  algebraic-data-type 

c # 또는 ruby와 같은 객체 지향 프로그래밍 언어에 대한 경험이 있습니다. 객체 지향 스타일로 프로그램을 디자인하는 방법, 클래스 및 객체를 만드는 방법 및 그들 사이의 관계를 정의하는 방법을 알고 있습니다. 또한 일부 디자인 패턴을 알고 있습니다. 사람들은 어떻게 기능성 프로그램을 작성합니까? 그들은 어떻게 시작합니까? 기능적 언어에 대한 디자인 패턴이 …

52 design  haskell  functional-programming 

다음 (상대적으로는) 개인 프로젝트를 위해 Haskell에 뛰어 들기를보고 있습니다. 내가 Haskell을 다루는 이유는 다음과 같습니다. 순전히 기능적인 언어로 머리를 숙여 라 속도. 나는 이것이 논쟁의 여지가 있다고 확신하지만, 손톱 Haskell을 C ++에 가깝게 보았습니다 (Erlang보다 약간 빠릅니다). 속도. 워프 웹 서버는 사실상 다른 모든 것에 비해 미친 것처럼 보입니다 . …

47 haskell 

IOHaskell 의 모나드는 종종 국가가 세계인 주 모나드로 설명됩니다. 따라서 IO amonad 유형의 값은 다음과 같이 보입니다 worldState -> (a, worldState). 얼마 전에 나는이 견해를 비판 한 기사 (또는 블로그 / 메일 링리스트 게시물)를 읽었으며 이것이 틀린 이유를 몇 가지 제시했습니다. 그러나 나는 기사 나 이유를 기억할 수 없다. 아는 …

46 functional-programming  haskell  io  monad 

존재 유형에 대한 의존성을 제거하면서 코드를 일관되게 리팩토링하는 데 사용할 수있는 기술은 무엇입니까? 일반적으로 이들은 원하는 유형의 원하지 않는 구성을 실격 처리하고 주어진 유형에 대한 최소한의 지식으로 소비를 허용하는 데 사용됩니다 (또는 내 이해도 마찬가지입니다). 누구든지 코드의 일부에 대한 의존을 제거하여 여전히 이점 중 일부를 유지하는 간단한 일관된 방법을 생각해 …

43 functional-programming  haskell  type-systems 

나는 Lisp와 Haskell이 각각 논리 및 함수형 프로그래밍 언어라는 것을 알고 있지만 이것이 정확히 무엇을 의미합니까? 다른 언어와 어떻게 다릅니 까? 이것들을 배우면 더 나은 프로그래머가되고 논리를 향상시킬 수 있다고 들었습니다. 이것이 사실입니까? Lisp 또는 Haskell을 유능한 수준으로 배우면 프로그래밍이 향상되고 어떤 언어로든 문제를 처리하는 데 더 좋을까요? 나는 그들이 …

40 haskell  lisp 

저는 현재 C, C ++ 및 Python으로 코딩합니다. 함수형 프로그래밍 언어를 선택하고 싶습니다. 현재 Haskell을 향해 기울고 있습니다. 나는 여기서 "Haskell vs Lisp"전쟁을 시작하고 싶지 않다; 내가 알고 싶은 것은 이것입니다. 주로 함수형 프로그래밍에 노출되어 Haskell을 배우면 나중에 Lisp를 배우면 어떤 이점이 있습니까?

40 learning  functional-programming  haskell  lisp  paradigms 

나는 종종 다음과 같은 진술 / 논쟁에 직면한다 : 순수한 기능적 프로그래밍 언어는 부작용을 허용하지 않습니다 (따라서 유용한 프로그램이 외부 세계와 상호 작용할 때 부작용이 있기 때문에 실제로는 거의 사용되지 않습니다). 순수 기능 프로그래밍 언어는 상태를 유지하는 프로그램을 작성할 수 없습니다 (많은 응용 프로그램에서 상태가 필요하기 때문에 프로그래밍이 매우 어색합니다). …

39 functional-programming  haskell 

나는 위키 피 디아에서 GCC 컴파일러 스위트에 대해 연구했다 여기 이가 왔을 때 : GCC는 Bison으로 생성 된 LALR 파서를 사용하기 시작했지만 점차 손으로 쓰는 재귀-강하 파서로 전환했다. 2004 년 C ++, 2006 년 C 및 Objective-C 용. 현재 모든 프런트 엔드는 손으로 쓴 재귀-강하 파서를 사용합니다. 마지막 문장으로 (그리고 …

38 java  ruby  haskell  parsing  swift-language 

이것은 철학적 인 종류의 질문 일지 모르지만 이에 대한 객관적인 답변이 있다고 생각합니다. Haskell에 대한 Wikipedia 기사를 읽으면 다음을 찾을 수 있습니다. 이 언어는 Haskell Curry와 그의 지적 후손들의 관찰에 근거하고있다. "증명은 프로그램이다. 증명하는 공식은 프로그램의 유형이다" 자, 내가 묻는 것은 이것이 거의 모든 프로그래밍 언어에 적용되지 않습니까? Haskell의 어떤 …

37 haskell 

아래 논리가 있다고 가정 해 봅시다. 함수형 프로그래밍으로 작성하는 방법? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } 대부분의 블로그, 기사의 예 ... 그냥 간단한 …

36 functional-programming  haskell  clojure