«haskell» 태그된 질문

최근 Haskell을 간략히 살펴보면 모나드가 무엇인지에 대한 간결하고 간결하며 실용적인 설명은 무엇입니까? 내가 접한 대부분의 설명은 접근하기가 어렵고 실제적인 세부 사항이 부족하다는 것을 알았습니다.

1414 haskell  functional-programming  monads  terminology 

나는 불멸의 말을 특징으로하는 판매용 티셔츠 가 있다고 맹세합니다 . 어떤 부분 당신은 이해 하지 못 합니까? 제 경우에는 대답은 ... 전부일 것입니다! 특히 Haskell 논문에서 이와 같은 표기법을 자주 볼 수 있지만 그 의미가 무엇인지 전혀 알 수 없습니다. 나는 수학의 어느 지점이 될지 모른다. 나는 물론 그리스 알파벳의 …

850 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

이 질문에 대한 답변은 지역 사회 노력 입니다. 이 게시물을 개선하려면 기존 답변을 수정하십시오. 현재 새로운 답변이나 상호 작용을받지 않습니다. 며칠 동안 나는 Haskell의 함수형 프로그래밍 패러다임을 둘러보기 위해 노력했습니다. 튜토리얼을 읽고 스크린 캐스트를 보면서이 작업을 수행했지만 실제로는 아무것도 보이지 않습니다. 이제, C, Java, PHP와 같은 다양한 명령형 / OO …

755 haskell  functional-programming 

누가 먼저 다음을 말했습니까? 모나드는 endofunctors 범주의 단일체입니다. 문제는 무엇입니까? 그리고 덜 중요한 점에서 이것은 사실입니까? 그렇다면 설명을 제시 할 수 있습니까?

722 haskell  monads  category-theory  monoids 

점 (.)과 달러 기호 의 차이점은 무엇입니까 ($)? 내가 이해하는 것처럼, 그들은 괄호를 사용할 필요가 없기 때문에 둘 다 구문 설탕입니다.

709 haskell  syntax  function-composition 

Project Euler의 문제 # 12 를 프로그래밍 연습으로 취하고 C, Python, Erlang 및 Haskell의 ( 실제로는 최적이 아닌) 구현을 비교했습니다. 더 높은 실행 시간을 얻기 위해 원래 문제에서 설명한대로 500 대신 1000이 아닌 제수가있는 첫 번째 삼각형 수를 검색합니다. 결과는 다음과 같습니다. 씨: lorenzo@enzo:~/erlang$ gcc -lm -o euler12.bin euler12.c lorenzo@enzo:~/erlang$ …

672 python  c  performance  haskell  erlang 

함수형 프로그래밍에 대해 잘 모른다는 것을 인정했습니다. 나는 여기저기서 그것에 대해 읽었고 함수 프로그래밍에서 함수는 호출 횟수에 관계없이 동일한 입력에 대해 동일한 출력을 반환한다는 것을 알게되었습니다. 함수 표현식과 관련된 입력 매개 변수의 동일한 값에 대해 동일한 출력으로 평가하는 수학 함수와 정확히 같습니다. 예를 들어 다음을 고려하십시오. f(x,y) = x*x + …

646 scala  haskell  f#  functional-programming  clean-language 

폐쇄되었습니다 . 이 질문은 더 집중되어야 합니다. 현재 답변을받지 않습니다. 휴일 삼년 전에 . 잠김 . 이 질문과 주제는 주제가 다르지만 역사적으로 중요하기 때문에이 질문과 답변은 잠겨 있습니다. 현재 새로운 답변이나 상호 작용을받지 않습니다. 특히 Haskell에서 대규모 기능 프로그램을 설계 / 구성하는 좋은 방법은 무엇입니까? 나는 많은 튜토리얼을 겪어 보았습니다 …

565 haskell  functional-programming  monads  large-scale 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 육년 전 . 하스켈 주변에는 과대 광고가 있지만 실제 응용 프로그램에서 어떻게 사용되는지에 대한 정보를 얻기는 어렵습니다. Haskell의 가장 인기있는 프로젝트 …

475 haskell  functional-programming  programming-languages 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 2 년 전 . 나는 최근에 FP 버그를 발견했으며 (Haskell을 배우려고 노력 중), 지금까지 본 것 (일류 함수, 게으른 평가 및 …

404 user-interface  haskell  f#  functional-programming 

에서 워드 프로세서 GHC 7.6에 대한 : [Y] 당신은 종종 처음에는 SPECIALIZE pragma가 필요하지 않습니다. 모듈 M을 컴파일 할 때 GHC의 옵티 마이저 (-O 포함)는 M에 선언 된 각각의 최상위 오버로드 된 함수를 자동으로 고려하여 M에서 호출되는 다양한 유형에 특화합니다. 옵티마이 저는 가져온 각 INLINABLE 오버로드 된 함수, M에서 호출되는 …

392 haskell  ghc 

나는 용어를 본 적이 무료 모나드가 팝업 모든 현재 및 다음 몇 시간 동안, 그러나 모두는 / 사용 그들이 무엇인지에 대한 설명을 제공하지 않고 그것들을 논의 할 것으로 보인다. 무료 모나드는 무엇입니까? (저는 모나드와 하스켈 기본에 익숙하지만 범주 이론에 대한 지식은 매우 큽니다.)

368 haskell  monads  free-monad 

겸손한 의견으로 유명한 질문에 대한 답 은 "모나드 란 무엇입니까?" 특히 투표율이 가장 높은 사람들은 왜 모나드가 실제로 필요한지 명확하게 설명하지 않고 모나드가 무엇인지 설명하려고 노력 합니다 . 문제에 대한 해결책으로 설명 할 수 있습니까?

366 haskell  monads 

현재로서는이 질문이 Q & A 형식에 적합하지 않습니다. 답변, 사실, 참고 자료 또는 전문 지식을 통해 답변이 뒷받침 될 것으로 예상되지만이 질문은 토론, 논쟁, 여론 조사 또는 광범위한 토론을 요구할 것입니다. 이 질문을 개선하고 다시 열 수 있다고 생각 되면 도움말 센터 를 방문하여 안내를 받으십시오 . 휴일 칠년 전에 …

347 haskell  coding-style  open-source 

함수형 프로그래밍과 PLT 서클에서 "대수학"이라는 용어를 여러 번 들었습니다. 특히 토론이 객체, 코 모나드, 렌즈 등에 관한 것입니다. 이 용어를 인터넷으로 검색하면 이러한 구조에 대한 수학적 설명을 제공하는 페이지가 나와 있으며, 이는 거의 이해할 수없는 내용입니다. 프로그래밍 맥락에서 대수학이 무엇을 의미하는지, 그 의미가 무엇이며, 객체와 코모 나와 어떻게 관련되는지 설명해 …

339 scala  haskell  functional-programming  category-theory  recursion-schemes